Publications about the Non-Deterministic Abstract Machine

Translation of The Common Formats of the Synchronous Languages

From the French Les formats communs des langages synchrones; Paris, Berry, Mignard, Couronne, Caspi, Halbwachs, Sorel, Benveniste, Gautier, Le Guernic, Dupont, Le Maire; INRIA No 157; June 1993.

• compress'ed PostScript; this will probably be too big for your printer.
• split compress'ed PostScript; take all the files main.XXX.Z.

Qualifying Exam; December 2 1993.

• First proposal talk
  • 1/page compress'ed PostScript.
  • 2x2/page compress'ed PostScript.
• First proposal
  • compress'ed PostScript.
• Second proposal
  • compress'ed PostScript.
• raw access.

On Interfacing Existing Hardware Description Languages to State-Space Exploration-Based Verification

Wendell C. Baker; June 1993.

• report compress'ed PostScript.
• talk compress'ed PostScript.

An Application of a Synchronous/Reactive Semantics to the VHDL Language

Wendell C. Baker; December 1992. Also available in hardcopy as a UCB ERL memo.

• compress'ed PostScript.
• gzip'ed PostScript.
• FrameMaker files (you need all of them)
  • report body.
  • table of contents.
  • book meta-file.
• raw access.