Choreographies, logically
From MaRDI portal
Publication:1699421
DOI10.1007/s00446-017-0295-1zbMath1423.68304OpenAlexW3187321874MaRDI QIDQ1699421
Marco Carbone, Fabrizio Montesi, Carsten Schuermann
Publication date: 23 February 2018
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://portal.findresearcher.sdu.dk/da/publications/ccd494a0-74af-4b09-989b-9de5e268c89e
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Certifying choreography compilation ⋮ Applied Choreographies ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ Separating Sessions Smoothly ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Unnamed Item ⋮ On the concurrent computational content of intermediate logics ⋮ Connecting open systems of communicating finite state machines ⋮ Prioritise the best variation
Cites Work
- Unnamed Item
- Linear logic
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- On the \(\pi\)-calculus and linear logic
- Hypersequents, logical consequence and intermediate logics for concurrency
- From Communicating Machines to Graphical Choreographies
- Compositional Choreographies
- Propositions as sessions
- Linear Logical Relations for Session-Based Concurrency
- Synthesising Choreographies from Local Session Types
- Deadlock-freedom-by-design
- Deciding choreography realizability
- The Paths to Choreography Extraction
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Session Types as Intuitionistic Linear Propositions
- Conversation Types
- Procedural Choreographic Programming
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration
- Structured Communication-Centred Programming for Web Services
