Pages that link to "Item:Q5179212"
From MaRDI portal
The following pages link to Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212):
Displayed 4 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)