ask others

Theoretical Computer Science, Volume 13

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Theoretical Computer Science

Volume 13, 1981

Special Issue on Semantics of Concurrent Computation

- view
- export record
  dblp key:
  - journals/tcs/Wadge81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wadge81
William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. 3-15
- view
- export record
  dblp key:
  - journals/tcs/LynchF81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LynchF81
Nancy A. Lynch, Michael J. Fischer:
On Describing the Behavior and Implementation of Distributed Systems. 17-43
- view
- export record
  dblp key:
  - journals/tcs/Pnueli81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pnueli81
Amir Pnueli:
The Temporal Semantics of Concurrent Programs. 45-60
- view
- export record
  dblp key:
  - journals/tcs/Maggiolo-SchettiniWW81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Maggiolo-SchettiniWW81
Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 61-83
- view
- export record
  dblp key:
  - journals/tcs/NielsenPW81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NielsenPW81
Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel:
Petri Nets, Event Structures and Domains, Part I. 85-108
- view
- export record
  dblp key:
  - journals/tcs/GenrichL81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GenrichL81
Hartmann J. Genrich, Kurt Lautenbach:
System Modelling with High-Level Petri Nets. 109-136
- view
- export record
  dblp key:
  - journals/tcs/Straubing81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Straubing81
Howard Straubing:
A Generalization of the Schützenberger Product of Finite Monoids. 137-150
- view
- export record
  dblp key:
  - journals/tcs/Stoy81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Stoy81
Joseph E. Stoy:
The Congruence of two Programming Language Definitions. 151-174
- view
- export record
  dblp key:
  - journals/tcs/Harel81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Harel81
David Harel:
On the Total Correctness of Nondeterministic Programs. 175-192
- view
- export record
  dblp key:
  - journals/tcs/Gallier81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gallier81
Jean H. Gallier:
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I. 193-223
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Goldfarb81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Goldfarb81
Warren D. Goldfarb:
The Undecidability of the Second-Order Unification Problem. 225-230
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Thomas81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Thomas81
Wolfgang Thomas:
Remark on the Star-Height-Problem. 231-237
- view
- export record
  dblp key:
  - journals/tcs/Gallier81a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gallier81a
Jean H. Gallier:
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II. 239-270
- view
- export record
  dblp key:
  - journals/tcs/Engeler81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Engeler81
Erwin Engeler:
Generalized Galois Theory and its Application to Complexity. 271-293
- view
- export record
  dblp key:
  - journals/tcs/GurariI81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GurariI81
Eitan M. Gurari, Oscar H. Ibarra:
The Complexity of the Equivalence Problem for two Characterizations of Presburger Sets. 295-314
- view
- export record
  dblp key:
  - journals/tcs/Heide81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Heide81
Friedhelm Meyer auf der Heide:
A Comparison of two Variations of a Pebble Game on Graphs. 315-322
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Leiss81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Leiss81
Ernst L. Leiss:
Succint Representation of Regular Languages by Boolean Automata. 323-330
- view
- export record
  dblp key:
  - journals/tcs/GalilS81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GalilS81
Zvi Galil, Joel I. Seiferas:
Linear-Time String-Matching Using only a Fixed Number of Local Storage Locations. 331-336

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.