Sciweavers

11 search results - page 1 / 3
» cmsb 2008
Sort
View
CMSB
2008
Springer
13 years 6 months ago
The Attributed Pi Calculus
Mathias John, Cédric Lhoussaine, Joachim Ni...
CMSB
2008
Springer
13 years 6 months 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
13 years 6 months 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