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