Copyright © 1998 Published by Elsevier Science B.V.
Contribution
Linear dynamic Kahn networks are deterministic
Available online 20 June 1998.
Abstract
The (first part of the) Kahn principle states that networks with deterministic nodes are deterministic on the I/O level: for each network, different executions provided with the same input streams deliver the same output streams. The Kahn principle has thus far not been proved for dynamic, nondeterministic networks.
We consider a simple language L containing the fork-statement. For this language we introduce a nondeterministic transition system which defines all interleavings consisting of basic steps, for all possible executions of a program. We prove that, although on the execution level there is much nondeterminism, this nondeterminism disappears because all executions deliver the same output stream (or a prefix of it), given the same input stream. This proves the Kahn principle for linear, nondeterministic dynamic networks.
Author Keywords: Operational semantics; Transition system; Fork-statement; Kahn's principle; Dynamic networks






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)

and
on a path of the circuit if the 





