11. CONCUR 2000: Pennsylvania State University, Pennsylvania, USA

Catuscia Palamidessi (Ed.): CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Lecture Notes in Computer Science 1877 Springer 2000, ISBN 3-540-67897-2

Invited Talks

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Shankar00
- ask others
Natarajan Shankar: Combining Theorem Proving and Model Checking through Symbolic Analysis. 1-16
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Brinksma00
- ask others
Ed Brinksma: Verification Is Experimentation! 17-24
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Stark00
- ask others
Eugene W. Stark: Compositional Performance Analysis Using Probabilistic I/O Automata. 25-28
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Sangiovanni-VincentelliSL00
- ask others
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno: Formal Models for Communication-Based Design. 29-47

Invited Tutorials

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/NicolaFP00
- ask others
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Programming Access Control: The KLAIM Experience. 48-65
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Alur00
- ask others
Rajeev Alur: Exploiting Hierarchical Structure for Efficient Formal Verification. 66-68
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Gardner00
- ask others
Philippa Gardner: From Process Calculi to Process Frameworks. 69-88
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Ramakrishnan00
- ask others
C. R. Ramakrishnan: Verification Using Tabled Logic Programming. 89-91

Accepted Papers

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KupfermanMTV00
- ask others
Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. 92-107
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Heljanko00
- ask others
Keijo Heljanko: Model Checking with Finite Complete Prefixes Is PSPACE-Complete. 108-122
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KwiatkowskaNSS00
- ask others
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. 123-137
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/CassezL00
- ask others
Franck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. 138-152
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/EtessamiH00
- ask others
Kousha Etessami, Gerard J. Holzmann: Optimizing Büchi Automata. 153-167
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BrunsG00
- ask others
Glenn Bruns, Patrice Godefroid: Generalized Model Checking: Reasoning about Partial State Spaces. 168-182
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/IbarraBS00
- ask others
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. 183-198
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Negulescu00
- ask others
Radu Negulescu: Process Spaces. 199-213
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BoerEHM00
- ask others
Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-Agent Systems. 214-228
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Abraham-MummB00
- ask others
Erika Ábrahám-Mumm, Frank S. de Boer: Proof-Outlines for Threads in Java. 229-242
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/LeiferM00
- ask others
James J. Leifer, Robin Milner: Deriving Bisimulation Congruences for Reactive Systems. 243-258
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BruniFMM00
- ask others
Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari: Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. 259-274
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/UlidowskiY00
- ask others
Irek Ulidowski, Shoji Yuen: Process Languages for Rooted Eager Bisimulation. 275-289
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Rensink00
- ask others
Arend Rensink: Action Contraction. 290-304
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BernardoC00
- ask others
Marco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. 305-319
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/AbdullaBIJ00
- ask others
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson: Reasoning about Probabilistic Lossy Channel Systems. 320-333
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/PhilippouLS00
- ask others
Anna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. 334-349
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Mislove00
- ask others
Michael W. Mislove: Nondeterminism and Probabilistic Choice: Obeying the Laws. 350-364
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/CardelliGG00
- ask others
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. 365-379
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/AmadioL00
- ask others
Roberto M. Amadio, Denis Lugiez: On the Reachability Problem in Cryptographic Protocols. 380-394
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Jurjens00
- ask others
Jan Jürjens: Secure Information Flow for Concurrent Processes. 395-409
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KhomenkoK00
- ask others
Victor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. 410-425
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KuskeM00
- ask others
Dietrich Kuske, Rémi Morin: Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets. 426-441
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BaldanBCP00
- ask others
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. 442-457
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/AlfaroHM00
- ask others
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. 458-473
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/RavaraV00
- ask others
António Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. 474-488
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KobayashiSS00
- ask others
Naoki Kobayashi, Shin Saito, Eijiro Sumii: An Implicitly-Typed Deadlock-Free Process Calculus. 489-503
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BugliesiCC00
- ask others
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. 504-520
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/MukundKS00
- ask others
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni: Synthesizing Distributed Finite-State Systems from MSCs. 521-535
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Kuske00
- ask others
Dietrich Kuske: Emptiness Is Decidable for Asynchronous Cellular Machines. 536-551
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Charron-BostTB00
- ask others
Bernadette Charron-Bost, Sam Toueg, Anindya Basu: Revisiting Safety and Liveness in the Context of Failures. 552-565
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/FinkelIS00
- ask others
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre: Well-Abstracted Transition Systems. 566-580
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/LazicN00
- ask others
Ranko Lazic, David Nowak: A Unifying Approach to Data-Independence. 581-595
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/FuY00
- ask others
Yuxi Fu, Zhenrong Yang: Chi Calculus with Mismatch. 596-610