Cited in
(82)- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Session types for safe web service orchestration
- Structured Interactional Exceptions in Session Types
- 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
- On Observing Dynamic Prioritised Actions in SOC
- The Conversation Calculus: A Model of Service-Oriented Computation
- A state/event-based model-checking approach for the analysis of abstract system properties
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- A rewriting-based model checker for the linear temporal logic of rewriting
- On the analysis of compensation correctness
- From StPowla processes to SRML models
- The stream-based service-centred calculus: a foundation for service-oriented programming
- Specifying and Analysing SOC Applications with COWS
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Event-based run-time adaptation in communication-centric systems
- Dynamic error handling in service oriented applications
- An accessible verification environment for UML models of services
- simpA
- Klava
- PiDuce
- rCOS
- MetaKlaim
- LoLA
- Petruchio
- CoMA
- BPEL2PN
- BPEL2oWFN
- MarCaSPiS
- Orc
- Flow Caml
- KLAIM
- Linda
- XPi
- SCELlight
- VMC
- GroupKit
- LTSA-WS
- CSP-prover
- PIPER
- Jolie
- SynchAADL2Maude
- MAGIC
- DeltaCCS
- CC-Pi
- AIOCJ
- AsmetaSMV
- Overture Tool
- VDMTools
- ACTLW
- Scribble
- SAVARA
- SPY
- Timed Conversation
- TyPiCal
- JSFlow
- Combining behavioural types with security analysis
- Replacement freeness: a criterion for separating process calculi
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- The evolution of Jolie. From orchestrations to adaptable choreographies
- 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
- A calculus of quality for robustness against unreliable communication
- An Observational Model for Transactional Calculus of Services Orchestration
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Model-checking web services orchestrations using BP-calculus
- Parametric synchronizations in mobile nominal calculi
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Communicating by compatibility
- 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
This page was built for software: COWS
