An algorithmic framework for synthesis of concurrent programs

DOI10.1007/978-3-642-24372-1_41zbMATH Open1348.68037OpenAlexW1503426638MaRDI QIDQ3172943FDOQ3172943

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

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

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)

Cited In (10)

• Title not available (Why is that?)
• Inferring Synchronization under Limited Observability
• Tools and Algorithms for the Construction and Analysis of Systems
• Synthesizing concurrent programs using answer set programming
• Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
• Structured Derivation of Semi-Synchronous Algorithms
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Title not available (Why is that?)
• A systematic approach to language constructs for concurrent programs
• Title not available (Why is that?)

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)