Pages that link to "Item:Q1060838"
From MaRDI portal
The following pages link to Specification-oriented semantics for communicating processes (Q1060838):
Displaying 24 items.
- Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- On deciding some equivalences for concurrent processes (Q4362275) (← links)
- (Q4436957) (← links)
- (Q4494254) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- (Q4989406) (← links)
- (Q5089269) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- An algebraic approach to temporal logic (Q5096734) (← links)
- Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- (Q5457648) (← links)
- A hierarchy of domains for real-time distributed computing (Q5887512) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
- On the specification of elementary reactive behaviour (Q5890052) (← links)
- Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
- Axiomatizing flat iteration (Q6044120) (← links)
- Synchronous development of asynchronous systems (Q6104432) (← links)
- Covering step graph preserving failure semantics (Q6487379) (← links)
