Process Algebras

Encyclopedia of Parallel Computing ◽

10.1007/978-0-387-09766-4_450 ◽

2011 ◽

pp. 1624-1636

Author(s):

Bruce Leasure ◽

David J. Kuck ◽

Sergei Gorlatch ◽

Murray Cole ◽

Gregory R. Watson ◽

...

Keyword(s):

Process Algebras

Download Full-text

Process algebras are getting mature for performance evaluation?!

ACM SIGMETRICS Performance Evaluation Review ◽

10.1145/340242.340303 ◽

1999 ◽

Vol 27 (3) ◽

pp. 15-18 ◽

Cited By ~ 1

Author(s):

Ulrich Herzog

Keyword(s):

Performance Evaluation ◽

Process Algebras

Download Full-text

Stochastic Process Algebras: From Individuals to Populations

The Computer Journal ◽

10.1093/comjnl/bxr094 ◽

2011 ◽

Vol 55 (7) ◽

pp. 866-881 ◽

Cited By ~ 16

Author(s):

J. Hillston ◽

M. Tribastone ◽

S. Gilmore

Keyword(s):

Stochastic Process ◽

Process Algebras ◽

Stochastic Process Algebras

Download Full-text

Modelling of distributed programming systems with using of property-preserving Petri net process algebras and P/T Petri net processes

2013 Second International Conference on Informatics & Applications (ICIA) ◽

10.1109/icoia.2013.6650266 ◽

2013 ◽

Cited By ~ 4

Author(s):

Ivo Martinik

Keyword(s):

Petri Net ◽

Distributed Programming ◽

Process Algebras ◽

Programming Systems

Download Full-text

Process Algebras for Petri Nets

10.1007/978-3-319-55559-1 ◽

2017 ◽

Cited By ~ 9

Author(s):

Roberto Gorrieri

Keyword(s):

Petri Nets ◽

Process Algebras

Download Full-text

PBC and Other Process Algebras

Petri Net Algebra - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-04457-5_8 ◽

2001 ◽

pp. 295-312

Author(s):

Eike Best ◽

Raymond Devillers ◽

Maciej Koutny

Keyword(s):

Process Algebras

Download Full-text

Tool Demonstration: Tools for Process Algebras

Formal Description Techniques, IV ◽

10.1016/b978-0-444-89402-1.50041-2 ◽

1992 ◽

pp. 463-466 ◽

Cited By ~ 2

Author(s):

Eric Madelaine ◽

Didier Vergamini

Keyword(s):

Process Algebras

Download Full-text

An overview and synthesis on timed process algebras

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_36 ◽

1992 ◽

pp. 376-398 ◽

Cited By ~ 47

Author(s):

Xavier Nicollin ◽

Joseph Sifakis

Keyword(s):

Process Algebras

Download Full-text

A model for real-time process algebras (extended abstract)

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_29 ◽

1993 ◽

pp. 372-381 ◽

Cited By ~ 2

Author(s):

Liang Chen

Keyword(s):

Real Time ◽

Time Process ◽

Process Algebras

Download Full-text

Towards Performance Evaluation in Process Algebras

Algebraic Methodology and Software Technology (AMAST’93) - Workshops in Computing ◽

10.1007/978-1-4471-3227-1_30 ◽

1994 ◽

pp. 289-296 ◽

Cited By ~ 9

Author(s):

Roberto Gorrieri ◽

Marco Roccetti

Keyword(s):

Performance Evaluation ◽

Process Algebras

Download Full-text

Clone detection through process algebras and Java bytecode

Proceeding of the 5th international workshop on Software clones - IWSC '11 ◽

10.1145/1985404.1985422 ◽

2011 ◽

Cited By ~ 10

Author(s):

Antonella Santone

Keyword(s):

Clone Detection ◽

Process Algebras ◽

Java Bytecode

Download Full-text