TTL: A modular language for hardware/software systems design.
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1759758 (Why is no real title available?)
- A calculus of communicating systems
- A formal definition of time in LOTOS
- An exercise in the automatic verification of asynchronous designs
- CIRCAL and the representation of communication, concurrency, and time
- TTL: A modular language for hardware/software systems design.
- The Esterel synchronous programming language: Design, semantics, implementation
This page was built for publication: TTL: A modular language for hardware/software systems design.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400574)