Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roberto Lucchi
@article{DBLP:journals/gis/Friis-ChristensenLLO09,
author = {Anders Friis{-}Christensen and
Roberto Lucchi and
Michael Lutz and
Nicole Ostl{\"{a}}nder},
title = {Service chaining architectures for applications implementing distributed
geographic information processing},
journal = {Int. J. Geogr. Inf. Sci.},
volume = {23},
number = {5},
pages = {561--580},
year = {2009},
url = {http://www.informaworld.com/smpp/content\%7Edb=all\%7Econtent=a913405274\%7Efrm=abslink},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gis/Friis-ChristensenLLO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucchiM07,
author = {Roberto Lucchi and
Manuel Mazzara},
title = {A pi-calculus based semantics for {WS-BPEL}},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {1},
pages = {96--118},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.05.007},
doi = {10.1016/J.JLAP.2006.05.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LucchiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/GuidiL07,
author = {Claudio Guidi and
Roberto Lucchi},
title = {Formalizing Mobility in Service Oriented Computing},
journal = {J. Softw.},
volume = {2},
number = {1},
pages = {1--13},
year = {2007},
url = {https://doi.org/10.4304/jsw.2.1.1-13},
doi = {10.4304/JSW.2.1.1-13},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/GuidiL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/geos/LutzLFO07,
author = {Michael Lutz and
Roberto Lucchi and
Anders Friis{-}Christensen and
Nicole Ostl{\"{a}}nder},
editor = {Frederico T. Fonseca and
M. Andrea Rodr{\'{\i}}guez and
Sergei Levashkin},
title = {A Rule-Based Description Framework for the Composition of Geographic
Information Services},
booktitle = {GeoSpatial Semantics, Second International Conference, GeoS 2007,
Mexico City, Mexico, November 29-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4853},
pages = {114--127},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76876-0\_8},
doi = {10.1007/978-3-540-76876-0\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/geos/LutzLFO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GorrieriLZ06,
author = {Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Supporting Secure Coordination in SecSpaces},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {479--506},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GorrieriLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FocardiLZ06,
author = {Riccardo Focardi and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Secure shared data-space coordination languages: {A} process algebraic
survey},
journal = {Sci. Comput. Program.},
volume = {63},
number = {1},
pages = {3--15},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.07.011},
doi = {10.1016/J.SCICO.2005.07.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FocardiLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BocchiL06,
author = {Laura Bocchi and
Roberto Lucchi},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Atomic Commit and Negotiation in Service Oriented Computing},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {16--27},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_2},
doi = {10.1007/11767954\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BocchiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BusiGGLZ06,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Choreography and Orchestration Conformance for System Design},
booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
2006, Bologna, Italy, June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4038},
pages = {63--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767954\_5},
doi = {10.1007/11767954\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BusiGGLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GuidiL06,
author = {Claudio Guidi and
Roberto Lucchi},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Mobility Mechanisms in Service Oriented Computing},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {233--250},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_18},
doi = {10.1007/11768869\_18},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/GuidiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GuidiLGBZ06,
author = {Claudio Guidi and
Roberto Lucchi and
Roberto Gorrieri and
Nadia Busi and
Gianluigi Zavattaro},
editor = {Asit Dan and
Winfried Lamersdorf},
title = {: {A} Calculus for Service Oriented Computing},
booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
Chicago, IL, USA, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4294},
pages = {327--338},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11948148\_27},
doi = {10.1007/11948148\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GuidiLGBZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/WirsingNGHLTZ06,
author = {Martin Wirsing and
Rocco De Nicola and
Stephen Gilmore and
Matthias M. H{\"{o}}lzl and
Roberto Lucchi and
Mirco Tribastone and
Gianluigi Zavattaro},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {SensoriaProcess Calculi for Service-Oriented Computing},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {30--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_3},
doi = {10.1007/978-3-540-75336-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/WirsingNGHLTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontesiGLZ07,
author = {Fabrizio Montesi and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Guido Boella and
Mehdi Dastani and
Andrea Omicini and
Leon van der Torre and
Ivana Cern{\'{a}} and
Isabelle Linden},
title = {{JOLIE:} a Java Orchestration Language Interpreter Engine},
booktitle = {Combined Proceedings of the Second International Workshop on Coordination
and Organization (CoOrg 2006) and the Second International Workshop
on Methods and Tools for Coordinating Concurrent, Distributed and
Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {181},
pages = {19--33},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.051},
doi = {10.1016/J.ENTCS.2007.01.051},
timestamp = {Tue, 24 Jan 2023 13:37:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontesiGLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiGLZ05,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Quantitative information in the tuple space coordination model},
journal = {Theor. Comput. Sci.},
volume = {346},
number = {1},
pages = {28--57},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.08.004},
doi = {10.1016/J.TCS.2005.08.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GorrieriGL05,
author = {Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi},
editor = {Mario Bravetti and
Le{\"{\i}}la Kloul and
Gianluigi Zavattaro},
title = {Reasoning About Interaction Patterns in Choreography},
booktitle = {Formal Techniques for Computer Systems and Business Processes, European
Performance Engineering Workshop, {EPEW} 2005 and International Workshop
on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
September 1-3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3670},
pages = {333--348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549970\_24},
doi = {10.1007/11549970\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/GorrieriGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BusiGGLZ05,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Choreography and Orchestration: {A} Synergic Approach for System Design},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {228--240},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_18},
doi = {10.1007/11596141\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BusiGGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BravettiGLZ05,
author = {Mario Bravetti and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Supporting e-commerce systems formalization with choreography languages},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {831--835},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066867},
doi = {10.1145/1066677.1066867},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BusiGGLZ05,
author = {Nadia Busi and
Roberto Gorrieri and
Claudio Guidi and
Roberto Lucchi and
Gianluigi Zavattaro},
title = {Towards a formal framework for Choreography},
booktitle = {14th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2005), 13-15 June 2005, Link{\"{o}}ping, Sweden},
pages = {107--112},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WETICE.2005.57},
doi = {10.1109/WETICE.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/BusiGGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Lucchi04,
author = {Roberto Lucchi},
title = {Security, probability and priority in the tuple-space coordination
model},
school = {University of Bologna, Italy},
year = {2004},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0009069},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Lucchi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BravettiGLZ04,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Greg Meredith},
title = {Probabilistic and Prioritized Data Retrieval in the Linda Coordination
Model},
booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
2004, Pisa, Italy, February 24-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2949},
pages = {55--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24634-3\_7},
doi = {10.1007/978-3-540-24634-3\_7},
timestamp = {Fri, 23 Jun 2023 22:30:54 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BravettiGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BravettiBGLZ04,
author = {Mario Bravetti and
Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {Security Issues in the Tuple-Space Coordination Model},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {1--12},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_1},
doi = {10.1007/0-387-24098-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BravettiBGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LucchiZ04,
author = {Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {WSSecSpaces: a secure data-driven coordination service for Web Services
applications},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {487--491},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968001},
doi = {10.1145/967900.968001},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/LucchiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BravettiLZG04,
author = {Mario Bravetti and
Roberto Lucchi and
Gianluigi Zavattaro and
Roberto Gorrieri},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Web Services for E-commerce: guaranteeing security access and quality
of service},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {800--806},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968065},
doi = {10.1145/967900.968065},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BravettiLZG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiGLZ05,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {On the Expressiveness of Probabilistic and Prioritized Data-retrieval
in Linda},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues in
Coordination Models, Languages, and Systems, SecCo 2004, London, UK,
August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {5},
pages = {39--53},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.041},
doi = {10.1016/J.ENTCS.2004.11.041},
timestamp = {Mon, 12 Dec 2022 15:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuidiLM07,
author = {Claudio Guidi and
Roberto Lucchi and
Manuel Mazzara},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Formal Framework for Web Services Coordination},
booktitle = {Proceedings of the Third International Workshop on Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2004,
London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {2},
pages = {55--70},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.10.046},
doi = {10.1016/J.ENTCS.2006.10.046},
timestamp = {Tue, 06 Dec 2022 11:39:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuidiLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MazzaraL04,
author = {Manuel Mazzara and
Roberto Lucchi},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Framework for Generic Error Handling in Business Processes},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {133--145},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.002},
doi = {10.1016/J.ENTCS.2004.05.002},
timestamp = {Fri, 09 Dec 2022 11:51:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MazzaraL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiGLZ04,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Combining Partitions in SecSpaces},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {31--47},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.002},
doi = {10.1016/J.ENTCS.2004.02.002},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiGL03,
author = {Mario Bravetti and
Roberto Gorrieri and
Roberto Lucchi},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {A formal approach for checking security properties in SecSpaces},
booktitle = {First International Workshop on Security Issues in Coordination Models,
Languages, and Systems, SecCo 2003, Satellite Event for {ICALP} 2003,
Eindhoven, The Netherlands, June 28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {3},
pages = {54--70},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80684-4},
doi = {10.1016/S1571-0661(04)80684-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BravettiGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGLZ03,
author = {Nadia Busi and
Roberto Gorrieri and
Roberto Lucchi and
Gianluigi Zavattaro},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {SecSpaces: a Data-driven Coordination Model for Environments Open
to Untrusted Agents},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {310--327},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80375-5},
doi = {10.1016/S1571-0661(05)80375-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BusiGLZ03.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 05:39 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:
