Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/5592Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Hall, Robert J. | - |
| dc.date | 2004-10-01T20:10:26Z | - |
| dc.date | 2004-10-01T20:10:26Z | - |
| dc.date | 1987-05-01 | - |
| dc.date.accessioned | 2013-10-09T02:40:12Z | - |
| dc.date.available | 2013-10-09T02:40:12Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-966 | - |
| dc.identifier | http://hdl.handle.net/1721.1/5592 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | 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 for circuits based on causal functions on value timelines. The paper also discusses what goes wrong if zero-delay loops are allowed, and illustrates the application of this semantic relationship to modeling questions. | - |
| dc.format | 17 p. | - |
| dc.format | 2325461 bytes | - |
| dc.format | 912315 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-966 | - |
| dc.subject | event-based simulation | - |
| dc.subject | full abstraction | - |
| dc.subject | denotationalssemantics | - |
| dc.title | A Fully Abstract Semantics for Event-Based Simulation | - |
| Appears in Collections: | MIT Items | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.