References
G. Berry. The constructive semantics of Esterel, draft version 2.0. ftp://ftp-sop. inria.fr/meije/esterel/papers/constructiveness.ps.gz, 22 May 1996.
J.R. Gagné and J. Plaice. A non-standard temporal deductive database system. Journal of Symbolic Computation, 22:649–664, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gagné, JR., Plaice, J. (1997). The non-standard semantics of Esterel. In: Shyamasundar, R.K., Ueda, K. (eds) Advances in Computing Science — ASIAN'97. ASIAN 1997. Lecture Notes in Computer Science, vol 1345. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63875-X_72
Download citation
DOI: https://doi.org/10.1007/3-540-63875-X_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63875-9
Online ISBN: 978-3-540-69658-2
eBook Packages: Springer Book Archive