Denotational semantics of nets with nondeterminism

Authors:
J N Kok
Affiliations:
-
Venue:
Proc. of the European symposium on programming on ESOP 86
Year:
1986

Citing 0
Cited 3

Concurrent transition system semantics of process networks

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A fully abstract trace model for dataflow networks

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract trace model for dataflow and asynchronous networks

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract