CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1243. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of 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.