The following pages link to (Q3750114):
Displaying 22 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Nets, sequential components and concurrency relations (Q797994) (← links)
- A\(^ 2\)CCS: Atomic actions for CCS (Q912608) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- A rewriting strategy to verify observational congruence (Q915472) (← links)
- Petri nets are monoids (Q922720) (← links)
- Algebra of communicating processes with abstraction (Q1067408) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Linear time and branching time semantics for recursion with merge (Q1348527) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Notes on the methodology of CCS and CSP (Q1391789) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q5096197) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
