Transition systems, infinitary languages and the semantics of uniform concurrency

Authors:
J W de Bakker;J J Meyer;E R Olderog;J I Zucker
Affiliations:
Centre for Mathematics and Computer Science & Free University of Amsterdam, Kruislaan 413, 1098 SJ Amsterdam;Free University of Amsterdam, de Boelelaan 1081, 1081 HV Amsterdam;Christian-Albrechts-Universität Institut für Informatik Olshausenstrasse 40 2300 Kiel 1;State University of New York, Department of Computer Science, Ruffalo, New York
Venue:
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Year:
1985

Citing 9
Cited 2

Connections between two theories of concurrency: metric spaces and synchronization trees

Information and Control
A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
A linear-history semantics for languages for distributed programming

Theoretical Computer Science
Formal Justification of a Proof System for Communicating Sequential Processes

Journal of the ACM (JACM)
Formal verification of parallel programs

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Specification-Oriented Semantics for Communicating Processes

Proceedings of the 10th Colloquium on Automata, Languages and Programming
Compactness in Semantics for Merge and Fair Merge

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Denotational semantics of concurrency

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing

Decidability of bisimulation equivalence for process generating context-free languages

Journal of the ACM (JACM)
Operational semantics of a parallel object-oriented language

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract