Concurrency in synchronous systems

DOI10.1007/s10703-006-7844-8zbMath1100.68004OpenAlexW3184710042MaRDI QIDQ2505637

Albert Benveniste, Dumitru Potop-Butucaru, Benoît Caillaud

Publication date: 28 September 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00124252/file/potop-et-al-fmsd-2006.pdf

zbMATH Keywords

distributionconcurrencysynchronousdesynchronizationtrace theoryglobally asynchronous locally synchronous

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Related Items (5)

Formal modelling and verification of GALS systems using GRL and CADP ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Compositional design of isochronous systems ⋮ A framework for modeling the distributed deployment of synchronous designs ⋮ Concurrency in synchronous systems

Uses Software

• LUSTRE
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• A proof of the Kahn principle for input/output automata
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Concurrency in synchronous systems
• Logic Synthesis for Asynchronous Controllers and Interfaces

This page was built for publication: Concurrency in synchronous systems