Formal and natural computing. Essays dedicated to Grzegorz Rozenberg (Q1604011)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Berstel, Jean; Boasson, Luc}, Balanced grammars and their languages, 3-25 [Zbl 1060.68051] \textit{Diekert, Volker; Gastin, Paul}, Safety and liveness properties for real traces and a direct translation from LTL to monoids, 26-38 [Zbl 1060.68077] \textit{Engelfriet, Joost}, The delta operation: From strings to trees to strings, 39-56 [Zbl 1060.68061] \textit{Halava, Vesa; Harju, Tero}, Infinite solutions of marked Post correspondence problem, 57-68 [Zbl 1060.03068] \textit{Karhumäki, Juhani; Petre, Ion}, The branching point approach to Conway's problem, 69-76 [Zbl 1060.68095] \textit{de Luca, Aldo}, A survey of some quantitative approaches to the notion of information, 77-95 [Zbl 1060.94500] \textit{Mateescu, Alexandru; Salomaa, Arto}, Nondeterministic trajectories, 96-106 [Zbl 1060.68063] \textit{Restivo, Antonio; Salemi, Sergio}, Binary patterns in infinite binary words, 107-116 [Zbl 1060.68098] \textit{Kreowski, Hans-Jörg}, A sight-seeing tour of the computational landscape of graph transformation, 119-137 [Zbl 1060.68054] \textit{Janssens, Dirk}, Local action systems and DPO graph transformation, 138-157 [Zbl 1060.68052] \textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo}, Bisimulation equivalences for graph grammars, 158-190 [Zbl 1060.68050] \textit{Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko}, High-level net processes, 191-219 [Zbl 1060.68078] \textit{ter Beek, Maurice; Kleijn, Jetty}, Petri net control for grammar systems, 220-243 [Zbl 1060.68058] \textit{Thiagarajan, P. S.}, Regular event structures and finite Petri nets: A conjecture, 244-253 [Zbl 1060.68082] \textit{Engels, Gregor; Groenewegen, Luuk}, Towards team-automata-driven object-oriented collaborative work, 257-276 [Zbl 1060.68607] \textit{Esparza, Javier}, Grammars as processes, 277-297 [Zbl 1060.68602] \textit{Nielsen, Mogens; Valencia, Frank D.}, Temporal concurrent constraint programming: Applications and behavior, 298-321 [Zbl 1060.68608] \textit{Bottoni, Paolo; Labella, Anna; Martín-Vide, Carlos; Păun, Gheorghe}, Rewriting P systems with conditional communication, 325-353 [Zbl 1060.68043] \textit{Head, Tom}, An aqueous algorithm for finding the bijections contained in a binary relation, 354-360 [Zbl 1060.68599] \textit{Hoogeboom, Hendrik Jan; van Vugt, Nikè}, Upper bounds for restricted splicing, 361-375 [Zbl 1060.68044] \textit{Kari, Lila; Kitto, Rob; Thierrin, Gabriel}, Codes, involutions, and DNA encodings, 376-393 [Zbl 1060.68600] \textit{Prescott, David M.}, DNA manipulations in ciliates, 394-417 [Zbl 1060.92505] \textit{Yokomori, Takashi; Sakakibara, Yasubumi; Kobayashi, Satoshi}, A magic pot: Self-assembly computation revisited, 418-429 [Zbl 1060.68601]