CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings / Antoni Mazurkiewicz, Józef Winkowski, eds.
| Author/creator | International Conference on Concurrency Theory |
| Other author | Mazurkiewicz, Antoni. |
| Other author | Winkowski, Józef, 1934- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1997. |
| Description | viii, 420 pages : illustrations ; 24 cm. |
| Supplemental Content | SpringerLink |
| Supplemental Content | SpringerLink |
| Supplemental Content | eBook available for UOIT via SpringerLink. Click link to access |
| Subjects |
| Series | Lecture notes in computer science ; 1243 Lecture notes in computer science ; 1243. ^A466336 |
| Contents | Recent developments in the mathematics of reactive systems / Jeremy Gunawardena -- Partial-order reduction in the weak modal mu-calculus / Y.S. Ramakrishna, Scott A. Smolka -- Cyclic vector languages / Michael W. Shields -- A product version of dynamic linear time temporal logic / Jesper G. Henriksen, P.S. Thiagarajan -- Reasoning about cryptographic protocols in the Spi calculus / Martin Abadi, Andrew D. Gordon -- Modularity for timed and hybrid systems / Rajeev Alur, Thomas A. Henzinger -- A universal reactive machine / Henrik Reif Andersen, Simon Mork, Morten Ulrik Sorensen -- Bounded stacks, bags and queues / Jos C.M. Baeten, Jan A. Bergstra -- Adding partial orders to linear temporal logic / Girish Bhat, Doron Peled -- Reachability analysis of pushdown automata / Ahmed Bouajjani, Javier Esparza, Oded Maler -- Synthesis of nets with inhibitor arcs / Nadia Busi, G. Michele Pinna -- An algebraic theory of multiple clocks / Rance Cleaveland, Gerald Luttgen, Michael Mendler -- Horizontal and vertical structuring techniques for statecharts / Hartmut Ehrig [and others] -- Implicit typing a la ML for the join-calculus / Cedric Fournet [and others] -- Proving safety properties of infinite state systems by compilation into Presburger arithmetic / Laurent Fribourg, Hans Olsen -- Axiomatizing flat iteration / Rob J. van Glabbeek -- Probabilistic concurrent constraint programming / Vineet Gupta, Radha Jagadeesan, Vijay Saraswat -- On the complexity of verifying concurrent transition systems / David Harel, Orna Kupferman, Moshe Y. Vardi -- Fair simulation / Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani -- High level expressions with their SOS semantics / Hanna Klaudel, Robert-C. Riemann -- How to parallelize sequential processes / Antonin Kucera -- Causal ambiguity and partial orders in event structures / Rom Langerak, Ed Brinksma, Joost-Pieter Katoen -- Model checking PA-processes / Richard Mayr -- Bisimulation and propositional intuitionistic logic / Anna Patterson -- A rigorous analysis of concurrent operations on b-trees / Anna Philippou, David Walker -- First-order axioms for asynchrony / Peter Selinger -- On implementations and semantics of a concurrent programming language / Peter Sewell -- Algebraic characterization of Petri net pomset semantics / Harro Wimmel, Lutz Priese. |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| Genre/form | Kongress Warschau 1997. |
| Genre/form | Conference papers and proceedings. |
| Genre/form | Warschau (1997) |
| ISBN | 3540631410 |
| ISBN | 9783540631415 |
| ISBN | 3540616047 |
| ISBN | 9783540616047 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.58 .I53 1997 | ✔ Available | Place Hold |