Pages that link to "Item:Q3508530"
From MaRDI portal
The following pages link to A Behavioural Congruence for Web Services (Q3508530):
Displaying 5 items.
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)
