Sciweavers

2148 search results - page 7 / 430
» Responsiveness in Process Calculi
Sort
View
114
Voted
GC
2004
Springer
15 years 8 months ago
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
Alan Schmitt, Jean-Bernard Stefani
ENTCS
2008
102views more  ENTCS 2008»
15 years 3 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
50
Voted
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 1 months ago
A criterion for separating process calculi
Federico Banti, Rosario Pugliese, Francesco Tiezzi
107
Voted
CMSB
2010
Springer
14 years 10 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...