共 15 条
[2]
Benveniste A, 2000, INFORM COMPUT, V163, P125, DOI [10.1006/inco.2000.9999, 10.1006/inco.2000.2898]
[3]
Benveniste A, 1999, LECT NOTES COMPUT SC, V1664, P162
[4]
Berry Gerard, 1999, The constructive semantics of pure Esterel.
[6]
Halbwachs N., 1993, Synchronous Programming of Reactive Systems
[7]
HAREL D, 1985, NATO ASI SERIES F, V13, P477
[8]
Harel D., 1998, MODELING REACTIVE SY
[9]
*INR IR, 2001, SIGNAL TOOL CONT LEG
[10]
KOUNTOURIS A, 1996, P IEE C HW SW COS RE