Now showing items 1-1 of 1

    • A Fully Abstract Semantics for Event-Based Simulation 

      Hall, Robert J. (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 ...