CC-Pi

swMATH15033MaRDI QIDQ26927FDOQ26927

Author name not available (Why is that?)

Cited In (28)

• 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
• 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
• 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