3239 search results - page 206 / 648 » A Logical Process Calculus |
194
click to vote
FOSSACS
2005
Springer
16 years 17 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...
169
click to vote
CONCUR
1997
Springer
15 years 11 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...
149
Voted
ESWS
2007
Springer
16 years 1 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...
146
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
182
Voted
AC
2002
Springer
15 years 7 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...