COWS

swMATH6955MaRDI QIDQ19018FDOQ19018

Author name not available (Why is that?)

Described by source

• C WS: A Timed Service-Oriented Calculus
• A Calculus for Orchestration of Web Services

Cited In (44)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Structured Interactional Exceptions in Session Types
• Session types for safe web service orchestration
• On the Expressive Power of Primitives for Compensation Handling
• Enabling synchronous and asynchronous communications in CSP for SOC
• A WSDL-based type system for asynchronous WS-BPEL processes
• A formal model for service-oriented interactions
• Regulating Data Exchange in Service Oriented Applications
• Property specifications for workflow modelling
• Event based choreography
• A Heterogeneous Approach to UML Semantics
• From EU Projects to a Family of Model Checkers
• The Evolution of Jolie
• On Observing Dynamic Prioritised Actions in SOC
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• A state/event-based model-checking approach for the analysis of abstract system properties
• On the analysis of compensation correctness
• Specifying and Analysing SOC Applications with COWS
• From StPowla processes to SRML models
• The stream-based service-centred calculus: a foundation for service-oriented programming
• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• Event-based run-time adaptation in communication-centric systems
• Title not available (Why is that?)
• An accessible verification environment for UML models of services
• Replacement freeness: a criterion for separating process calculi
• Combining behavioural types with security analysis
• Models for trustworthy service and process oriented systems
• Failure-divergence semantics and refinement of long running transactions
• \textsf{CaPiTo}: Protocol stacks for services
• A barred operational semantics for a subset of WS-CDL with time restrictions
• Timed runtime monitoring for multiparty conversations
• An Observational Model for Transactional Calculus of Services Orchestration
• A calculus of quality for robustness against unreliable communication
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Dynamic Error Handling in Service Oriented Applications
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Communicating by compatibility
• Parametric synchronizations in mobile nominal calculi
• On the expressive power of process interruption and compensation
• A formal approach to the engineering of domain-specific distributed systems
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Prototyping concurrent systems with agents and artifacts: framework and core calculus
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

This page was built for software: COWS