scientific article; zbMATH DE number 2017356

MaRDI QIDQ4439587zbMATH OpenFDO

Authors Alain Girault, Clément Ménier

Publication date 14 December 2003

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

zbMATH Keywords

asynchronous communicationsautomatic distributiondistributed architecturesGlobally synchronous-locally asynchronous (GALS)hardware/software codesignsynchronous circuits

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1955906
• scientific article; zbMATH DE number 2080750
• From concurrent multi-clock programs to deterministic asynchronous implementations
• Formal modelling and verification of GALS systems using GRL and CADP

Cited in

(5)

• Reasoning about synchronization in GALS systems
• scientific article; zbMATH DE number 1955906 (Why is no real title available?)
• Step persistence in the design of GALS systems
• Computer Aided Verification
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems

This page was built for publication:

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