No label defined (Q4337610)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Mazurkiewicz, Antoni}, Prefix function view of states and events, 1-23 [Zbl 0883.68062] \textit{Thomas, Wolfgang}, Elements of an automata theory over partial orders, 25-40 [Zbl 0882.54017] \textit{Shields, M. W.}, Algebraic manipulations and vector languages, 41-57 [Zbl 0882.68095] \textit{Katz, Shmuel}, Refinement with global equivalence proofs in temporal logic, 59-78 [Zbl 0883.68088] \textit{Penczek, Wojciech; Srebrny, Marian}, A complete axiomatization of a first-order temporal logic over trace systems, 79-97 [Zbl 0883.68089] \textit{Reisig, W.}, Interleaved progress concurrent progress and local progress, 99-115 [Zbl 0883.68058] \textit{Plotkin, Gordon; Pratt, Vaughan}, Teams can see pomsets. (Preliminary version), 117-128 [Zbl 0880.68082] \textit{Winskel, Glynn; Nielsen, Mogens}, Presheaves as transition systems, 129-140 [Zbl 0880.68096] \textit{Baier, Christel; Kwiatkowska, Marta}, On topological hierarchies of temporal properties, 141-170 [Zbl 0887.68032] \textit{Mukund, Madhavan; Thiagarajan, P. S.}, Linear time temporal logics over Mazurkiewicz traces, 171-201 [Zbl 0882.68089] \textit{Meyer, Albert R.; Rabinovich, Alexander}, A solution of an interleaving decision problem by a partial order technique, 203-211 [Zbl 0879.68070] \textit{Valmari, Antti}, Stubborn set methods for process algebras, 213-231 [Zbl 0882.68090] \textit{Peled, Doron}, Partial order reduction: Linear and branching temporal logics and process algebras, 233-257 [Zbl 0883.68090] \textit{Montanari, Ugo; Pistore, Marco}, History dependent verification for partial order systems, 259-272 [Zbl 0883.68099] \textit{Hildebrandt, Thomas T.; Sassone, Vladimiro}, Transition systems with independence and multi-arcs, 273-288 [Zbl 0883.68085] \textit{Godefroid, Patrice}, On the costs and benefits of using partial-order methods for the verification of concurrent systems. (Invited paper), 289-303 [Zbl 0883.68057] \textit{Best, Eike}, Partial order verification with PEP, 305-328 [Zbl 1114.68350] \textit{Luckham, David C.}, Rapide: A language and toolset for simulation of distributed systems by partial orderings of events, 329-357 [Zbl 0883.68002]