Generating the syntactic and semantics graphs for a Markovian process algebra

DOI10.1016/J.CAM.2006.04.054MaRDI QIDQ879408zbMATH OpenOpenAlexFDO

Authors Maria L. Pelayo, Juan L. G. Guirao, Fernando López Pelayo

Publication date 11 May 2007

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cam.2006.04.054

zbMATH Keywords

fault toleranceperformance analysisstochastic process algebracase studiesdesign specificationsnondeterministic and probabilistic aspectsreal-time requirements

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2090710
• scientific article; zbMATH DE number 1786475
• scientific article; zbMATH DE number 1324652
• On the semantics of Markov automata
• Process algebra for performance evaluation

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• A calculus of communicating systems
• A process algebra for probabilistic and nondeterministic processes
• Algebraic theory of probabilistic and nondeterministic processes.
• Communicating sequential processes
• Process algebra for synchronous communication

Cited in

(2)

• scientific article; zbMATH DE number 2090710 (Why is no real title available?)
• scientific article; zbMATH DE number 67842 (Why is no real title available?)

This page was built for publication: Generating the syntactic and semantics graphs for a Markovian process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879408)