Correct-by-construction asynchronous implementation of modular synchronous specifications

MaRDI QIDQ5295514zbMATH OpenFDO

Authors Dumitru Potop-Butucaru, Benoît Caillaud

Publication date 30 July 2007

zbMATH Keywords

asynchronous systemsendochronous systemsglobally asynchronousgynchronous systemsKahn processeslocally synchronous (GALS) architecturessemantics preservation

Mathematics Subject Classification ID

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

• From concurrent multi-clock programs to deterministic asynchronous implementations
• A framework for modeling the distributed deployment of synchronous designs
• scientific article; zbMATH DE number 1361122
• Synchronous development of asynchronous systems
• Synthesis of Asynchronous Systems

Cited in

(9)

• A framework for modeling the distributed deployment of synchronous designs
• Generic transforms on incomplete specifications of asynchronous interfaces
• From concurrent multi-clock programs to deterministic asynchronous implementations
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• Distributed Control of Discrete-Event Systems: A First Step
• scientific article; zbMATH DE number 7364138 (Why is no real title available?)
• Asynchronous logic circuits and sheaf obstructions
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems

This page was built for publication: Correct-by-construction asynchronous implementation of modular synchronous specifications

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