Similar Items: Automata for Specifying and Orchestrating Service Contracts
- Retractability, games and orchestrators for session contracts
- Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
- Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
- OMEinsumContractionOrders: A Julia package for tensor network contraction order optimization
- Verifying liquidity of recursive Bitcoin contracts
- Orchestrating Generative Models for Synthesizing Domain-Specific Vision–Language Instructions