scientific article; zbMATH DE number 3495581

zbMath0316.68017MaRDI QIDQ4077434

Arthur J. Milner

Publication date: 1975

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items

A theory for nondeterminism, parallelism, communication, and concurrency, The coinductive resumption monad, A domain equation for bisimulation, CryptHOL: game-based proofs in higher-order logic, Interactive foundations of computing, The denotational semantics of sequential machines, Semantics of nondeterminism, concurrency, and communication, Retracing some paths in process algebra, Branching vs. Linear Time: Semantical Perspective, A mathematical semantics for a nondeterministic typed lambda-calculus, Unnamed Item, Unnamed Item, Unnamed Item, Flag-based big-step semantics, A fully abstract denotational semantics for the calculus of higher-order communicating systems, An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus, Completeness results for the equivalence of recursive schemas, Universal coalgebra: A theory of systems, Calculi for synchrony and asynchrony, Denotational semantics of CSP, Nivat's processes and their synchronization