Synchronous modelling of asynchronous systems

DOI10.1007/3-540-45828-X_18MaRDI QIDQ4439584zbMATH OpenFDO

Authors Siwar Baghdadi, Nicolas Halbwachs

Publication date 14 December 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910240.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Synchronous structures
• Synchronous structures
• scientific article; zbMATH DE number 1515325
• Synchronous development of asynchronous systems
• From synchrony to asynchrony

Cited in

(13)

• Designing and using a single-step functional model of an asynchronous automaton
• An algebraic model of synchronous systems
• Formal modelling and verification of GALS systems using GRL and CADP
• On the diversity of asynchronous communication
• Modeling distributed system entities which communicate asynchronous via message passing in Java
• scientific article; zbMATH DE number 1286830 (Why is no real title available?)
• From synchrony to asynchrony
• Some synchronization issues when designing embedded systems from components
• scientific article; zbMATH DE number 1515325 (Why is no real title available?)
• Synchronous development of asynchronous systems
• Distributed simulation of asynchronous Hardware: The program driven synchronization protocol
• Model checking of distributed algorithms using synchronous programs
• Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems)

This page was built for publication: Synchronous modelling of asynchronous systems

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