Sciweavers

11 search results - page 1 / 3
» cmsb 2008
Sort
View
CMSB
2008
Springer
14 years 19 days ago
The Attributed Pi Calculus
Mathias John, Cédric Lhoussaine, Joachim Ni...
CMSB
2008
Springer
14 years 19 days ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...
CMSB
2008
Springer
14 years 19 days ago
Compositional Definitions of Minimal Flows in Petri Nets
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Michael Pedersen