Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency - researchr publication related

researchr

You are not signed in
Sign in
Sign up

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker. Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. In Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, 6-8 May 1985, Providence, Rhode Island, USA. pages 252-262, ACM, 1985.

The following publications are possibly variants of this publication:

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform ConcurrencyJ. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker. jcss, 36(2):158-224, 1988.

A transition system semantics for the control-driven coordination language MANIFOLDMarcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro. TCS, 240(1):3-47, 2000. [doi]

Hiding in Stream Semantics of Uniform ConcurrencyJohn-Jules Ch. Meyer, Ernst-Rüdiger Olderog. ACTA, 27(5):381-397, 1989.

runs on WebDSL