TTL: A modular language for hardware/software systems design.
From MaRDI portal
Publication:1400574
DOI10.1016/S0022-0000(03)00002-3zbMath1035.68031MaRDI 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
68M99: Computer system organization
68N01: General topics in the theory of software
68N99: Theory of software
Related Items
Uses Software
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