Browsing MIT by Subject "full abstraction"
Now showing items 1-1 of 1
-
A Fully Abstract Semantics for Event-Based Simulation
(1987-05-01)This paper shows that, provided circuits contain no zero-delay loops, a tight relationship, full abstraction, exists between a natural event-based operational semantics for circuits and a natural denotational semantics ...