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

DOI10.1016/S0022-0000(03)00002-3zbMath1035.68031OpenAlexW1975999662MaRDI QIDQ1400574

Michele Malgeri, Giuseppe Mangioni, Vincenza Carchiolo

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

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

Related Items

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

Uses Software

• TTL
• LOTOS
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• The Esterel synchronous programming language: Design, semantics, implementation
• A formal definition of time in LOTOS
• An exercise in the automatic verification of asynchronous designs
• TTL: A modular language for hardware/software systems design.
• CIRCAL and the representation of communication, concurrency, and time