The following pages link to Programming Languages and Systems (Q5464037):
Displaying 6 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- On reduction-based process semantics (Q1350347) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- Equivalence of Processes in Partially Commutative Object-Oriented Environments (Q3084991) (← links)
- (Q3681914) (← links)