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