Pages that link to "Item:Q5756485"

The following pages link to CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (Q5756485):

Displaying 32 items.

• Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
• Dynamic spaces in concurrent constraint programming (Q281160) (← links)
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
• Verifiable abstractions for contract-oriented systems (Q347375) (← links)
• A survey of constraint-based programming paradigms (Q458465) (← links)
• QoS negotiation in service composition (Q615894) (← links)
• Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
• From StPowla processes to SRML models (Q973047) (← links)
• Session-based concurrency, declaratively (Q2120811) (← links)
• Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
• A constraint-based language for multiparty interactions (Q2229145) (← links)
• QoS-aware management of monotonic service orchestrations (Q2248094) (← links)
• Application of branching cells to QoS aware service orchestrations (Q2253177) (← links)
• A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
• Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
• A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
• A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
• Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
• The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
• Coalgebraic Symbolic Semantics (Q2888486) (← links)
• Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
• A Probabilistic Applied Pi–Calculus (Q3498438) (← links)
• Semiring-Based Soft Constraints (Q3507363) (← links)
• Business Process Modeling for Organizational Knowledge Management (Q3507371) (← links)
• A Category of Explicit Fusions (Q3507388) (← links)
• What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) (← links)
• A Categorical Model of the Fusion Calculus (Q5415643) (← links)
• Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
• Attribute-based transactions in service oriented computing (Q5740634) (← links)
• CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
• (Q5856409) (← links)
• Psi-calculi in Isabelle (Q5890661) (← links)