Pages that link to "Item:Q5308470"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308470):
Displaying 8 items.
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Explicit fusions (Q2566040) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)