Proper protocol

DOI10.1007/978-3-319-30734-3_7MaRDI QIDQ2026784zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Toward sequentializing overparallelized protocol code
• Interaction protocols
• Composition of interacting computations
• scientific article; zbMATH DE number 1314563
• Views on behaviour protocols and their semantic foundation

Cited in

(6)

• Protocol scheduling
• scientific article; zbMATH DE number 4055007 (Why is no real title available?)
• Composition of interacting computations
• Interaction protocols
• Toward sequentializing overparallelized protocol code
• On Protocol Sentences

Describes a project that uses

Uses Software

• Reo

This page was built for publication: Proper protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026784)