Stem chor$ (all stems)
3 papers:
- FASE-2013-GudemannPSD #framework #named #verification
- VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.
- ECMDA-FA-2009-StefanescuWK #approach #modelling #named #testing
- MBT4Chor: A Model-Based Testing Approach for Service Choreographies (AS, SW, AK), pp. 313–324.
- CAiSE-2008-DeckerKLPW #modelling #using
- Modeling Service Choreographies Using BPMN and BPEL4Chor (GD, OK, FL, KP, MW), pp. 79–93.