swMATH15033MaRDI QIDQ26927FDOQ26927
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-71316-6_3
Cited In (35)
- A survey of constraint-based programming paradigms
- A presheaf environment for the explicit fusion calculus
- Declarative event based models of concurrency and refinement in psi-calculi
- A constraint-based language for multiparty interactions
- The expressive power of monotonic parallel composition
- Dynamic spaces in concurrent constraint programming
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Session-based concurrency, declaratively
- A calculus for collective-adaptive systems and its behavioural theory
- QoS-aware management of monotonic service orchestrations
- Modal logics for nominal transition systems
- Application of branching cells to QoS aware service orchestrations
- A categorical model of the fusion calculus
- From StPowla processes to SRML models
- A compositional coalgebraic model of fusion calculus
- QoS negotiation in service composition
- COWS
- LMNtal
- Janus
- XPi
- Replacement freeness: a criterion for separating process calculi
- Scribble
- Psi-calculi
- tccp
- 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
- Psi-calculi in Isabelle
- Observational and behavioural equivalences for soft concurrent constraint programming
- 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
- Modal logics for nominal transition systems
- Coalgebraic symbolic semantics
This page was built for software: CC-Pi
