A Petri Net Model of Handshake Protocols

DOI10.1016/J.ENTCS.2009.06.039MaRDI QIDQ5166613zbMATH OpenOpenAlexFDO

Authors Luca Fossati, Daniele Varacca

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

asynchronous communicationsdelay-insensitivityhandshake protocolPetri netstransmission interference

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1530245
• scientific article; zbMATH DE number 1437515
• scientific article; zbMATH DE number 1024016
• Synchro-net system: A Petri net model for higher-layer protocols
• Modelling the protocol stack in NCS with deterministic and stochastic petri net
• Graph model transport protocol based on Petri nets
• scientific article; zbMATH DE number 1948961

Cites work

• A Petri Net Model of Handshake Protocols
• Geometry of synthesis: a structured approach to VLSI design
• Handshake Circuits
• Handshake games
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)

Cited in

(3)

• The Calculus of Handshake Configurations
• scientific article; zbMATH DE number 1948961 (Why is no real title available?)
• A Petri Net Model of Handshake Protocols

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

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