default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur1992.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/AghaMST92,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Rance Cleaveland},
title = {Towards a Theory of Actor Computation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {565--579},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084816},
doi = {10.1007/BFB0084816},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AghaMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCHDW92,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
David L. Dill and
Howard Wong{-}Toi},
editor = {Rance Cleaveland},
title = {Minimization of Timed Transition Systems},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {340--354},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084802},
doi = {10.1007/BFB0084802},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCHDW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BadouelD92,
author = {{\'{E}}ric Badouel and
Philippe Darondeau},
editor = {Rance Cleaveland},
title = {Structural Operational Specifications and the Trace Automata},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {302--316},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084799},
doi = {10.1007/BFB0084799},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BadouelD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB92,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Rance Cleaveland},
title = {Discrete Time Process Algebra},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {401--420},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084806},
doi = {10.1007/BFB0084806},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenBS92,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Scott A. Smolka},
editor = {Rance Cleaveland},
title = {Axiomization Probabilistic Processes: {ACP} with Generative Probabililties
(Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {472--485},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084810},
doi = {10.1007/BFB0084810},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BorealeN92,
author = {Michele Boreale and
Rocco De Nicola},
editor = {Rance Cleaveland},
title = {Testing Equivalence for Mobile Processes (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {2--16},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084779},
doi = {10.1007/BFB0084779},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BorealeN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoudolCHK92,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Rance Cleaveland},
title = {A Theory of Process with Localities (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {108--122},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084786},
doi = {10.1007/BFB0084786},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoudolCHK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brinksma92,
author = {Ed Brinksma},
editor = {Rance Cleaveland},
title = {On the Uniqueness of Fixpoints Modulo Observation Congruence},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {47--61},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084782},
doi = {10.1007/BFB0084782},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Brinksma92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BurkartS92,
author = {Olaf Burkart and
Bernhard Steffen},
editor = {Rance Cleaveland},
title = {Model Checking for Context-Free Processes},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {123--137},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084787},
doi = {10.1007/BFB0084787},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BurkartS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Christensen92,
author = {S{\o}ren Christensen},
editor = {Rance Cleaveland},
title = {Distributed Bisimularity is Decidable for a Class of Infinite State-Space
Systems},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {148--161},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084789},
doi = {10.1007/BFB0084789},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Christensen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChristensenHS92,
author = {S{\o}ren Christensen and
Hans H{\"{u}}ttel and
Colin Stirling},
editor = {Rance Cleaveland},
title = {Bisimulation Equivalence is Decidable for all Context-Free Processes},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {138--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084788},
doi = {10.1007/BFB0084788},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChristensenHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DaviesS92,
author = {Jim Davies and
Steve A. Schneider},
editor = {Rance Cleaveland},
title = {Using {CSP} to Verify a Timed Protocol over a Fair Medium},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {355--369},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084803},
doi = {10.1007/BFB0084803},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DaviesS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/German92,
author = {Steven M. German},
editor = {Rance Cleaveland},
title = {Programming in a General Model of Synchronization},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {534--549},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084814},
doi = {10.1007/BFB0084814},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/German92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GerthKS92,
author = {Rob Gerth and
Ruurd Kuiper and
John Segers},
editor = {Rance Cleaveland},
title = {Interface Refinement in Reactive Systems (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {77--93},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084784},
doi = {10.1007/BFB0084784},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GerthKS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoltzKP92,
author = {Ursula Goltz and
Ruurd Kuiper and
Wojciech Penczek},
editor = {Rance Cleaveland},
title = {Propositional Temporal Logics and Equivalences},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {222--236},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084794},
doi = {10.1007/BFB0084794},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GoltzKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoubaultJ92,
author = {Eric Goubault and
Thomas P. Jensen},
editor = {Rance Cleaveland},
title = {Homology of Higher Dimensional Automata},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {254--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084796},
doi = {10.1007/BFB0084796},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GoubaultJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteM92,
author = {Jan Friso Groote and
Faron Moller},
editor = {Rance Cleaveland},
title = {Verification of Parallel Systems via Decomposition},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {62--76},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084783},
doi = {10.1007/BFB0084783},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Hennessy92,
author = {Matthew Hennessy},
editor = {Rance Cleaveland},
title = {Concurrent Testing of Processes (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {94--107},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084785},
doi = {10.1007/BFB0084785},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Hennessy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JategaonkarM92,
author = {Lalita Jategaonkar and
Albert R. Meyer},
editor = {Rance Cleaveland},
title = {Testing Equivalence for Petri Nets with Action Refinement: Preliminary
Report},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {17--31},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084780},
doi = {10.1007/BFB0084780},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JategaonkarM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KaivolaV92,
author = {Roope Kaivola and
Antti Valmari},
editor = {Rance Cleaveland},
title = {The Weakest Compositional Semantic Equivalence Preserving Nexttime-less
Linear temporal Logic},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {207--221},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084793},
doi = {10.1007/BFB0084793},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KaivolaV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Karjoth92,
author = {G{\"{u}}nter Karjoth},
editor = {Rance Cleaveland},
title = {Implementing {LOTOS} Specifications by Communicating State Machines},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {386--400},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084805},
doi = {10.1007/BFB0084805},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Karjoth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Klusener92,
author = {Steven Klusener},
editor = {Rance Cleaveland},
title = {The Silent Step in Time},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {421--435},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084807},
doi = {10.1007/BFB0084807},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Klusener92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LampsonLS92,
author = {Butler W. Lampson and
Nancy A. Lynch and
J{\o}rgen F. S{\o}gaard{-}Andersen},
editor = {Rance Cleaveland},
title = {At-Most-Once Message Delivery. {A} Case Study in Algorithm Verification},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {317--324},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084800},
doi = {10.1007/BFB0084800},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LampsonLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LarsenS92,
author = {Kim Guldstrand Larsen and
Arne Skou},
editor = {Rance Cleaveland},
title = {Compositional Verification of Probabilistic Processes},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {456--471},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084809},
doi = {10.1007/BFB0084809},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LarsenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Maraninchi92,
author = {Florence Maraninchi},
editor = {Rance Cleaveland},
title = {Operational and Compositional Semantics of Synchronous Automaton Compositions},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {550--564},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084815},
doi = {10.1007/BFB0084815},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Maraninchi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeseguerMS92,
author = {Jos{\'{e}} Meseguer and
Ugo Montanari and
Vladimiro Sassone},
editor = {Rance Cleaveland},
title = {On the Semantics of Petri Nets},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {286--301},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084798},
doi = {10.1007/BFB0084798},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeseguerMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Milner92,
author = {Robin Milner},
editor = {Rance Cleaveland},
title = {The Polyadic Pi-calculus (Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {1},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084778},
doi = {10.1007/BFB0084778},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Milner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowS92,
author = {Joachim Parrow and
Peter Sj{\"{o}}din},
editor = {Rance Cleaveland},
title = {Multiway Synchronization Verified with Coupled Simulation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {518--533},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084813},
doi = {10.1007/BFB0084813},
timestamp = {Thu, 22 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ParrowS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Peled92,
author = {Doron A. Peled},
editor = {Rance Cleaveland},
title = {Sometimes 'Some' is as Good as 'All'},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {192--206},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084792},
doi = {10.1007/BFB0084792},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Peled92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Pnueli92,
author = {Amir Pnueli},
editor = {Rance Cleaveland},
title = {How Vital is Liveness? Verifying Timing Properties of Reactive and
Hybrid Systems (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {162--175},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084790},
doi = {10.1007/BFB0084790},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Pnueli92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Pratt92,
author = {Vaughan R. Pratt},
editor = {Rance Cleaveland},
title = {The Duality of TIme and Information},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {237--253},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084795},
doi = {10.1007/BFB0084795},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Pratt92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rabinovich92,
author = {Alexander Moshe Rabinovich},
editor = {Rance Cleaveland},
title = {Logic of Trace Languages (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {504--517},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084812},
doi = {10.1007/BFB0084812},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rabinovich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ReingoldWZ92,
author = {Nick Reingold and
Da{-}Wei Wang and
Lenore D. Zuck},
editor = {Rance Cleaveland},
title = {Games {I/O} Automata Play (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {325--339},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084801},
doi = {10.1007/BFB0084801},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ReingoldWZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rensink92,
author = {Arend Rensink},
editor = {Rance Cleaveland},
title = {Posets for Configurations!},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {269--285},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084797},
doi = {10.1007/BFB0084797},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rensink92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SangiorgiM92,
author = {Davide Sangiorgi and
Robin Milner},
editor = {Rance Cleaveland},
title = {The Problem of "Weak Bisimulation up to"},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {32--46},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084781},
doi = {10.1007/BFB0084781},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SangiorgiM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Shapiro92,
author = {Ehud Shapiro},
editor = {Rance Cleaveland},
title = {Embeddings Among Concurrent Programming Languages (Preliminary Version)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {486--503},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084811},
doi = {10.1007/BFB0084811},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Shapiro92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stomp92,
author = {Frank A. Stomp},
editor = {Rance Cleaveland},
title = {Preserving Specific Properties in Programm Development: How to Debug
Programs (Conference Version)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {176--191},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084791},
doi = {10.1007/BFB0084791},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Stomp92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VaandragerL92,
author = {Frits W. Vaandrager and
Nancy A. Lynch},
editor = {Rance Cleaveland},
title = {Action Transducers and Timed Automata},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {436--455},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084808},
doi = {10.1007/BFB0084808},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/VaandragerL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WeinbergZ92,
author = {Henri B. Weinberg and
Lenore D. Zuck},
editor = {Rance Cleaveland},
title = {Timed Ethernet: Real-Time Formal Specification of Ethernet},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {370--385},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084804},
doi = {10.1007/BFB0084804},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/WeinbergZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1992,
editor = {Rance Cleaveland},
title = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084777},
doi = {10.1007/BFB0084777},
isbn = {3-540-55822-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-03-12 00:10 CET from data curated 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:
