Full Abstraction for Nondeterministic Dataflow Networks
Permanent Link(s)
Collections
Author
Russell, James R.
Abstract
We discuss the problem of finding fully abstract semantic models for nondeterministic dataflow networks. We present the result that there exist nondeterministic networks using only bounded choice for which the input-output relation is not compositional. We go on to show that the trace semantics is fully abstract for all nondeterministic as well as deterministic networks.
Date Issued
1989-06
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR89-1022
Type
technical report