Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gérard Roucairol
@inproceedings{DBLP:conf/echt/StajanoCAMRNORRS92,
author = {Attilio Stajano and
Bruno Cerboni and
G. Degli Antoni and
Hans Mulder and
G{\'{e}}rard Roucairol and
Erich J. Neuhold and
Eddy Odijk and
Pier Carlo Ravasio and
Jan Ritchie and
Jack Schiff},
editor = {Dario Lucarella and
Jocelyne Nanard and
Marc Nanard and
Paolo Paolini},
title = {Business Opportunities in Hypermedia Applications (Panel)},
booktitle = {{ECHT} '92: European Conference on Hypertext Technology, November
30 - December 4, 1992, Milan, Italy},
pages = {285},
publisher = {{ACM}},
year = {1992},
timestamp = {Mon, 17 Sep 2012 13:20:51 +0200},
biburl = {https://dblp.org/rec/conf/echt/StajanoCAMRNORRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LavalleeR86,
author = {Ivan Lavall{\'{e}}e and
G{\'{e}}rard Roucairol},
title = {A Fully Distributed (Minimal) Spanning Tree Algorithm},
journal = {Inf. Process. Lett.},
volume = {23},
number = {2},
pages = {55--62},
year = {1986},
url = {https://doi.org/10.1016/0020-0190(86)90043-8},
doi = {10.1016/0020-0190(86)90043-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LavalleeR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Roucairol86,
author = {G{\'{e}}rard Roucairol},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {FIFO-Nets},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {436--459},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046849},
doi = {10.1007/BFB0046849},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Roucairol86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FleR85,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
title = {Maximal Serializability of Iterated Transactions},
journal = {Theor. Comput. Sci.},
volume = {38},
pages = {1--16},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90206-3},
doi = {10.1016/0304-3975(85)90206-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FleR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Grzegorz Rozenberg},
title = {Petri nets and algebraic calculi of processes},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {41--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016205},
doi = {10.1007/BFB0016205},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FleR85,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
editor = {Lothar Budach},
title = {A language theoretic approach to serialization problem in concurrent
systems},
booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
9-13, 1985},
series = {Lecture Notes in Computer Science},
volume = {199},
pages = {128--145},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0028798},
doi = {10.1007/BFB0028798},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/FleR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BoudolRS85,
author = {G{\'{e}}rard Boudol and
G{\'{e}}rard Roucairol and
Robert de Simone},
editor = {Kurt Mehlhorn},
title = {Petri Nets and Algebraic Calculi of Processes},
booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {182},
pages = {59--70},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0023995},
doi = {10.1007/BFB0023995},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BoudolRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1984,
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15204-0},
doi = {10.1007/3-540-15204-0},
isbn = {3-540-15204-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FleR84,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
title = {Multiserialization of Iterated Transactions},
journal = {Inf. Process. Lett.},
volume = {18},
number = {5},
pages = {243--247},
year = {1984},
url = {https://doi.org/10.1016/0020-0190(84)90002-4},
doi = {10.1016/0020-0190(84)90002-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FleR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleR84,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {Fair serializability of iterated transactions using FIFO-nets},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {154--168},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_10},
doi = {10.1007/3-540-15204-0\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/FleR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CarvalhoR82,
author = {Osvaldo Carvalho and
G{\'{e}}rard Roucairol},
editor = {Robert L. Probert and
Michael J. Fischer and
Nicola Santoro},
title = {On the Distribution of an Assertion},
booktitle = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
Ottawa, CanadaAugust 18-20, 1982},
pages = {121--131},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800220.806689},
doi = {10.1145/800220.806689},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CarvalhoR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FleR82,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
editor = {Robert L. Probert and
Michael J. Fischer and
Nicola Santoro},
title = {On Serializability of Iterated Transactions},
booktitle = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
Ottawa, CanadaAugust 18-20, 1982},
pages = {194--200},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800220.806697},
doi = {10.1145/800220.806697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/FleR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/FleR82,
author = {Marie{-}Paule Fl{\'{e}} and
G{\'{e}}rard Roucairol},
editor = {Mariangiola Dezani{-}Ciancaglini and
Ugo Montanari},
title = {On some syntactic equivalence of program schemas and related transformations},
booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
April 6-8, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {137},
pages = {116--131},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11494-7\_10},
doi = {10.1007/3-540-11494-7\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/programm/FleR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Roucairol81,
author = {G{\'{e}}rard Roucairol},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Overview on Topic 1: Application of Nets to Real-Time Systems},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {1--2},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_1},
doi = {10.1007/978-3-642-68353-4\_1},
timestamp = {Tue, 19 Jun 2018 18:32:05 +0200},
biburl = {https://dblp.org/rec/conf/apn/Roucairol81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BerthelotGR81,
author = {G{\'{e}}rard Berthelot and
Claude Girault and
G{\'{e}}rard Roucairol},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Petri Net Modelling and Reliability of Distributed Algorithms},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {3--10},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_2},
doi = {10.1007/978-3-642-68353-4\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BerthelotGR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaerGGR81,
author = {Jean{-}Loup Baer and
Georges Gardarin and
Claude Girault and
G{\'{e}}rard Roucairol},
editor = {Seymour Jeffrey and
Leon G. Stucki},
title = {The Two-Step Commitment Protocol: Modeling, Specification and Proof
Methodology},
booktitle = {Proceedings of the 5th International Conference on Software Engineering,
San Diego, California, USA, March 9-12, 1981},
pages = {363--373},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=802549},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/BaerGGR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/MemmiR75,
author = {G{\'{e}}rard Memmi and
G{\'{e}}rard Roucairol},
editor = {Wilfried Brauer},
title = {Linear Algebra in Net Theory},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {213--223},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_24},
doi = {10.1007/3-540-10001-6\_24},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/MemmiR75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BerthelotRV75,
author = {G{\'{e}}rard Berthelot and
G{\'{e}}rard Roucairol and
R{\"{u}}diger Valk},
editor = {Wilfried Brauer},
title = {Reductions of Nets and Parallel Prgrams},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {277--290},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_28},
doi = {10.1007/3-540-10001-6\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/BerthelotRV75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BerthelotR76,
author = {G{\'{e}}rard Berthelot and
G{\'{e}}rard Roucairol},
editor = {Antoni W. Mazurkiewicz},
title = {Reduction of Petri-Nets},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {202--209},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_175},
doi = {10.1007/3-540-07854-1\_175},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BerthelotR76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Roucairol74,
author = {G{\'{e}}rard Roucairol},
editor = {Bernard J. Robinet},
title = {Transformation de programmes s{\'{e}}quentiels en programmes
parall{\`{e}}les},
booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation,
Paris, France, April 9-11, 1974},
series = {Lecture Notes in Computer Science},
volume = {19},
pages = {327--349},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06859-7\_143},
doi = {10.1007/3-540-06859-7\_143},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/Roucairol74.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.
last updated on 2024-04-25 02:37 CEST 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:
