The non-standard semantics of Esterel

  • Jean-Raymond Gagné
  • John Plaice
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1345)


  1. 1.
    G. Berry. The constructive semantics of Esterel, draft version 2.0. ftp://ftp-sop., 22 May 1996.Google Scholar
  2. 2.
    J.R. Gagné and J. Plaice. A non-standard temporal deductive database system. Journal of Symbolic Computation, 22:649–664, 1996.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Jean-Raymond Gagné
    • 1
  • John Plaice
    • 2
  1. 1.Département d'informatiqueUniversité LavalSainte-Foy (Québec)Canada
  2. 2.School of Computer Science and EngineeringUniversity of New South WalesSydneyAustralia

Personalised recommendations