default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd CONCUR 1992: Stony Brook, NY, USA
- 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
- Robin Milner:
The Polyadic Pi-calculus (Abstract). 1
Semantics I
- Michele Boreale
, Rocco De Nicola:
Testing Equivalence for Mobile Processes (Extended Abstract). 2-16 - Lalita Jategaonkar, Albert R. Meyer:
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. 17-31
Proof Techniques
- Davide Sangiorgi, Robin Milner:
The Problem of "Weak Bisimulation up to". 32-46 - Ed Brinksma:
On the Uniqueness of Fixpoints Modulo Observation Congruence. 47-61
Modular Analysis
- Jan Friso Groote, Faron Moller:
Verification of Parallel Systems via Decomposition. 62-76 - Rob Gerth, Ruurd Kuiper, John Segers:
Interface Refinement in Reactive Systems (Extended Abstract). 77-93
True Concurrency
- Matthew Hennessy:
Concurrent Testing of Processes (Extended Abstract). 94-107 - Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract). 108-122
Decision Problems
- Olaf Burkart, Bernhard Steffen:
Model Checking for Context-Free Processes. 123-137 - Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for all Context-Free Processes. 138-147 - Søren Christensen:
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. 148-161
Invited Talk
- Amir Pnueli:
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). 162-175
Temporal Logic I
- Frank A. Stomp:
Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). 176-191 - Doron A. Peled:
Sometimes 'Some' is as Good as 'All'. 192-206
Temporal Logic II
- Roope Kaivola, Antti Valmari:
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. 207-221 - Ursula Goltz, Ruurd Kuiper, Wojciech Penczek:
Propositional Temporal Logics and Equivalences. 222-236
Invited Talk
- Vaughan R. Pratt:
The Duality of TIme and Information. 237-253
True Concurrency
- Eric Goubault, Thomas P. Jensen:
Homology of Higher Dimensional Automata. 254-268 - Arend Rensink:
Posets for Configurations! 269-285
True Concurrency III
- José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Petri Nets. 286-301 - Éric Badouel, Philippe Darondeau:
Structural Operational Specifications and the Trace Automata. 302-316
Invited Talk
- 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
- Nick Reingold, Da-Wei Wang, Lenore D. Zuck:
Games I/O Automata Play (Extended Abstract). 325-339 - Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi:
Minimization of Timed Transition Systems. 340-354
Applications
- Jim Davies, Steve A. Schneider:
Using CSP to Verify a Timed Protocol over a Fair Medium. 355-369 - Henri B. Weinberg, Lenore D. Zuck:
Timed Ethernet: Real-Time Formal Specification of Ethernet. 370-385 - Günter Karjoth:
Implementing LOTOS Specifications by Communicating State Machines. 386-400
Invited Talk
- Jos C. M. Baeten, Jan A. Bergstra:
Discrete Time Process Algebra. 401-420
Real-Time
- Steven Klusener:
The Silent Step in Time. 421-435 - Frits W. Vaandrager, Nancy A. Lynch:
Action Transducers and Timed Automata. 436-455
Probabilistic Processes
- Kim Guldstrand Larsen, Arne Skou:
Compositional Verification of Probabilistic Processes. 456-471 - Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). 472-485
Trace Semantics
- Ehud Shapiro:
Embeddings Among Concurrent Programming Languages (Preliminary Version). 486-503 - Alexander Moshe Rabinovich:
Logic of Trace Languages (Extended Abstract). 504-517
Synchronisation
- Joachim Parrow, Peter Sjödin:
Multiway Synchronization Verified with Coupled Simulation. 518-533 - Steven M. German:
Programming in a General Model of Synchronization. 534-549
Semantics II
- Florence Maraninchi:
Operational and Compositional Semantics of Synchronous Automaton Compositions. 550-564 - Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
Towards a Theory of Actor Computation. 565-579
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-02 22:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
