From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

DOI10.3233/FI-2011-415zbMath1245.68060MaRDI QIDQ2895778

Robert de Simone, Yves Sorel, Jean-Pierre Talpin, Dumitru Potop-Butucaru

Publication date: 4 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

synchronyasynchronous implementationendochronymulti-clock

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Constructive Polychronous Systems ⋮ Formal modelling and verification of GALS systems using GRL and CADP ⋮ Compositional design of isochronous systems

This page was built for publication: From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations