scientific article; zbMATH DE number 3566120

zbMATH Open0363.68015MaRDI QIDQ4138075FDOQ4138075

Authors: Gregor von Bochmann, Jan Gecsei 

Publication date: 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited In (3)

• Verification of a class of link-level protocols
• Global garbage collection for distributed heap storage systems
• Specification and analysis of a data transfer protocol using systems of communicating machines

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