Computing with actions and communications

MaRDI QIDQ998092zbMATH OpenFDO

Authors Jan Willem Klop, Wan Fokkink

Publication date 10 August 2007

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bbms/1170347805

zbMATH Keywords

Algebra of Communicating Processes

Mathematics Subject Classification ID

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

Recommendations

• Algebra of communicating processes with abstraction
• scientific article; zbMATH DE number 4018375
• scientific article; zbMATH DE number 3978362
• Process algebra for synchronous communication
• scientific article; zbMATH DE number 4016181

Cited in

(5)

• Algebra of communicating processes with abstraction
• The algebra of communicating processes with empty process
• Process algebra with language matching
• scientific article; zbMATH DE number 4055005 (Why is no real title available?)
• Imperative process algebra with abstraction

This page was built for publication: Computing with actions and communications

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