Deadlock-freedom-by-design, multiparty asynchronous global programming
From MaRDI portal
Recommendations
Cited in
(39)- Choreographies, logically
- A core model for choreographic programming
- A coordination protocol language for power grid operation control
- Certifying choreography compilation
- Security protocols as choreographies
- From global choreographies to verifiable efficient distributed implementations
- An abstract framework for choreographic testing
- Global types with internal delegation
- Multiparty session types as coherence proofs
- A type language for distributed reactive components governed by communication protocols
- A gentle introduction to multiparty asynchronous session types
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Enforcing availability in failure-aware communicating systems
- Discretionary Information Flow Control for Interaction-Oriented Specifications
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- The Paths to Choreography Extraction
- Global protocol implementations via attribute-based communication
- Verifiable abstractions for contract-oriented systems
- scientific article; zbMATH DE number 7314999 (Why is no real title available?)
- scientific article; zbMATH DE number 7454918 (Why is no real title available?)
- Exploring type-level bisimilarity towards more expressive multiparty session types
- On resolving non-determinism in choreographies
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Separating Lock-Freedom from Wait-Freedom
- The evolution of Jolie. From orchestrations to adaptable choreographies
- Global progress for dynamically interleaved multiparty sessions
- Applied Choreographies
- Manifest deadlock-freedom for shared session types
- Functional choreographic programming
- Branching Pomsets for Choreographies
- A Theory of Formal Choreographic Languages
- Branching pomsets: design, expressiveness and applications to choreographies
- A formal theory of choreographic programming
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- Declarative choreographies and liveness
- Certified compilation of choreographies with \textsf{hacc}
- Programming and reasoning about actors that share state
- Keep me out of the loop: a more flexible choreographic projection
- The stream-based service-centred calculus: a foundation for service-oriented programming
This page was built for publication: Deadlock-freedom-by-design, multiparty asynchronous global programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931801)
