A Petri Net Model of Handshake Protocols

DOI10.1016/j.entcs.2009.06.039zbMath1291.68284OpenAlexW1981313681MaRDI QIDQ5166613

Daniele Varacca, Luca Fossati

Publication date: 27 June 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.039

zbMATH Keywords

Petri netsasynchronous communicationshandshake protocoldelay-insensitivitytransmission interference

Mathematics Subject Classification ID

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

Related Items (2)

A Petri Net Model of Handshake Protocols ⋮ The Calculus of Handshake Configurations

Cites Work

• Handshake Games
• Geometry of synthesis
• Handshake Circuits
• A Petri Net Model of Handshake Protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Petri Net Model of Handshake Protocols