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/concur1988.bht:"
download as .bib file
@inproceedings{DBLP:conf/concur/AstesianoGR88,
author = {Egidio Astesiano and
Alessandro Giovini and
Gianna Reggio},
editor = {Friedrich H. Vogt},
title = {Data in a Concurrent Environment},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {140--159},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_38},
doi = {10.1007/3-540-50403-6\_38},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/AstesianoGR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BarringerG88,
author = {Howard Barringer and
Dov M. Gabbay},
editor = {Friedrich H. Vogt},
title = {Executing Temporal Logic: Review and Prospects (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {104--105},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_35},
doi = {10.1007/3-540-50403-6\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BarringerG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Best88,
author = {Eike Best},
editor = {Friedrich H. Vogt},
title = {Weighted Basic Petri Nets},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {257--276},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_44},
doi = {10.1007/3-540-50403-6\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Best88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bourguet-Rouger88,
author = {A. Bourguet{-}Rouger},
editor = {Friedrich H. Vogt},
title = {External Behaviour Equivalence between two Petri Nets},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {237--256},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_43},
doi = {10.1007/3-540-50403-6\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bourguet-Rouger88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Broy88,
author = {Manfred Broy},
editor = {Friedrich H. Vogt},
title = {Requirement and Design Specification for Distributed Systems},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {33--62},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_30},
doi = {10.1007/3-540-50403-6\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CindioMPS88,
author = {Fiorella de Cindio and
Giorgio De Michelis and
Lucia Pomello and
Carla Simone},
editor = {Friedrich H. Vogt},
title = {A State Transformation Equivalence for Concurrent Systems: Exhibited
Functionality-equivalence},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {222--236},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_42},
doi = {10.1007/3-540-50403-6\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CindioMPS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DolevS88,
author = {Danny Dolev and
H. Raymond Strong},
editor = {Friedrich H. Vogt},
title = {On Safety and Timeliness in Distributed Data Management},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {64--72},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_32},
doi = {10.1007/3-540-50403-6\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DolevS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DrostL88,
author = {Nicolien J. Drost and
Jan van Leeuwen},
editor = {Friedrich H. Vogt},
title = {Assertional Verification of a Majority Consensus Algorithm for Concurrency
Control in Multiple Copy Databases},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {320--334},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_48},
doi = {10.1007/3-540-50403-6\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DrostL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DrusinskyH88,
author = {Doron Drusinsky and
David Harel},
editor = {Friedrich H. Vogt},
title = {On the Power of Cooperative Concurrency},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {74--103},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_34},
doi = {10.1007/3-540-50403-6\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DrusinskyH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GnesiIN88,
author = {Stefania Gnesi and
Paola Inverardi and
Monica Nesi},
editor = {Friedrich H. Vogt},
title = {A Logic-Functional Approach to the Execution of {CCS} Specifications
Modulo Behavioural Equivalences},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {181--196},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_40},
doi = {10.1007/3-540-50403-6\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GnesiIN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoswamiJ88,
author = {Asis Goswami and
Mathai Joseph},
editor = {Friedrich H. Vogt},
title = {Semancitcs of Real-time Distributed Programs},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {292--306},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_46},
doi = {10.1007/3-540-50403-6\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GoswamiJ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HalpernF88,
author = {Joseph Y. Halpern and
Ronald Fagin},
editor = {Friedrich H. Vogt},
title = {Modelling Knowledge and Action in Distributed Systems},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {18--32},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_29},
doi = {10.1007/3-540-50403-6\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HalpernF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/IgelR88,
author = {Burkhard Igel and
Georg Reichwein},
editor = {Friedrich H. Vogt},
title = {An Example of Communicating Production Systems},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {307--319},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_47},
doi = {10.1007/3-540-50403-6\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/IgelR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KorachTZ88,
author = {Ephraim Korach and
Gerard Tel and
Shmuel Zaks},
editor = {Friedrich H. Vogt},
title = {Optimal Synchronization of {ABD} Networks},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {353--367},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_50},
doi = {10.1007/3-540-50403-6\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KorachTZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Koutny88,
author = {Maciej Koutny},
editor = {Friedrich H. Vogt},
title = {Adequacy-Preserving Transformations of {COSY} Path Programs},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {368--379},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_51},
doi = {10.1007/3-540-50403-6\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Koutny88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lamport88,
author = {Leslie Lamport},
editor = {Friedrich H. Vogt},
title = {While Waiting for the Millennium: Formal Specification and Verficiation
of Concurrent Systems Now (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {3},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_27},
doi = {10.1007/3-540-50403-6\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lamport88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiM88,
author = {Da{-}Hai Li and
T. S. E. Maibaum},
editor = {Friedrich H. Vogt},
title = {A Top-down Step-wise Refinement Methodology for Protocol Specification},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {197--221},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_41},
doi = {10.1007/3-540-50403-6\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/LiM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeinkeT88,
author = {Karl Meinke and
John V. Tucker},
editor = {Friedrich H. Vogt},
title = {The Scope and Limits of Synchronous Concurrent Computation},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {163--180},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_39},
doi = {10.1007/3-540-50403-6\_39},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeinkeT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Melliar-Smith88,
author = {P. M. Melliar{-}Smith},
editor = {Friedrich H. Vogt},
title = {A Graphical Representation of Interval Logic},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {106--120},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_36},
doi = {10.1007/3-540-50403-6\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Melliar-Smith88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PnueliR88,
author = {Amir Pnueli and
Roni Rosner},
editor = {Friedrich H. Vogt},
title = {A Framework for the Synthesis of Reactive Modules},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {4--17},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_28},
doi = {10.1007/3-540-50403-6\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PnueliR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Reisig88,
author = {Wolfgang Reisig},
editor = {Friedrich H. Vogt},
title = {Temporal Logic and Causality in Concurrent Systems},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {121--139},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_37},
doi = {10.1007/3-540-50403-6\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Reisig88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Schwartz88,
author = {Richard L. Schwartz},
editor = {Friedrich H. Vogt},
title = {Data Base Distribution and Concurrency for End-Users (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {63},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_31},
doi = {10.1007/3-540-50403-6\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Schwartz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SouissiB88,
author = {Younes Souissi and
Nicolas Beldiceanu},
editor = {Friedrich H. Vogt},
title = {Deterministic Systems of Sequential Processes: Theory and Tools},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {380--400},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_52},
doi = {10.1007/3-540-50403-6\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SouissiB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Tel88,
author = {Gerard Tel},
editor = {Friedrich H. Vogt},
title = {Total Algorithms},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {277--291},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_45},
doi = {10.1007/3-540-50403-6\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Tel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Thalmann88,
author = {Udo Thalmann},
editor = {Friedrich H. Vogt},
title = {Analysis of {ESTELLE} Specifications},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {335--352},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_49},
doi = {10.1007/3-540-50403-6\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Thalmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Vardi88,
author = {Moshe Y. Vardi},
editor = {Friedrich H. Vogt},
title = {An Automata-Theoretic Approach to Protocol Verification (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {73},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_33},
doi = {10.1007/3-540-50403-6\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Vardi88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1988,
editor = {Friedrich H. Vogt},
title = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6},
doi = {10.1007/3-540-50403-6},
isbn = {3-540-50403-6},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1988.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-04-19 03:59 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:
