Pages that link to "Item:Q5458401"
From MaRDI portal
The following pages link to Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401):
Displaying 7 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- (Q5856409) (← links)
- Psi-calculi in Isabelle (Q5895110) (← links)
