Compiler construction using LOTOS NT

DOI10.1007/3-540-45937-5_3MaRDI QIDQ4738368zbMATH OpenFDO

Authors Hubert Garavel, Frédéric Lang, Radu Mateescu

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2304/23040009.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Cited in

(7)

• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• Formal modelling and verification of GALS systems using GRL and CADP
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Translating FSP into LOTOS and networks of automata
• Revisiting sequential composition in process calculi

This page was built for publication: Compiler construction using LOTOS NT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738368)