scientific article; zbMATH DE number 1958171
From MaRDI portal
Publication:4419141
Recommendations
- scientific article; zbMATH DE number 1958170
- scientific article; zbMATH DE number 1693443
- scientific article; zbMATH DE number 1196700
- Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
- A new formal method for communication protocol specification
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 Q4419141)