From synchrony to asynchrony

DOI10.1007/3-540-48320-9_13MaRDI QIDQ4270056zbMATH OpenFDO

Authors Benoît Caillaud, Paul Le Guernic, Albert Benveniste

Publication date 20 December 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48320-9_13

zbMATH Keywords

desynchronizationsynchrony

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronizing the asynchronous
• Synchronous development of asynchronous systems
• scientific article; zbMATH DE number 222692
• Synchrony vs. causality in asynchronous Petri nets
• Synchronous modelling of asynchronous systems

Cited in

(14)

• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• A framework for modeling the distributed deployment of synchronous designs
• Concurrency in synchronous systems
• From concurrent multi-clock programs to deterministic asynchronous implementations
• Formal modelling and verification of GALS systems using GRL and CADP
• Dependency-driven distribution of synchronous programs
• scientific article; zbMATH DE number 4028916 (Why is no real title available?)
• scientific article; zbMATH DE number 1286830 (Why is no real title available?)
• Synchronous modelling of asynchronous systems
• Compatibility properties of synchronously and asynchronously communicating components
• Synchronizing the asynchronous
• scientific article; zbMATH DE number 222692 (Why is no real title available?)
• Correct-by-construction asynchronous implementation of modular synchronous specifications
• Distributed simulation of asynchronous Hardware: The program driven synchronization protocol

This page was built for publication: From synchrony to asynchrony

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