Synchronous Functional Programming with Lucid Synchrone
Book chapter, 2010
Synchronous model
Reactive systems
Unique framework
Programming language
Functional languages
Author
P. Caspi
Grenoble Alpes University
Grégoire Hamon
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
M. Pouzet
Laboratoire de Recherche en Informatique
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
207-247
9781848210134 (ISBN)
Subject Categories (SSIF 2011)
Computer and Information Science
DOI
10.1002/9780470611012.ch7
ISBN
9781848210134