scientific article; zbMATH DE number 1012604
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
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]
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4337610)
