default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/concur/concur1996.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/Abramsky96,
author = {Samson Abramsky},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Retracing Some Paths in Process Algebra},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {1--17},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_44},
doi = {10.1007/3-540-61604-7\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Abramsky96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AmadioCS96,
author = {Roberto M. Amadio and
Ilaria Castellani and
Davide Sangiorgi},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On Bisimulations for the Asynchronous pi-Calculus},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {147--162},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_53},
doi = {10.1007/3-540-61604-7\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AmadioCS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BernardoG96,
author = {Marco Bernardo and
Roberto Gorrieri},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Extended Markovian Process Algebra},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {315--330},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_63},
doi = {10.1007/3-540-61604-7\_63},
timestamp = {Fri, 10 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BernardoG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestP96,
author = {Eike Best and
Catuscia Palamidessi},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Linear Constraint Systems as High-Level Nets},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {498--513},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_72},
doi = {10.1007/3-540-61604-7\_72},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BestP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BlasioF96,
author = {Paolo Di Blasio and
Kathleen Fisher},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Calculus for Concurrent Objects},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {655--670},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_82},
doi = {10.1007/3-540-61604-7\_82},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BlasioF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Boreale96,
author = {Michele Boreale},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Expressiveness of Internal Mobility in Name-Passing Calculi},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {163--178},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_54},
doi = {10.1007/3-540-61604-7\_54},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Boreale96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniH96,
author = {Ahmed Bouajjani and
Peter Habermehl},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Constrained Properties, Semilinear Systems, and Petri Nets},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {481--497},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_71},
doi = {10.1007/3-540-61604-7\_71},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bradfield96,
author = {Julian C. Bradfield},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {The Modal mu-calculus Alternation Hierarchy is Strict},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {233--246},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_58},
doi = {10.1007/3-540-61604-7\_58},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bradfield96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BurkartCS96,
author = {Olaf Burkart and
Didier Caucal and
Bernhard Steffen},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Bisimulation Collapse and the Process Taxonomy},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {247--262},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_59},
doi = {10.1007/3-540-61604-7\_59},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BurkartCS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CleavelandLN96,
author = {Rance Cleaveland and
Gerald L{\"{u}}ttgen and
V. Natarajan},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Process Algebra with Distributed Priorities},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {34--49},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_46},
doi = {10.1007/3-540-61604-7\_46},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/CleavelandLN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Corradini96,
author = {Andrea Corradini},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Concurrent Graph and Term Graph Rewriting},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {438--464},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_69},
doi = {10.1007/3-540-61604-7\_69},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Corradini96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Devillers96,
author = {Raymond R. Devillers},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Petri Boxes and Finite Precedence},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {465--480},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_70},
doi = {10.1007/3-540-61604-7\_70},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Devillers96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Dingel96,
author = {J{\"{u}}rgen Dingel},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Modular Verification for Shared-Variable Concurrent Programs},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {703--718},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_85},
doi = {10.1007/3-540-61604-7\_85},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Dingel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DrosteG96,
author = {Manfred Droste and
Paul Gastin},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Asynchronous Cellular Automata for Pomsets Without Auto-concurrency},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {627--638},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_80},
doi = {10.1007/3-540-61604-7\_80},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DrosteG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FantechiGL96,
author = {Alessandro Fantechi and
Stefania Gnesi and
Diego Latella},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Towards Automatic Temporal Logic Verification of Value Passing Process
Algebra Using Abstract Interpretation},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {563--578},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_76},
doi = {10.1007/3-540-61604-7\_76},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FantechiGL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FischerJ96,
author = {Clemens Fischer and
Wil Janssen},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Synchronous Development of Asynchonous Systems},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {735--750},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_87},
doi = {10.1007/3-540-61604-7\_87},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FischerJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FournetGLMR96,
author = {C{\'{e}}dric Fournet and
Georges Gonthier and
Jean{-}Jacques L{\'{e}}vy and
Luc Maranget and
Didier R{\'{e}}my},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Calculus of Mobile Agents},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {406--421},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_67},
doi = {10.1007/3-540-61604-7\_67},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FournetGLMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Models for Concurrent Constraint Programming},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {66--83},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_48},
doi = {10.1007/3-540-61604-7\_48},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuptaJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuptaJS96a,
author = {Vineet Gupta and
Radha Jagadeesan and
Vijay A. Saraswat},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Truly Concurrent Constraint Programming},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {373--388},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_65},
doi = {10.1007/3-540-61604-7\_65},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GuptaJS96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HenzingerK96,
author = {Thomas A. Henzinger and
Peter W. Kopke},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {State Equivalences for Rectangular Hybrid Automata},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {530--545},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_74},
doi = {10.1007/3-540-61604-7\_74},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HenzingerK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HenzingerKV96,
author = {Thomas A. Henzinger and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {514--529},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_73},
doi = {10.1007/3-540-61604-7\_73},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HenzingerKV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HildebrandtS96,
author = {Thomas T. Hildebrandt and
Vladimiro Sassone},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Comparing Transition Systems with Independence and Asynchronous Transition
Systems},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {84--97},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_49},
doi = {10.1007/3-540-61604-7\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HildebrandtS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Huhn96,
author = {Michaela Huhn},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Action Refinement and Property Inheritance in Systems of Sequential
Agents},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {639--654},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_81},
doi = {10.1007/3-540-61604-7\_81},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Huhn96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HuhnN96,
author = {Michaela Huhn and
Peter Niebert},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Towards Automata for Branching Time and Partial Order},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {611--626},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_79},
doi = {10.1007/3-540-61604-7\_79},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HuhnN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JamesS96,
author = {Jerry James and
Ambuj K. Singh},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {The Impact of Hardware Models on Shared Memory Consistency Conditions},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {719--734},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_86},
doi = {10.1007/3-540-61604-7\_86},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JamesS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JaninW96,
author = {David Janin and
Igor Walukiewicz},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Expressive Completeness of the Propositional mu-Calculus with
Respect to Monadic Second Order Logic},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {263--277},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_60},
doi = {10.1007/3-540-61604-7\_60},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JaninW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lavatelli96,
author = {Carolina Lavatelli},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Algebraic Interpretation of Lambda Calculus with Resources},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {422--437},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_68},
doi = {10.1007/3-540-61604-7\_68},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lavatelli96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lin96,
author = {Huimin Lin},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Symbolic Transition Graph with Assignment},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {50--65},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_47},
doi = {10.1007/3-540-61604-7\_47},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Maggiolo-SchettiniPT96,
author = {Andrea Maggiolo{-}Schettini and
Adriano Peron and
Simone Tini},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Equivalences of Statecharts},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {687--702},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_84},
doi = {10.1007/3-540-61604-7\_84},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Maggiolo-SchettiniPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MauwR96,
author = {Sjouke Mauw and
Michel A. Reniers},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Refinement in Interworkings},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {671--686},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_83},
doi = {10.1007/3-540-61604-7\_83},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MauwR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Meseguer96,
author = {Jos{\'{e}} Meseguer},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Rewriting Logic as a Semantic Framework for Concurrency: a Progress
Report},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {331--372},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_64},
doi = {10.1007/3-540-61604-7\_64},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Meseguer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Moller96,
author = {Faron Moller},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Infinite Results},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {195--216},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_56},
doi = {10.1007/3-540-61604-7\_56},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Moller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NestmannP96,
author = {Uwe Nestmann and
Benjamin C. Pierce},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Decoding Choice Encodings},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {179--194},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_55},
doi = {10.1007/3-540-61604-7\_55},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/NestmannP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PeledWW96,
author = {Doron A. Peled and
Thomas Wilke and
Pierre Wolper},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {An Algorithmic Approach for Checking Closure Properties of omega-Regular
Languages},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {596--610},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_78},
doi = {10.1007/3-540-61604-7\_78},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/PeledWW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PhilippouW96,
author = {Anna Philippou and
David Walker},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On Transformations of Concurrent Object Programs},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {131--146},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_52},
doi = {10.1007/3-540-61604-7\_52},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PhilippouW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PittsR96,
author = {Andrew M. Pitts and
Joshua R. X. Ross},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Process Calculus Based upon Evaluation to Committed Form},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {18--33},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_45},
doi = {10.1007/3-540-61604-7\_45},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PittsR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Power96,
author = {John Power},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Elementary Control Structures},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {115--130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_51},
doi = {10.1007/3-540-61604-7\_51},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Power96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Reisig96,
author = {Wolfgang Reisig},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Modelling and Verification of Distributed Algorithms},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {579--595},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_77},
doi = {10.1007/3-540-61604-7\_77},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Reisig96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Segala96,
author = {Roberto Segala},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Testing Probabilistic Automata},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {299--314},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_62},
doi = {10.1007/3-540-61604-7\_62},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Segala96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Stirling96,
author = {Colin Stirling},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Decidability of Bisimulation Equivalence for Normed Pushdown Processes},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {217--232},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_57},
doi = {10.1007/3-540-61604-7\_57},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Stirling96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TasiranAKB96,
author = {Serdar Tasiran and
Rajeev Alur and
Robert P. Kurshan and
Robert K. Brayton},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Verifying Abstractions of Timed Systems},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {546--562},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_75},
doi = {10.1007/3-540-61604-7\_75},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/TasiranAKB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ThomsenLK96,
author = {Bent Thomsen and
Lone Leth Thomsen and
Tsung{-}Min Kuo},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Facile Tutorial},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {278--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_61},
doi = {10.1007/3-540-61604-7\_61},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ThomsenLK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VictorP96,
author = {Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Constraints as Processes},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {389--405},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_66},
doi = {10.1007/3-540-61604-7\_66},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/VictorP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Winskel96,
author = {Glynn Winskel},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Presheaf Semantics of Value-Passing Processes},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {98--114},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_50},
doi = {10.1007/3-540-61604-7\_50},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Winskel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1996,
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7},
doi = {10.1007/3-540-61604-7},
isbn = {3-540-61604-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1996.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 2024-10-03 06:36 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:
