A Fully Abstract Semantics for Event-Based Simulation

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

Files in this item

Files	Size	Format	View
There are no files associated with this item.