Compactness in Semantics for Merge and Fair Merge

Authors:
J. W. de Bakker;Jeffery I. Zucker
Affiliations:
-;-
Venue:
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Year:
1983

Citing 0
Cited 3

Transition systems, infinitary languages and the semantics of uniform concurrency

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Idel Stream Algebra

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
De Bakker-Zucker processes revisited

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract