Volume 13, 1981
Special Issue on Semantics of Concurrent Computation
- William W. Wadge:
An Extensional Treatment of Dataflow Deadlock.
3-15
- Nancy A. Lynch, Michael J. Fischer:
On Describing the Behavior and Implementation of Distributed Systems.
17-43
- Amir Pnueli:
The Temporal Semantics of Concurrent Programs.
45-60
- Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.
61-83
- Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
Petri Nets, Event Structures and Domains, Part I.
85-108
- Hartmann J. Genrich, Kurt Lautenbach:
System Modelling with High-Level Petri Nets.
109-136
- Howard Straubing:
A Generalization of the Schützenberger Product of Finite Monoids.
137-150
- Joseph E. Stoy:
The Congruence of two Programming Language Definitions.
151-174
- David Harel:
On the Total Correctness of Nondeterministic Programs.
175-192
- Jean H. Gallier:
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I.
193-223
- Warren D. Goldfarb:
The Undecidability of the Second-Order Unification Problem.
225-230
- Wolfgang Thomas:
Remark on the Star-Height-Problem.
231-237
- Jean H. Gallier:
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II.
239-270
- Erwin Engeler:
Generalized Galois Theory and its Application to Complexity.
271-293
- Eitan M. Gurari, Oscar H. Ibarra:
The Complexity of the Equivalence Problem for two Characterizations of Presburger Sets.
295-314
- Friedhelm Meyer auf der Heide:
A Comparison of two Variations of a Pebble Game on Graphs.
315-322
- Ernst L. Leiss:
Succint Representation of Regular Languages by Boolean Automata.
323-330
- Zvi Galil, Joel I. Seiferas:
Linear-Time String-Matching Using only a Fixed Number of Local Storage Locations.
331-336
Copyright © Fri Mar 12 17:33:05 2010
by Michael Ley (ley@uni-trier.de)
