Deadlock-freedom-by-design
From MaRDI portal
Publication:2931801
DOI10.1145/2429069.2429101zbMath1301.68097WikidataQ59702062 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Unnamed Item, Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types, The Evolution of Jolie, Global progress for dynamically interleaved multiparty sessions, Applied Choreographies, A formal theory of choreographic programming, Verifiable abstractions for contract-oriented systems, Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous, The stream-based service-centred calculus: a foundation for service-oriented programming, Choreographies, logically, A core model for choreographic programming, A coordination protocol language for power grid operation control, Prioritise the best variation, 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, Unnamed Item, Discretionary Information Flow Control for Interaction-Oriented Specifications, The Paths to Choreography Extraction, Global Protocol Implementations via Attribute-Based Communication
Uses Software