scientific article; zbMATH DE number 3639136

zbMath0411.68031MaRDI QIDQ4198049

Arthur J. Milner

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

softwarecommunicationbehaviorconcurrencyalgebraic systemparallel processesinformation structureshardwareaxiomatic system theorysequential action

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Communication, information (94A99) General topics in the theory of software (68N01) Theory of operating systems (68N25) Axiomatic systems theory (93A05)

Related Items (5)

Concurrency and atomicity ⋮ Partial abstract types ⋮ A brief history of process algebra ⋮ Semantics of algorithmic languages ⋮ Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

This page was built for publication: