Choreographies, Logically

DOI10.1007/978-3-662-44584-6_5zbMath1417.68121OpenAlexW4232794147MaRDI QIDQ3190108

Fabrizio Montesi, Marco Carbone, Carsten Schuermann

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://portal.findresearcher.sdu.dk/da/publications/ccd494a0-74af-4b09-989b-9de5e268c89e

Mathematics Subject Classification ID

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 (5)

Multiparty session types as coherence proofs ⋮ Verifiable abstractions for contract-oriented systems ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ The Paths to Choreography Extraction ⋮ A core model for choreographic programming

This page was built for publication: Choreographies, Logically