Lucy-n: a n-Synchronous Extension of Lustre

DOI10.1007/978-3-642-13321-3_17zbMath1286.68086OpenAlexW1559895627MaRDI QIDQ3575277

Marc Pouzet, Louis Mandel, Florence Plateau

Publication date: 26 July 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-13321-3_17

zbMATH Keywords

type systemsprocess networkssynchronous model

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• LUSTRE
• Unnamed Item

This page was built for publication: Lucy-n: a n-Synchronous Extension of Lustre