CC-Pi
From MaRDI portal
Software:26927
No author found.
Related Items (28)
Session-based concurrency, declaratively ⋮ Declarative event based models of concurrency and refinement in psi-calculi ⋮ Coalgebraic Symbolic Semantics ⋮ Dynamic spaces in concurrent constraint programming ⋮ A compositional coalgebraic model of fusion calculus ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ 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 ⋮ Unnamed Item ⋮ QoS negotiation in service composition ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Psi-calculi in Isabelle ⋮ A survey of constraint-based programming paradigms ⋮ Parametric synchronizations in mobile nominal calculi ⋮ A constraint-based language for multiparty interactions ⋮ Psi-calculi: a framework for mobile processes with nominal data and logic ⋮ Symbolic and Asynchronous Semantics via Normalized Coalgebras ⋮ QoS-aware management of monotonic service orchestrations ⋮ A Categorical Model of the Fusion Calculus ⋮ Application of branching cells to QoS aware service orchestrations ⋮ From StPowla processes to SRML models ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements ⋮ Unnamed Item ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Models and emerging trends of concurrent constraint programming
This page was built for software: CC-Pi
