×

Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. (English) Zbl 1132.68013

Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). viii, 332 p. (2007).

Show indexed articles as search result.

Reprint in book format of the special issue of Fundam. Inform. 80, No. 1–3 (2007).
The articles of this volume will be reviewed individually.
Indexed articles:
Diekert, Volker; Horsch, Martin; Kufleitner, Manfred, On first-order fragments for Mazurkiewicz traces, 1-29 [Zbl 1137.03315]
Bernardinello, Luca; Monticelli, Elena; Pomello, Lucia, On preserving structural and behavioural properties by composing net systems on interfaces, 31-47 [Zbl 1137.68443]
Billington, Jonathan; Han, Bing, Formalising TCP’s data transfer service language: a symbolic automaton and its properties, 49-74 [Zbl 1137.68324]
Best, Eike; Darondeau, Philippe; Wimmel, Harro, Making Petri nets safe and free of internal transitions, 75-90 [Zbl 1137.68444]
Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro, Static BiLog; a unifying language for spatial structures, 91-110 [Zbl 1137.03314]
Engelfriet, Joost; Hoogeboom, Hendrik Jan, Finitary compositions of two-way finite-state transductions, 111-123 [Zbl 1137.68422]
Carette, Jacques; Janicki, Ryszard, Computing properties of numerical imperative programs by symbolic computation, 125-146 [Zbl 1137.68628]
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca, On communicating automata with bounded channels, 147-167 [Zbl 1137.68447]
Gastin, Paul; Kuske, Dietrich, Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces, 169-197 [Zbl 1137.68446]
Kleijn, Jetty; Koutny, Maciej, Processes of Petri nets with range testing, 199-219 [Zbl 1137.68450]
Chalopin, Jérémie; Métivier, Yves, An efficient message passing election algorithm based on Mazurkiewicz’s algorithm, 221-246 [Zbl 1137.68326]
Moshkov, Mikhail Ju.; Skowron, Andrzej; Suraj, Zbigniew, On minimal rule sets for almost all binary information systems, 247-258 [Zbl 1137.68618]
Ochmański, Edward; Pieckowska, Joanna, On ethics of Mazurkiewicz traces, 259-272 [Zbl 1137.68451]
Reisig, Wolfgang, The decent philosophers: an exercise in concurrent behaviour, 273-281 [Zbl 1137.68453]
Wang, Xu; Kwiatkowska, Marta, On process-algebraic verification of asynchronous circuits, 283-310 [Zbl 1137.68456]
Winkowski, Józef, Towards a framework for modelling behaviours of hybrid systems, 311-332 [Zbl 1137.68457]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Biographic References:

Marzurkiewicz, Antoni
PDFBibTeX XMLCite