3239 search results - page 206 / 648 » A Logical Process Calculus |
140
click to vote
FOSSACS
2005
Springer
15 years 9 months 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...
117
click to vote
CONCUR
1997
Springer
15 years 7 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...
104
click to vote
ESWS
2007
Springer
15 years 9 months 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...
91
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self
114
click to vote
AC
2002
Springer
15 years 3 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...