Concurrent Processes and Their Syntax
From MaRDI portal
Cited in
(28)- Calculi for synchrony and asynchrony
- A language for linking modules into systems
- Merging regular processes by means of fixed-point theory
- Communication in concurrent dynamic logic
- Semantics of nondeterminism, concurrency, and communication
- On describing the behavior and implementation of distributed systems
- The complexity of problems in systems of communicating sequential processes
- Petri nets, event structures and domains. I
- Multisets and structural congruence of the pi-calculus with replication
- A semantic theory for value-passing processes based on the late approach
- A brief history of process algebra
- Election in partially anonymous networks with arbitrary knowledge in message passing systems
- Combining effects: sum and tensor
- Deadlock analysis in networks of communicating processes
- A domain equation for bisimulation
- In Scott-Strachey style denotational semantics, parallelism implies nondeterminism
- On the design and specification of message oriented programs
- Modelling dynamically changing hardware structure
- Three metric domains of processes for bisimulation
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- Structural inclusion in the pi-calculus with replication
- On the power of synchronization between two adjacent processes
- A multiset semantics for the pi-calculus with replication
- Deriving graphical representations of process networks from algebraic expressions
- Tony Hoare: his path to the ACM Turing Award
- A weakest precondition semantics for communicating processes
- Port automata and the algebra of concurrent porcesses
- Symmetry breaking in distributed networks
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)
