Pages that link to "Item:Q2942872"
From MaRDI portal
The following pages link to Deciding choreography realizability (Q2942872):
Displayed 20 items.
- Contracts as games on event structures (Q272306) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Realizable temporal logics for web service choreography (Q739636) (← links)
- Choreographies, logically (Q1699421) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Automatic analysis of complex interactions in microservice systems (Q2175983) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Synchronizability for Verification of Asynchronously Communicating Systems (Q2891401) (← links)
- (Q2974797) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- Multiparty testing preorders (Q5060196) (← links)
- (Q5111454) (← links)
- Applied Choreographies (Q5881532) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)