Pages that link to "Item:Q1958400"

The following pages link to Specification and verification of declarative open interaction models. A logic-based approach (Q1958400):

Displaying 4 items.

• Balanced multi-perspective checking of process conformance (Q272169) (← links)
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
• Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
• (Q4993609) (← links)