Pages that link to "Item:Q4178474"
From MaRDI portal
The following pages link to Concurrent Processes and Their Syntax (Q4178474):
Displaying 27 items.
- On the power of synchronization between two adjacent processes (Q660989) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- Deriving graphical representations of process networks from algebraic expressions (Q685510) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- Port automata and the algebra of concurrent porcesses (Q791319) (← links)
- Symmetry breaking in distributed networks (Q918187) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- A language for linking modules into systems (Q1060558) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- Semantics of nondeterminism, concurrency, and communication (Q1139946) (← links)
- On describing the behavior and implementation of distributed systems (Q1143167) (← links)
- The complexity of problems in systems of communicating sequential processes (Q1146980) (← links)
- Petri nets, event structures and domains. I (Q1148680) (← links)
- Multisets and structural congruence of the pi-calculus with replication (Q1274455) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Election in partially anonymous networks with arbitrary knowledge in message passing systems (Q1938371) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Deadlock analysis in networks of communicating processes (Q2638755) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- In Scott-Strachey style denotational semantics, parallelism implies nondeterminism (Q3657406) (← links)
- On the design and specification of message oriented programs (Q3891748) (← links)
- Modelling Dynamically Changing Hardware Structure (Q5262971) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Structural inclusion in the pi-calculus with replication (Q5941195) (← links)
