Concurrent Processes and Their Syntax

DOI10.1145/322123.322134zbMATH Open0395.68030OpenAlexW1973311427WikidataQ128253401 ScholiaQ128253401MaRDI QIDQ4178474FDOQ4178474

George J. Milne, Robin Milner

Publication date: 1979

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322123.322134

zbMATH Keywords

SemanticsParallelismSyntaxConcurrent ProcessesCategory of Flow AlgebrasFlow DiagramsFlowgraphsSynchronized Communication

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99) Theory of operating systems (68N25)

Cited In (27)

• A fully abstract denotational semantics for the calculus of higher-order communicating systems
• Structural inclusion in the pi-calculus with replication
• Deriving graphical representations of process networks from algebraic expressions
• A semantic theory for value-passing processes based on the late approach
• Multisets and structural congruence of the pi-calculus with replication
• Symmetry breaking in distributed networks
• Election in partially anonymous networks with arbitrary knowledge in message passing systems
• Merging regular processes by means of fixed-point theory
• Petri nets, event structures and domains. I
• In Scott-Strachey style denotational semantics, parallelism implies nondeterminism
• Modelling Dynamically Changing Hardware Structure
• Calculi for synchrony and asynchrony
• Communication in concurrent dynamic logic
• On the design and specification of message oriented programs
• Semantics of nondeterminism, concurrency, and communication
• Combining effects: sum and tensor
• A brief history of process algebra
• A weakest precondition semantics for communicating processes
• A language for linking modules into systems
• A domain equation for bisimulation
• Port automata and the algebra of concurrent porcesses
• Deadlock analysis in networks of communicating processes
• On the power of synchronization between two adjacent processes
• The complexity of problems in systems of communicating sequential processes
• On describing the behavior and implementation of distributed systems
• A multiset semantics for the pi-calculus with replication
• Three metric domains of processes for bisimulation

This page was built for publication: Concurrent Processes and Their Syntax

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