Paper Info
Title
Synchronous Programming of Reactive Systems
Abstract
Without Abstract
Year
DOI
Venue
1998
10.1007/BFb0028726
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Keywords
Field
DocType
supervision system,reactive system,machine execution time,signal processing system,programming language,declarative language,synchronous programming,reactive system design,reactive systems,real-time system,graphical language,industrial process control system
Fifth-generation programming language,Second-generation programming language,Programming language,Computer science,Imperative programming,Lustre (programming language),Synchronous programming language,Esterel,Reactive system,Hardware description language
Conference
ISBN
Citations 
PageRank 
3-540-64608-6
361
30.96
References 
Authors
56
1
Search Limit
100361
Name
Order
Citations
PageRank
Nicolas Halbwachs13957426.43