CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
From MaRDI portal
Publication:5756485
DOI10.1007/978-3-540-71316-6_3zbMath1187.68063OpenAlexW1573313194MaRDI QIDQ5756485
Maria Grazia Buscemi, Ugo Montanari
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_3
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)
Related Items
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 ⋮ A Probabilistic Applied Pi–Calculus ⋮ Semiring-Based Soft Constraints ⋮ Business Process Modeling for Organizational Knowledge Management ⋮ A Category of Explicit Fusions ⋮ What Do Semantics Matter When the Meat Is Overcooked? ⋮ 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 ⋮ QoS-aware management of monotonic service orchestrations ⋮ A Categorical Model of the Fusion Calculus ⋮ Application of branching cells to QoS aware service orchestrations ⋮ Attribute-based transactions in service oriented computing ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ From StPowla processes to SRML models ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus ⋮ Models and emerging trends of concurrent constraint programming
Uses Software
