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