Deadlock-freedom-by-design
From MaRDI portal
Publication:2931801
DOI10.1145/2429069.2429101zbMath1301.68097OpenAlexW2114877704WikidataQ59702062 ScholiaQ59702062MaRDI QIDQ2931801
Marco Carbone, Fabrizio Montesi
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429101
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (34)
Multiparty session types as coherence proofs ⋮ Certifying choreography compilation ⋮ Applied Choreographies ⋮ Unnamed Item ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Global Protocol Implementations via Attribute-Based Communication ⋮ Security protocols as choreographies ⋮ Verifiable abstractions for contract-oriented systems ⋮ Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ 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 ⋮ Choreographies, logically ⋮ Declarative choreographies and liveness ⋮ A type language for distributed reactive components governed by communication protocols ⋮ Unnamed Item ⋮ The Paths to Choreography Extraction ⋮ An abstract framework for choreographic testing ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ A core model for choreographic programming ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A coordination protocol language for power grid operation control ⋮ Global types with internal delegation ⋮ The stream-based service-centred calculus: a foundation for service-oriented programming ⋮ 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 ⋮ Unnamed Item ⋮ The Evolution of Jolie ⋮ Prioritise the best variation
Uses Software
This page was built for publication: Deadlock-freedom-by-design
