scientific article; zbMATH DE number 865194

MaRDI QIDQ4872111zbMATH OpenFDO

Authors N. A. Anisimov

Publication date 15 April 1996

zbMATH Keywords

computer network protocolsPetri net theoryhierarchical protocol systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 177265
• scientific article; zbMATH DE number 177506
• The synthesis of communication protocols

Cited in

(12)

• An alternative implementation of communication primitives
• A methodology for constructing communication protocols with multiple concurrent functions
• scientific article; zbMATH DE number 1088213 (Why is no real title available?)
• Constraint-based structuring of network protocols
• scientific article; zbMATH DE number 2013575 (Why is no real title available?)
• scientific article; zbMATH DE number 177265 (Why is no real title available?)
• Stateful protocol composition
• Specification and analysis of a composition of protocols
• A new formal method for communication protocol specification
• scientific article; zbMATH DE number 2087417 (Why is no real title available?)
• Aggregate approach for specification, validation, simulation and implementation of computer network protocols
• scientific article; zbMATH DE number 177506 (Why is no real title available?)

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 Q4872111)