CC-Pi

swMATH15033MaRDI QIDQ26927FDOQ26927

Author name not available (Why is that?)

Cited In (28)

• Title not available (Why is that?)
• A survey of constraint-based programming paradigms
• A Categorical Model of the Fusion Calculus
• 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
• Coalgebraic Symbolic Semantics
• 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
• Application of branching cells to QoS aware service orchestrations
• The Expressive Power of Monotonic Parallel Composition
• From StPowla processes to SRML models
• A compositional coalgebraic model of fusion calculus
• QoS negotiation in service composition
• Title not available (Why is that?)
• 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

This page was built for software: CC-Pi