Proper protocol

DOI10.1007/978-3-319-30734-3_7zbMath1475.68200OpenAlexW2911640278MaRDI QIDQ2026784

Farhad Arbab

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Protocol scheduling

Uses Software

• Reo

This page was built for publication: Proper protocol