Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur1991.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/AcetoI91,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Theory of Testing for {ACP}},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {78--95},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_82},
doi = {10.1007/3-540-54430-5\_82},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/AcetoI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/America91,
author = {Pierre America},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Formal Techniques for Parallel Object-Oriented Languages},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {1--17},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_75},
doi = {10.1007/3-540-54430-5\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/America91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Real Space Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {96--110},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_83},
doi = {10.1007/3-540-54430-5\_83},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerKPR91,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {The Failure of Failures in a Paradigm for Asynchronous Communication},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {111--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_84},
doi = {10.1007/3-540-54430-5\_84},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerKPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerP91,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Embedding as a Tool for Language Comparison: On the {CSP} Hierarchy},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {127--141},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_85},
doi = {10.1007/3-540-54430-5\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoualiS91,
author = {Amar Bouali and
Robert de Simone},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Causal Models for Rational Algebraic Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {18--19},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_76},
doi = {10.1007/3-540-54430-5\_76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoualiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Camilleri91,
author = {Juanito Camilleri},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Conditional Operator for {CCS}},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {142--156},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_86},
doi = {10.1007/3-540-54430-5\_86},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Camilleri91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Drost91,
author = {Nicolien J. Drost},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Algebraic Formulations of Trace Theory},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {157--171},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_87},
doi = {10.1007/3-540-54430-5\_87},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Drost91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EsparzaS91,
author = {Javier Esparza and
Manuel Silva Su{\'{a}}rez},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Compositional Synthesis of Live and Bounded Free Choice Petri Nets},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {172--187},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_88},
doi = {10.1007/3-540-54430-5\_88},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/EsparzaS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FernandezM91,
author = {Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Tool Set for deciding Behavioral Equivalences},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {23--42},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_78},
doi = {10.1007/3-540-54430-5\_78},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FernandezM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FerrariM91,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {The Observation Algebra of Spatial Pomsets},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {188--202},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_89},
doi = {10.1007/3-540-54430-5\_89},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FerrariM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FrancezF91,
author = {Nissim Francez and
Ira R. Forman},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Synchrony Loosening Transformations for Interacting Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {203--219},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_90},
doi = {10.1007/3-540-54430-5\_90},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FrancezF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Goldman91,
author = {Kenneth J. Goldman},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Compositional Model for Layered Distributed Systems},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {220--234},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_91},
doi = {10.1007/3-540-54430-5\_91},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Goldman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Goltz91,
author = {Ursula Goltz},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Causality Based Models for the Design of Concurrent Systems},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {43--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_79},
doi = {10.1007/3-540-54430-5\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Goltz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteP91,
author = {Jan Friso Groote and
Alban Ponse},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Process Algebra with Guards - Combining Hoare Logic with Process Algebra
(Extended Abstract)},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {235--249},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_92},
doi = {10.1007/3-540-54430-5\_92},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrumbergL91,
author = {Orna Grumberg and
David E. Long},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Model Checking and Modular Verification},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {250--265},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_93},
doi = {10.1007/3-540-54430-5\_93},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrumbergL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Gunawardena91,
author = {Jeremy Gunawardena},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Geometric Logic, Causality and Event Structures},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {266--280},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_94},
doi = {10.1007/3-540-54430-5\_94},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Gunawardena91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JacquetM91,
author = {Jean{-}Marie Jacquet and
Lu{\'{\i}}s Monteiro},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Extended Horn Clauses: The Framework and Some Semantics},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {281--297},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_95},
doi = {10.1007/3-540-54430-5\_95},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JacquetM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JanickiK91,
author = {Ryszard Janicki and
Maciej Koutny},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Invariant Semantics of Nets with Inhibitor Arcs},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {317--331},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_97},
doi = {10.1007/3-540-54430-5\_97},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JanickiK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JanssenPZ91,
author = {Wil Janssen and
Mannes Poel and
Job Zwiers},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Action Systems and Action Refinement in the Development of Parallel
Systems - An Algebraic Approach},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {298--316},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_96},
doi = {10.1007/3-540-54430-5\_96},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JanssenPZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Jeffrey91,
author = {Alan Jeffrey},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Abstract Timed Observation and Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {332--345},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_98},
doi = {10.1007/3-540-54430-5\_98},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Jeffrey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Jonsson91,
author = {Bengt Jonsson},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Simulations Between Specifications of Distributed Systems},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {346--360},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_99},
doi = {10.1007/3-540-54430-5\_99},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Jonsson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KaivolaV91,
author = {Roope Kaivola and
Antti Valmari},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {361--375},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_100},
doi = {10.1007/3-540-54430-5\_100},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KaivolaV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Klusener91,
author = {Steven Klusener},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Completeness in Real Time Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {376--392},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_101},
doi = {10.1007/3-540-54430-5\_101},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Klusener91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Krishnan91,
author = {Padmanabhan Krishnan},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Distributed {CCS}},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {393--407},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_102},
doi = {10.1007/3-540-54430-5\_102},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Krishnan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MerrittMT91,
author = {Michael Merritt and
Francesmary Modugno and
Marc R. Tuttle},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Time-Constrained Automata (Extended Abstract)},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {408--423},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_103},
doi = {10.1007/3-540-54430-5\_103},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MerrittMT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MilnerPW91,
author = {Robin Milner and
Joachim Parrow and
David Walker},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Modal Logics for Mobile Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {45--60},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_80},
doi = {10.1007/3-540-54430-5\_80},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MilnerPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MollerT91,
author = {Faron Moller and
Chris M. N. Tofts},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Relating Processes With Respect to Speed},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {424--438},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_104},
doi = {10.1007/3-540-54430-5\_104},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MollerT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Murphy91,
author = {David Murphy},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Testing, Betting and Timed True Concurrency},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {439--454},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_105},
doi = {10.1007/3-540-54430-5\_105},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Murphy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Nicola91,
author = {Rocco De Nicola},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Action and State-based Logics for Process Algebras},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {20--22},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_77},
doi = {10.1007/3-540-54430-5\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Nicola91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NolteP91,
author = {Doris Nolte and
Lutz Priese},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Fairness in Models with True Concurrency},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {455--469},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_106},
doi = {10.1007/3-540-54430-5\_106},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NolteP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Olderog91,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Towards a Design Calculus for Communicationg Programs},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {61--77},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_81},
doi = {10.1007/3-540-54430-5\_81},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Olderog91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Quin91,
author = {Huajun Quin},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Efficient Verification of Determinate Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {470--479},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_107},
doi = {10.1007/3-540-54430-5\_107},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Quin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Schnoebelen91,
author = {Philippe Schnoebelen},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Experiments on Processes with Backtracking},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {480--494},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_108},
doi = {10.1007/3-540-54430-5\_108},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Schnoebelen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SpruitW91,
author = {Paul Spruit and
Roel J. Wieringa},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Some Finite-Graph Models for Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {495--509},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_109},
doi = {10.1007/3-540-54430-5\_109},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/SpruitW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stolen91,
author = {Ketil St{\o}len},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {A Method for the Development of Totally Correct Shared-State Parallel
Programs},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {510--525},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_110},
doi = {10.1007/3-540-54430-5\_110},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Stolen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ValmariC91,
author = {Antti Valmari and
Matthew Clegg},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Reduced Labelled Transition Systems Save Verification Effort},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {526--540},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_111},
doi = {10.1007/3-540-54430-5\_111},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ValmariC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1991,
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5},
doi = {10.1007/3-540-54430-5},
isbn = {3-540-54430-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-06-03 20:21 CEST 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:
