The Calculus of Handshake Configurations

DOI10.1007/978-3-642-00596-1_17zbMath1234.68296OpenAlexW1562231013MaRDI QIDQ3617732

Daniele Varacca, Luca Fossati

Publication date: 31 March 2009

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_17

zbMATH Keywords

Petri netsprocess calculushandshake protocols

Mathematics Subject Classification ID

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

Uses Software

• Linda

Cites Work

• An efficiency preorder for processes
• Geometry of synthesis
• Unbounded Non-determinism in CSP
• Handshake Circuits
• A Petri Net Model of Handshake Protocols
• Generative communication in Linda
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Calculus of Handshake Configurations