scientific article; zbMATH DE number 865194

zbMATH Open0840.68010MaRDI QIDQ4872111FDOQ4872111

Authors: N. A. Anisimov 

Publication date: 15 April 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (12)

• An alternative implementation of communication primitives
• A methodology for constructing communication protocols with multiple concurrent functions
• Title not available (Why is that?)
• Constraint-based structuring of network protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stateful protocol composition
• Specification and analysis of a composition of protocols
• A new formal method for communication protocol specification
• Title not available (Why is that?)
• Aggregate approach for specification, validation, simulation and implementation of computer network protocols
• Title not available (Why is that?)

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)