Multiclock Esterel

DOI10.1007/3-540-44798-9_10MaRDI QIDQ4787220zbMATH OpenFDO

Authors Gérard Berry, Ellen Sentovich

Publication date 9 January 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/2144/21440110

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Computing methodologies and applications (68U99)

Recommendations

• Moore's clock
• Quantile clocks
• Resettable vector clocks
• Resettable vector clocks
• An algebraic theory of multiple clocks

Cited in

(6)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Formal modelling and verification of GALS systems using GRL and CADP
• scientific article; zbMATH DE number 2038760 (Why is no real title available?)
• Formal Methods in Computer-Aided Design
• Abstraction of Clocks in Synchronous Data-Flow Systems
• \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Multiclock Esterel

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