Cited in
(36)- Session-based concurrency, declaratively
- Declarative event based models of concurrency and refinement in psi-calculi
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Psi-calculi in Isabelle
- A compositional coalgebraic model of fusion calculus
- Dynamic spaces in concurrent constraint programming
- Modal logics for nominal transition systems
- Observational and behavioural equivalences for soft concurrent constraint programming
- A constraint-based language for multiparty interactions
- QoS-aware management of monotonic service orchestrations
- A calculus for collective-adaptive systems and its behavioural theory
- QoS negotiation in service composition
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Verifiable abstractions for contract-oriented systems
- Families of symmetries as efficient models of resource binding
- Application of branching cells to QoS aware service orchestrations
- Symbolic and Asynchronous Semantics via Normalized Coalgebras
- A categorical model of the fusion calculus
- Coalgebraic symbolic semantics
- Modal logics for nominal transition systems
- PiDuce
- COWS
- LMNtal
- Janus
- XPi
- Replacement freeness: a criterion for separating process calculi
- Scribble
- Psi-calculi
- tccp
- A presheaf environment for the explicit fusion calculus
- The expressive power of monotonic parallel composition
- Models and emerging trends of concurrent constraint programming
- Parametric synchronizations in mobile nominal calculi
- A survey of constraint-based programming paradigms
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- From StPowla processes to SRML models
This page was built for software: CC-Pi
