60. Birthday: Grzegorz Rozenberg 2002

@proceedings{DBLP:conf/birthday/2002rozenberg,
  editor    = {Wilfried Brauer and
               Hartmut Ehrig and
               Juhani Karhum{\"a}ki and
               Arto Salomaa},
  title     = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
               [on occasion of his 60th birthday, March 14, 2002]},
  booktitle = {Formal and Natural Computing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2300},
  year      = {2002},
  isbn      = {3-540-43190-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Words, Languages, Automata

• Jean Berstel, Luc Boasson:
  Balanced Grammars and Their Languages. 3-25
  Electronic Edition (Springer LINK) BibTeX
• Volker Diekert, Paul Gastin:
  Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids. 26-38
  Electronic Edition (Springer LINK) BibTeX
• Joost Engelfriet:
  The Delta Operation: From Strings to Trees to Strings. 39-56
  Electronic Edition (Springer LINK) BibTeX
• Vesa Halava, Tero Harju:
  Infinite Solutions of Marked Post Correspondence Problem. 57-68
  Electronic Edition (Springer LINK) BibTeX
• Juhani Karhumäki, Ion Petre:
  The Branching Point Approach to Conway's Problem. 69-76
  Electronic Edition (Springer LINK) BibTeX
• Aldo de Luca:
  A Survey of Some Quantitative Approaches to the Notion of Information. 77-95
  Electronic Edition (Springer LINK) BibTeX
• Alexandru Mateescu, Arto Salomaa:
  Nondeterministic Trajectories. 96-106
  Electronic Edition (Springer LINK) BibTeX
• Antonio Restivo, Sergio Salemi:
  Binary Patterns in Infinite Binary Words. 107-118
  Electronic Edition (Springer LINK) BibTeX

Graph Transformations

• Hans-Jörg Kreowski:
  A Sight-seeing Tour of the Computational Landscape of Graph Transformation. 119-137
  Electronic Edition (Springer LINK) BibTeX
• Dirk Janssens:
  Local Action Systems and DPO Graph Transformation. 138-157
  Electronic Edition (Springer LINK) BibTeX
• Paolo Baldan, Andrea Corradini, Ugo Montanari:
  Bisimulation Equivalences for Graph Grammars. 158-190
  Electronic Edition (Springer LINK) BibTeX

Petri Nets

• Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
  High-Level Net Processes. 191-219
  Electronic Edition (Springer LINK) BibTeX
• Maurice H. ter Beek, H. C. M. Kleijn:
  Petri Net Control for Grammar Systems. 220-243
  Electronic Edition (Springer LINK) BibTeX
• P. S. Thiagarajan:
  Regular Event Structures and Finite Petri Nets: A Conjecture. 244-256
  Electronic Edition (Springer LINK) BibTeX

Concurrent Computing

• Gregor Engels, Luuk Groenewegen:
  Towards Team-Automata-Driven Object-Oriented Collaborative Work. 257-276
  Electronic Edition (Springer LINK) BibTeX
• Javier Esparza:
  Grammars as Processes. 277-297
  Electronic Edition (Springer LINK) BibTeX
• Mogens Nielsen, Frank D. Valencia:
  Temporal Concurrent Constraint Programming: Applications and Behavior. 298-324
  Electronic Edition (Springer LINK) BibTeX

Molecular Computing

• Paolo Bottoni, Anna Labella, Carlos Martín-Vide, Gheorghe Paun:
  Rewriting P Systems with Conditional Communication. 325-353
  Electronic Edition (Springer LINK) BibTeX
• Tom Head:
  An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation. 354-360
  Electronic Edition (Springer LINK) BibTeX
• Hendrik Jan Hoogeboom, Nike van Vugt:
  Upper Bounds for Restricted Splicing. 361-375
  Electronic Edition (Springer LINK) BibTeX
• Lila Kari, Rob Kitto, Gabriel Thierrin:
  Codes, Involutions, and DNA Encodings. 376-393
  Electronic Edition (Springer LINK) BibTeX
• David M. Prescott:
  DNA Manipulations in Ciliates. 394-417
  Electronic Edition (Springer LINK) BibTeX
• Takashi Yokomori, Yasubumi Sakakibara, Satoshi Kobayashi:
  A Magic Pot : Self-assembly Computation Revisited. 418-430
  Electronic Edition (Springer LINK) BibTeX