default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 13
Volume 13, 1981
- 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 F. 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
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.
last updated on 2025-11-02 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
