The following pages link to COWS (Q19018):
Displaying 44 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- Event based choreography (Q988170) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Prototyping concurrent systems with agents and artifacts: framework and core calculus (Q2866321) (← links)
- Models for trustworthy service and process oriented systems (Q2883105) (← links)
- (Q2988998) (← links)
- Dynamic Error Handling in Service Oriented Applications (Q3400548) (← links)
- A Heterogeneous Approach to UML Semantics (Q3507375) (← links)
- Specifying and Analysing SOC Applications with COWS (Q3507397) (← links)
- Regulating Data Exchange in Service Oriented Applications (Q3508528) (← links)
- Structured Interactional Exceptions in Session Types (Q3541033) (← links)
- On the Expressive Power of Primitives for Compensation Handling (Q3558236) (← links)
- On the expressive power of process interruption and compensation (Q3636911) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- On Observing Dynamic Prioritised Actions in SOC (Q5321686) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
