scientific article; zbMATH DE number 1759600

MaRDI QIDQ4536591zbMATH OpenFDO

Authors Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

Publication date 28 November 2002

Mathematics Subject Classification ID

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

Recommendations

• Publication:4941014
• scientific article; zbMATH DE number 5262134
• On Communicating Finite-State Machines
• On interprocess communication. I: Basic formalism
• scientific article; zbMATH DE number 139604

Cited in

(8)

• Modal Interface Theories for Communication-Safe Component Assemblies
• Formal Models of Communicating Systems
• Designing communicating transaction processes by supervisory control theory
• scientific article; zbMATH DE number 2080579 (Why is no real title available?)
• scientific article; zbMATH DE number 1408162 (Why is no real title available?)
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• scientific article; zbMATH DE number 1936668 (Why is no real title available?)
• Theoretical aspects of communication-centred programming

This page was built for publication:

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