ask others

3. CONCUR 1992: Stony Brook, NY, USA

> Home > Conferences and Workshops > CONCUR

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/1992
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/1992
Rance Cleaveland:
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Lecture Notes in Computer Science 630, Springer 1992, ISBN 3-540-55822-5

Invited Lecture

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Milner92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Milner92
Robin Milner:
The Polyadic Pi-calculus (Abstract). 1

Semantics I

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BorealeN92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BorealeN92
Michele Boreale, Rocco De Nicola:
Testing Equivalence for Mobile Processes (Extended Abstract). 2-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/JategaonkarM92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/JategaonkarM92
Lalita Jategaonkar, Albert R. Meyer:
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. 17-31

Proof Techniques

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/SangiorgiM92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/SangiorgiM92
Davide Sangiorgi, Robin Milner:
The Problem of "Weak Bisimulation up to". 32-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Brinksma92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Brinksma92
Ed Brinksma:
On the Uniqueness of Fixpoints Modulo Observation Congruence. 47-61

Modular Analysis

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/GrooteM92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/GrooteM92
Jan Friso Groote, Faron Moller:
Verification of Parallel Systems via Decomposition. 62-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/GerthKS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/GerthKS92
Rob Gerth, Ruurd Kuiper, John Segers:
Interface Refinement in Reactive Systems (Extended Abstract). 77-93

True Concurrency

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Hennessy92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Hennessy92
Matthew Hennessy:
Concurrent Testing of Processes (Extended Abstract). 94-107
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BoudolCHK92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BoudolCHK92
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract). 108-122

Decision Problems

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BurkartS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BurkartS92
Olaf Burkart, Bernhard Steffen:
Model Checking for Context-Free Processes. 123-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ChristensenHS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/ChristensenHS92
Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for all Context-Free Processes. 138-147
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Christensen92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Christensen92
Søren Christensen:
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. 148-161

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Pnueli92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Pnueli92
Amir Pnueli:
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). 162-175

Temporal Logic I

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Stomp92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Stomp92
Frank A. Stomp:
Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). 176-191
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Peled92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Peled92
Doron A. Peled:
Sometimes 'Some' is as Good as 'All'. 192-206

Temporal Logic II

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/KaivolaV92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/KaivolaV92
Roope Kaivola, Antti Valmari:
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. 207-221
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/GoltzKP92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/GoltzKP92
Ursula Goltz, Ruurd Kuiper, Wojciech Penczek:
Propositional Temporal Logics and Equivalences. 222-236

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Pratt92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Pratt92
Vaughan R. Pratt:
The Duality of TIme and Information. 237-253

True Concurrency

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/GoubaultJ92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/GoubaultJ92
Eric Goubault, Thomas P. Jensen:
Homology of Higher Dimensional Automata. 254-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Rensink92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Rensink92
Arend Rensink:
Posets for Configurations! 269-285

True Concurrency III

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/MeseguerMS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/MeseguerMS92
José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Petri Nets. 286-301
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BadouelD92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BadouelD92
Eric Badouel, Philippe Darondeau:
Structural Operational Specifications and the Trace Automata. 302-316

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/LampsonLS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/LampsonLS92
Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen:
At-Most-Once Message Delivery. A Case Study in Algorithm Verification. 317-324

Automata

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ReingoldWZ92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/ReingoldWZ92
Nick Reingold, Da-Wei Wang, Lenore D. Zuck:
Games I/O Automata Play (Extended Abstract). 325-339
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/AlurCHDW92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/AlurCHDW92
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi:
Minimization of Timed Transition Systems. 340-354

Applications

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/DaviesS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/DaviesS92
Jim Davies, Steve Schneider:
Using CSP to Verify a Timed Protocol over a Fair Medium. 355-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/WeinbergZ92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/WeinbergZ92
Henri B. Weinberg, Lenore D. Zuck:
Timed Ethernet: Real-Time Formal Specification of Ethernet. 370-385
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Karjoth92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Karjoth92
Günter Karjoth:
Implementing LOTOS Specifications by Communicating State Machines. 386-400

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BaetenB92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BaetenB92
Jos C. M. Baeten, Jan A. Bergstra:
Discrete Time Process Algebra. 401-420

Real-Time

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Klusener92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Klusener92
Steven Klusener:
The Silent Step in Time. 421-435
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/VaandragerL92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/VaandragerL92
Frits W. Vaandrager, Nancy A. Lynch:
Action Transducers and Timed Automata. 436-455

Probabilistic Processes

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/LarsenS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/LarsenS92
Kim Guldstrand Larsen, Arne Skou:
Compositional Verification of Probabilistic Processes. 456-471
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BaetenBS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BaetenBS92
Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). 472-485

Trace Semantics

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Shapiro92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Shapiro92
Ehud Y. Shapiro:
Embeddings Among Concurrent Programming Languages (Preliminary Version). 486-503
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Rabinovich92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Rabinovich92
Alexander Moshe Rabinovich:
Logic of Trace Languages (Extended Abstract). 504-517

Synchronisation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ParrowS92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/ParrowS92
Joachim Parrow, Peter Sjödin:
Multiway Synchrinizaton Verified with Coupled Simulation. 518-533
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/German92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/German92
Steven M. German:
Programming in a General Model of Synchronization. 534-549

Semantics II

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Maraninchi92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Maraninchi92
Florence Maraninchi:
Operational and Compositional Semantics of Synchronous Automaton Compositions. 550-564
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/AghaMST92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/AghaMST92
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
Towards a Theory of Actor Computation. 565-579

maintained by

at