Volume 49,
1987
- Masako Takahashi:
Brzozowski Hierarchy of omega-Languages.
1-12
- Craig C. Squier:
Units of Special Church-Rosser Monoids.
13-22
- Rainer Parchmann, Jürgen Duske:
Grammars, Derivation Modes and Properties of Indexed and Type-0 Languages.
23-42
- Michio Oyamaguchi:
The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable.
43-79
- Leonidas J. Guibas, Jorge Stolfi, Kenneth L. Clarkson:
Solving Related Two-and Three-Dimensional Linear Programming Problems in Logarithmic Time.
81-84
- J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
87-112
- Michael G. Main, Walter Bucher, David Haussler:
Applications of an Infinite Square-Free CO-CFL.
113-119
- Matthew Hennessy:
An Algebraic Theory of Fair Synchronous Communicating Processes.
121-143
- Luc Bougé:
Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP.
145-169
- Zvi Galil, Gad M. Landau, Mordechai M. Yung:
Distributed Algorithms in Synchronous Broadcasting Networks.
171-184
- Kim Guldstrand Larsen:
A Context Dependent Equivalence Between Processes.
184-215
- A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper:
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.
217-237
- Richard Cole:
Partitioning Point Sets in Arbitrary Dimension.
239-265
- Thomas G. Kurtz, Udi Manber:
A Probabilistic Distributed Algorithm for Set Intersection and its Analysis.
267-282
- Philippe Flajolet:
Analytic Models and Ambiguity of Context-Free Languages.
283-309
- Colin Stirling:
Modal Logics for Communicating Systems.
311-347
Copyright © Fri Mar 12 17:33:06 2010
by Michael Ley (ley@uni-trier.de)
