scholarly journals An overview and synthesis on timed process algebras

1992 ◽  
pp. 526-548 ◽  
Author(s):  
Xavier Nicollin ◽  
Joseph Sifakis
Keyword(s):  
Process Algebras

scholarly journals Process Algebras

2011 ◽  
pp. 1624-1636
Author(s):  
Bruce Leasure ◽  
David J. Kuck ◽  
Sergei Gorlatch ◽  
Murray Cole ◽  
Gregory R. Watson ◽  
...  
Keyword(s):  
Process Algebras

scholarly journals Stochastic Process Algebras: From Individuals to Populations

2011 ◽  
Vol 55 (7) ◽  
pp. 866-881 ◽  
Author(s):  
J. Hillston ◽  
M. Tribastone ◽  
S. Gilmore
Keyword(s):  
Stochastic Process ◽  
Process Algebras ◽  
Stochastic Process Algebras

PBC and Other Process Algebras

2001 ◽  
pp. 295-312
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Process Algebras

Tool Demonstration: Tools for Process Algebras

1992 ◽  
pp. 463-466 ◽  
Author(s):  
Eric Madelaine ◽  
Didier Vergamini
Keyword(s):  
Process Algebras
Sign in / Sign up

Export Citation Format

Share Document