Computing with actions and communications

zbMath1119.68127MaRDI QIDQ998092

Jan Willem Klop, W. J. 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)

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