Transition systems, infinitary languages and the semantics of uniform concurrency

Abstract

Article Free Access Share on Transition systems, infinitary languages and the semantics of uniform concurrency Authors: J W de Bakker Centre for Mathematics and Computer Science & Free University of Amsterdam, Kruislaan 413, 1098 SJ Amsterdam Centre for Mathematics and Computer Science & Free University of Amsterdam, Kruislaan 413, 1098 SJ AmsterdamView Profile , J J Meyer Free University of Amsterdam, de Boelelaan 1081, 1081 HV Amsterdam Free University of Amsterdam, de Boelelaan 1081, 1081 HV AmsterdamView Profile , E R Olderog Christian-Albrechts-Universität Institut für Informatik Olshausenstrasse 40 2300 Kiel 1 Christian-Albrechts-Universität Institut für Informatik Olshausenstrasse 40 2300 Kiel 1View Profile , J I Zucker State University of New York, Department of Computer Science, Ruffalo, New York State University of New York, Department of Computer Science, Ruffalo, New YorkView Profile Authors Info & Claims STOC '85: Proceedings of the seventeenth annual ACM symposium on Theory of computingDecember 1985Pages 252–262https://doi.org/10.1145/22145.22174Published:01 December 1985Publication History 10citation252DownloadsMetricsTotal Citations10Total Downloads252Last 12 Months17Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF