This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C.M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom.

Keywords

Bibliographic Information

Book Title: CONCUR'93
Book Subtitle: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Editors: Eike Best
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57208-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-57208-4Published: 13 August 1993
eBook ISBN: 978-3-540-47968-0Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 550
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Logics and Meanings of Programs, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Programming Techniques

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (37 papers)

Front Matter

About this book