Pages that link to "Item:Q3189846"
From MaRDI portal
The following pages link to Multiparty asynchronous session types (Q3189846):
Displaying 50 items.
- Contracts as games on event structures (Q272306) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Reversible client/server interactions (Q315298) (← links)
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Lightening global types (Q492916) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- Conversation types (Q615952) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Fundamentals of session types (Q714736) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Non-local configuration of component interfaces by constraint satisfaction (Q823765) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Mixed sessions (Q2055956) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Role-based development of dynamically evolving esembles (Q2185881) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Data-driven adaptation for smart sessions (Q2360650) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
