3239 search results - page 206 / 648 » A Logical Process Calculus |
185
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
154
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
139
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
130
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self
161
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...