Computing with actions and communications

zbMATH Open1119.68127MaRDI QIDQ998092FDOQ998092

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

Recommendations

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

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)

Cited In (3)

• Imperative process algebra with abstraction
• Title not available (Why is that?)
• Algebra of communicating processes 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)