default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/apc25:"
download as .bib file
@proceedings{DBLP:conf/apc25/2005,
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/162/suppl/C},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apc25/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Abramsky06,
author = {Samson Abramsky},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {What are the Fundamental Structures of Concurrency?: We still don't
know!},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {37--41},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.075},
doi = {10.1016/J.ENTCS.2005.12.075},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Abramsky06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoF06,
author = {Luca Aceto and
Wan J. Fokkink},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {The Quest for Equational Axiomatizations of Parallel Composition:
Status and Open Problems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {43--48},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.076},
doi = {10.1016/J.ENTCS.2005.12.076},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoG06,
author = {Luca Aceto and
Andrew D. Gordon},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Preface},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.100},
doi = {10.1016/J.ENTCS.2005.12.100},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmadioBBC06,
author = {Roberto M. Amadio and
G{\'{e}}rard Boudol and
Fr{\'{e}}d{\'{e}}ric Boussinot and
Ilaria Castellani},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Reactive Concurrent Programming Revisited},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {49--60},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.104},
doi = {10.1016/J.ENTCS.2005.12.104},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmadioBBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenB06,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Six Themes for Future Concurrency Research},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {61--64},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.090},
doi = {10.1016/J.ENTCS.2005.12.090},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenB06a,
author = {Jos C. M. Baeten and
Mario Bravetti},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Generic Process Algebra},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {65--71},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.077},
doi = {10.1016/J.ENTCS.2005.12.077},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenB06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaierHKW06,
author = {Christel Baier and
Holger Hermanns and
Joost{-}Pieter Katoen and
Verena Wolf},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Bisimulation and Simulation Relations for Markov Chains},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {73--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.078},
doi = {10.1016/J.ENTCS.2005.12.078},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaierHKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bergstra06,
author = {Jan A. Bergstra},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {On the Design Rationale of {ACP} Style Process Algebras},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {79--85},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.105},
doi = {10.1016/J.ENTCS.2005.12.105},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bergstra06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bernardo06,
author = {Marco Bernardo},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian
Bisimilarity},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {87--99},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.079},
doi = {10.1016/J.ENTCS.2005.12.079},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bernardo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bolognesi06,
author = {Tommaso Bolognesi},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Algebra Under the Light of Wolfram's {NKS}},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {101--105},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.106},
doi = {10.1016/J.ENTCS.2005.12.106},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bolognesi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bravetti06,
author = {Mario Bravetti},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Stochastic and Real Time in Process Algebra: {A} Conceptual Overview},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {113--119},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.107},
doi = {10.1016/J.ENTCS.2005.12.107},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bravetti06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiHK06,
author = {Mario Bravetti and
Holger Hermanns and
Joost{-}Pieter Katoen},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {{YMCA:} - Why Markov Chain Algebra? -},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {107--112},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.108},
doi = {10.1016/J.ENTCS.2005.12.108},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BravettiHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BravettiZ06,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Service Oriented Computing: {A} New Challenge for Process Algebras},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {121--125},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.116},
doi = {10.1016/J.ENTCS.2005.12.116},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BravettiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes06b,
author = {Stephen Brookes},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Retracing {CSP}},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {127--133},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.028},
doi = {10.1016/J.ENTCS.2006.01.028},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuscemiM06,
author = {Maria Grazia Buscemi and
Ugo Montanari},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Compositional Coalgebraic Model of a Fragment of Fusion Calculus},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {135--139},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.109},
doi = {10.1016/J.ENTCS.2005.12.109},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuscemiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiZ06,
author = {Nadia Busi and
Gianluigi Zavattaro},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Process Algebraic View of Coordination},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {141--145},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.08.001},
doi = {10.1016/J.ENTCS.2006.08.001},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarpinetiL06,
author = {Samuele Carpineti and
Cosimo Laneve},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Rude Contract Language for Web Services},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {147--152},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.029},
doi = {10.1016/J.ENTCS.2006.01.029},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarpinetiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CuijpersR06,
author = {Pieter J. L. Cuijpers and
Michel A. Reniers},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Topological Aspects of Hybrid Processes: {A} Proposed Treatment Using
Non-standard Analysis},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {153--158},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.080},
doi = {10.1016/J.ENTCS.2005.12.080},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CuijpersR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Esik06,
author = {Zolt{\'{a}}n {\'{E}}sik},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Cascade Products and Temporal Logics on Finite Trees},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {163--166},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.081},
doi = {10.1016/J.ENTCS.2005.12.081},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Esik06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FuzzatiN06,
author = {Rachele Fuzzati and
Uwe Nestmann},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Much Ado About Nothing?},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {167--171},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.082},
doi = {10.1016/J.ENTCS.2005.12.082},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FuzzatiN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glabbeek06,
author = {Rob J. van Glabbeek},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {On Specifying Timeouts},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {173--175},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.083},
doi = {10.1016/J.ENTCS.2005.12.083},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glabbeek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gordon06,
author = {Andrew D. Gordon},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {V for Virtual},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {177--181},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.030},
doi = {10.1016/J.ENTCS.2006.01.030},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gordon06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabmayerKL06,
author = {Clemens Grabmayer and
Jan Willem Klop and
Bas Luttik},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Reflections on a Geometry of Processes},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {183--190},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.111},
doi = {10.1016/J.ENTCS.2005.12.111},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabmayerKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteMWU06,
author = {Jan Friso Groote and
Aad Mathijssen and
Muck van Weerdenburg and
Yaroslav S. Usenko},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {From {\(\mathrm{\mu}\)}CRL to mCRL2: Motivation and Outline},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {191--196},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.101},
doi = {10.1016/J.ENTCS.2005.12.101},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteMWU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteRU06,
author = {Jan Friso Groote and
Michel A. Reniers and
Yaroslav S. Usenko},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Discretization of Timed Automata in Timed mu},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {197--202},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.084},
doi = {10.1016/J.ENTCS.2005.12.084},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrosuS06,
author = {Radu Grosu and
Scott A. Smolka},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Monte Carlo Methods for Process Algebra},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {203--207},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.04.033},
doi = {10.1016/J.ENTCS.2006.04.033},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrosuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hoare06,
author = {Tony Hoare},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Why ever CSP?},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {209--215},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.031},
doi = {10.1016/J.ENTCS.2006.01.031},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hoare06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Honda06,
author = {Kohei Honda},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Algebras in the Age of Ubiquitous Computing},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {217--220},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.032},
doi = {10.1016/J.ENTCS.2006.01.032},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Honda06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeePS06,
author = {Insup Lee and
Anna Philippou and
Oleg Sokolsky},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Family of Resource-Bound Real-Time Process Algebras},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {221--226},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.085},
doi = {10.1016/J.ENTCS.2005.12.085},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeePS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Luttik06,
author = {Bas Luttik},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {What is algebraic in process theory?},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {227--231},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.086},
doi = {10.1016/J.ENTCS.2005.12.086},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Luttik06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maffeis06,
author = {Sergio Maffeis},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Calculi and Peer-to-peer Web Data Integration},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {233--236},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.087},
doi = {10.1016/J.ENTCS.2005.12.087},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maffeis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Middelburg06,
author = {Cornelis A. Middelburg},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Conditionals in Algebraic Process Calculi},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {237--241},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.088},
doi = {10.1016/J.ENTCS.2005.12.088},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Middelburg06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miller06,
author = {Dale Miller},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Proof Theoretic Approach to Operational Semantics},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {243--247},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.089},
doi = {10.1016/J.ENTCS.2005.12.089},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Milne06,
author = {George J. Milne},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Modelling Dynamically Changing Hardware Structure},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {249--254},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.091},
doi = {10.1016/J.ENTCS.2005.12.091},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Milne06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Milner06,
author = {Robin Milner},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Pervasive Process Calculus},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {255--259},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.112},
doi = {10.1016/J.ENTCS.2005.12.112},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Milner06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mislove06,
author = {Michael W. Mislove},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {On Combining Probability and Nondeterminism},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {261--265},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.113},
doi = {10.1016/J.ENTCS.2005.12.113},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mislove06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mousavi06,
author = {Mohammad Reza Mousavi},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Towards {SOS} Meta-Theory for Language-Based Security},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {267--271},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.092},
doi = {10.1016/J.ENTCS.2005.12.092},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mousavi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nicola06,
author = {Rocco De Nicola},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {From Process Calculi to Klaim and Back},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {159--162},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.110},
doi = {10.1016/J.ENTCS.2005.12.110},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nicola06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OuaknineS06,
author = {Jo{\"{e}}l Ouaknine and
Steve A. Schneider},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Timed {CSP:} {A} Retrospective},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {273--276},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.093},
doi = {10.1016/J.ENTCS.2005.12.093},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OuaknineS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palamidessi06a,
author = {Catuscia Palamidessi},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Anonymity in Probabilistic and Nondeterministic Systems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {277--279},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.094},
doi = {10.1016/J.ENTCS.2005.12.094},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Palamidessi06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhillipsU06,
author = {Iain C. C. Phillips and
Irek Ulidowski},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Operational Semantics of Reversibility in Process Algebra},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {281--286},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.095},
doi = {10.1016/J.ENTCS.2005.12.095},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhillipsU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PonseZ06,
author = {Alban Ponse and
Mark van der Zwaag},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Generalization of {ACP} Using Belnap's Logic},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {287--293},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.102},
doi = {10.1016/J.ENTCS.2005.12.102},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PonseZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Prasad06,
author = {K. V. S. Prasad},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Prospectus for Mobile Broadcasting Systems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {295--300},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.096},
doi = {10.1016/J.ENTCS.2005.12.096},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Prasad06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Priami06,
author = {Corrado Priami},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Calculi and Life Science},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {301--304},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.097},
doi = {10.1016/J.ENTCS.2005.12.097},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Priami06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Roscoe06,
author = {A. W. Roscoe},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Confluence Thanks to Extensional Determinism},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {305--309},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.098},
doi = {10.1016/J.ENTCS.2005.12.098},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Roscoe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sangiorgi06,
author = {Davide Sangiorgi},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Bisimulation and Co-induction: Some Problems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {311--315},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.099},
doi = {10.1016/J.ENTCS.2005.12.099},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sangiorgi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sewell06,
author = {Peter Sewell},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Calculi: The End of the Beginning?: (From Thought Experiments
to Experimental Semantics)},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {317--321},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.033},
doi = {10.1016/J.ENTCS.2006.01.033},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sewell06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tofts06,
author = {Chris M. N. Tofts},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Process Algebra as Modelling},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {323--326},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.114},
doi = {10.1016/J.ENTCS.2005.12.114},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tofts06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ueda06,
author = {Kazunori Ueda},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Constraint-Based Concurrency and Beyond},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {327--331},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.103},
doi = {10.1016/J.ENTCS.2005.12.103},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ueda06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Yoshida06,
author = {Nobuko Yoshida},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {333--340},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.115},
doi = {10.1016/J.ENTCS.2005.12.115},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Yoshida06.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-05 16:13 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:
