Pages that link to "Item:Q2805160"
From MaRDI portal
The following pages link to On the unification of process semantics: equational semantics (Q2805160):
Displaying 13 items.
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet (Q1944909) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Unifying the linear time-branching time spectrum of process semantics (Q2838240) (← links)
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
- Equivalence of Processes in Partially Commutative Object-Oriented Environments (Q3084991) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- On the Unification of Process Semantics: Observational Semantics (Q3599079) (← links)
- (Q3838763) (← links)
- Programming Languages and Systems (Q5464037) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900559) (← links)