Process algebra. A Petri-net-oriented tutorial.

DOI10.1007/978-3-540-27755-2_5MaRDI QIDQ5712296zbMATH OpenOpenAlexFDO

Authors Eike Best, Maciej Koutny

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

zbMATH Keywords

Petri netsprocess algebras

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 3967922
• scientific article; zbMATH DE number 3980501
• scientific article; zbMATH DE number 785044
• The box algebra = Petri nets + process expressions
• A unified model for nets and process algebras

Cited in

(16)

• An algebra of processes
• A brief history of process algebra
• The box algebra = Petri nets + process expressions
• Process algebras for Petri nets. The alphabetization of distributed systems
• Partial-order process algebra (and its relation to Petri nets)
• A unified model for nets and process algebras
• Process algebra and model checking
• scientific article; zbMATH DE number 4147491 (Why is no real title available?)
• scientific article; zbMATH DE number 3967922 (Why is no real title available?)
• scientific article; zbMATH DE number 3980501 (Why is no real title available?)
• scientific article; zbMATH DE number 4108157 (Why is no real title available?)
• scientific article; zbMATH DE number 4128403 (Why is no real title available?)
• scientific article; zbMATH DE number 1418456 (Why is no real title available?)
• What are the fundamental structures of concurrency? We still don't know!
• A regular viewpoint on processes and algebra
• An axiomatic characterization of algebras of processes of Petri nets

This page was built for publication: Process algebra. A Petri-net-oriented tutorial.

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