TTL: A modular language for hardware/software systems design.

DOI10.1016/S0022-0000(03)00002-3MaRDI QIDQ1400574zbMATH OpenOpenAlexFDO

Authors Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni

Publication date 13 August 2003

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-0000(03)00002-3

zbMATH Keywords

Formal description techniquesCodesign

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Computer system organization (68M99)

Recommendations

• Object-oriented modelling and specification using SHE
• scientific article; zbMATH DE number 4205967
• scientific article; zbMATH DE number 1408164
• scientific article; zbMATH DE number 1408163
• A compositional framework for hardware/software co-design

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

Cited in

(1)

• TTL: A modular language for hardware/software systems design.

Describes a project that uses

Uses Software

• Esterel
• LOTOS
• TTL

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)