- Ugo Montanari, Marco Pistore
:
An Introduction to History Dependent Automata. HOOTS 1997: 170-188 - Ugo Montanari, Carolyn L. Talcott:
Can Actors and pi-Agents Live Together? HOOTS 1997: 189-196 - J. Gregory Morrisett, Robert Harper:
Typed Closure Conversion for Recursively-Defined Functions. HOOTS 1997: 230-241 - Flemming Nielson, Hanne Riis Nielson:
Flow Logic and Operational Semantics. HOOTS 1997: 150-169 - Andrew M. Pitts
:
Parametric Polymorphism and Operational Equivalence. HOOTS 1997: 2-27 - Dave Sands:
Computing with Contexts: A simple approach. HOOTS 1997: 134-149 - Scott F. Smith:
Specification Diagrams for Actor Systems. HOOTS 1997: 197 - Allen Stoughton:
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. HOOTS 1997: 122-133 - Glynn Winskel:
An Operational Understanding of Bisimulation from Open Maps. HOOTS 1997: 50 - Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997. Electronic Notes in Theoretical Computer Science 10, Elsevier 1997 [contents]