An algorithmic framework for synthesis of concurrent programs

DOI10.1007/978-3-642-24372-1_41MaRDI QIDQ3172943zbMATHOpenAlexFDO

Authors Roopsha Samanta, E. Allen Emerson

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_41

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Abstraction-guided synthesis of synchronization
• Synthesizing concurrent programs using answer set programming
• scientific article; zbMATH DE number 1361120
• Synthesis of large dynamic concurrent programs from dynamic specifications

Cited in

(15)

• scientific article; zbMATH DE number 1830933 (Why is no real title available?)
• Synthesizing concurrent programs using answer set programming
• Synthesising correct concurrent runtime monitors
• Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
• Structured Derivation of Semi-Synchronous Algorithms
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Inferring Synchronization under Limited Observability
• Synthesis of large dynamic concurrent programs from dynamic specifications
• A systematic approach to language constructs for concurrent programs
• Abstraction-guided synthesis of synchronization
• scientific article; zbMATH DE number 177266 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Code aware resource management
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• scientific article; zbMATH DE number 3976309 (Why is no real title available?)

Describes a project that uses

Uses Software

• SYNTHESIS
• SyncGen

This page was built for publication: An algorithmic framework for synthesis of concurrent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172943)