Algebraic Specification of Communication Protocols

From MaRDI portal

Revision as of 20:34, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4318837

Jump to:navigation, search

DOI10.1017/CBO9780511721625zbMath0820.68078OpenAlexW1834262393MaRDI QIDQ4318837

No author found.

Publication date: 10 January 1995

Full work available at URL: https://doi.org/10.1017/cbo9780511721625

zbMATH Keywords

algebraic specification local area networks communication protocols Amoeba transaction protocol PSF language PSF-Toolkit

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Abstract data types; algebraic specification (68Q65) Network protocols (68M12) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Related Items (5)

Computable processes and bisimulation equivalence ⋮ An algebraic semantics for hierarchical P/T nets ⋮ Process algebra with language matching ⋮ Compositional verification of a communication protocol for a remotely operated aircraft ⋮ Linearization in parallel pCRL

This page was built for publication: Algebraic Specification of Communication Protocols

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4318837&oldid=18268270"