A denotational theory of synchronous reactive systems

Authors:
Albert Benveniste;Paul Le Guernic;Yves Sorel;Michel Sorine
Affiliations:
-;-;-;-
Venue:
Information and Computation
Year:
1992

Citing 0
Cited 3

Clock analysis of synchronous dataflow programs

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The synchronous approach to reactive and real-time systems

Readings in hardware/software co-design
A comparative study of two formal semantics of the SIGNAL language

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract