Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jos C. M. Baeten
@article{DBLP:journals/lmcs/BaetenCL23,
author = {Jos C. M. Baeten and
Cesare Carissimo and
Bas Luttik},
title = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:15)2023},
doi = {10.46298/LMCS-19(1:15)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaetenCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07308,
author = {Jos C. M. Baeten and
Bas Luttik},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Parallel Pushdown Automata and Commutative Context-Free Grammars in
Bisimulation Semantics (Extended Abstract)},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {114--131},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.9},
doi = {10.4204/EPTCS.387.9},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01713,
author = {Jos C. M. Baeten and
Cesare Carissimo and
Bas Luttik},
title = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
journal = {CoRR},
volume = {abs/2203.01713},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01713},
doi = {10.48550/ARXIV.2203.01713},
eprinttype = {arXiv},
eprint = {2203.01713},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaetenCL21,
author = {Jos C. M. Baeten and
Cesare Carissimo and
Bas Luttik},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {8:1--8:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.8},
doi = {10.4230/LIPICS.CALCO.2021.8},
timestamp = {Mon, 08 Nov 2021 14:07:50 +0100},
biburl = {https://dblp.org/rec/conf/calco/BaetenCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoBBH020,
author = {Luca Aceto and
Jos C. M. Baeten and
Patricia Bouyer{-}Decitre and
Holger Hermanns and
Alexandra Silva},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {{CONCUR} Test-Of-Time Award 2020 Announcement (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {5:1--5:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.5},
doi = {10.4230/LIPICS.CONCUR.2020.5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AcetoBBH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BelderLB19,
author = {Astrid Belder and
Bas Luttik and
Jos C. M. Baeten},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Sequencing and Intermediate Acceptance: Axiomatisation and Decidability
of Bisimilarity},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {11:1--11:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.11},
doi = {10.4230/LIPICS.CALCO.2019.11},
timestamp = {Thu, 28 Nov 2019 12:28:06 +0100},
biburl = {https://dblp.org/rec/conf/calco/BelderLB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02440,
author = {Jos C. M. Baeten and
Bas Luttik and
Fei Yang},
editor = {Kirstin Peters and
Simone Tini},
title = {Sequential Composition in the Presence of Intermediate Termination
(Extended Abstract)},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {1--17},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.1},
doi = {10.4204/EPTCS.255.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02440.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaetenLY17,
author = {Jos C. M. Baeten and
Bas Luttik and
Fei Yang},
title = {Sequential Composition in the Presence of Intermediate Termination},
journal = {CoRR},
volume = {abs/1706.08401},
year = {2017},
url = {http://arxiv.org/abs/1706.08401},
eprinttype = {arXiv},
eprint = {1706.08401},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaetenLY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaetenLMT16,
author = {Jos C. M. Baeten and
Bas Luttik and
Tim Muller and
Paul van Tilburg},
title = {Expressiveness modulo bisimilarity of regular expressions with parallel
composition},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {933--968},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000309},
doi = {10.1017/S0960129514000309},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaetenLMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaetenM15,
author = {Jos C. M. Baeten and
Jasen Markovski},
title = {The role of supervisory controller synthesis in automatic control
software development},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {17--22},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.016},
doi = {10.1016/J.SCICO.2013.11.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaetenM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/BaetenS14,
author = {Jos C. M. Baeten and
Davide Sangiorgi},
editor = {J{\"{o}}rg H. Siekmann},
title = {Concurrency Theory: {A} Historical Perspective on Coinduction and
Process Calculi},
booktitle = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
pages = {399--442},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/B978-0-444-51624-4.50009-5},
doi = {10.1016/B978-0-444-51624-4.50009-5},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/BaetenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenLT13,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
title = {Reactive Turing machines},
journal = {Inf. Comput.},
volume = {231},
pages = {143--166},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.08.010},
doi = {10.1016/J.IC.2013.08.010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaetenLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MarkovskiDBV12,
author = {Jasen Markovski and
Pedro R. D'Argenio and
Jos C. M. Baeten and
Erik P. de Vink},
title = {Reconciling real and stochastic time: the need for probabilistic refinement},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {497--518},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0230-y},
doi = {10.1007/S00165-012-0230-Y},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MarkovskiDBV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenLT12,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Turing Meets Milner},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_1},
doi = {10.1007/978-3-642-32940-1\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MarkovskiBB12,
author = {Jasen Markovski and
Dirk A. van Beek and
Jos C. M. Baeten},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Partially-Supervised Plants: Embedding Control Requirements in Plant
Components},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {253--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_18},
doi = {10.1007/978-3-642-30729-4\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MarkovskiBB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2012,
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7},
doi = {10.1007/978-3-642-33475-7},
isbn = {978-3-642-33474-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BaetenLT12,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
title = {When Turing Meets Milner},
journal = {{ERCIM} News},
volume = {2012},
number = {91},
year = {2012},
url = {http://ercim-news.ercim.eu/en91/special/when-turing-meets-milner},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BaetenLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenL11,
author = {Jos C. M. Baeten and
Bas Luttik},
title = {Unguardedness mostly means many solutions},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3090--3100},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.046},
doi = {10.1016/J.TCS.2011.02.046},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BaetenBLMR11,
author = {Jos C. M. Baeten and
D. A. van Beek and
Bas Luttik and
Jasen Markovski and
Jacobus E. Rooda},
title = {A process-theoretic approach to supervisory control theory},
booktitle = {American Control Conference, {ACC} 2011, San Francisco, CA, USA, June
29 - July 1, 2011},
pages = {4496--4501},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ACC.2011.5990831},
doi = {10.1109/ACC.2011.5990831},
timestamp = {Sun, 08 Aug 2021 01:40:54 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BaetenBLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BaetenLT11,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Reactive Turing Machines},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {348--359},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_30},
doi = {10.1007/978-3-642-22953-4\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BaetenLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BaetenLT11,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
editor = {Raja Natarajan and
Adegboyega K. Ojo},
title = {Computations and Interaction},
booktitle = {Distributed Computing and Internet Technology - 7th International
Conference, {ICDCIT} 2011, Bhubaneshwar, India, February 9-12, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6536},
pages = {35--54},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19056-8\_3},
doi = {10.1007/978-3-642-19056-8\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BaetenLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-1863,
author = {Jos C. M. Baeten and
Bert van Beek and
Allan van Hulst and
Jasen Markovski},
editor = {Luca Aceto and
Mohammad Reza Mousavi},
title = {A Process Algebra for Supervisory Coordination},
booktitle = {Proceedings First International Workshop on Process Algebra and Coordination,
{PACO} 2011, Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {60},
pages = {36--55},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.60.3},
doi = {10.4204/EPTCS.60.3},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-1738,
author = {Jos C. M. Baeten and
Bas Luttik and
Paul van Tilburg},
title = {Reactive Turing Machines},
journal = {CoRR},
volume = {abs/1104.1738},
year = {2011},
url = {http://arxiv.org/abs/1104.1738},
eprinttype = {arXiv},
eprint = {1104.1738},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-1738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6429,
author = {Jos C. M. Baeten and
Bas Luttik and
Tim Muller and
Paul van Tilburg},
editor = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Expressiveness modulo Bisimilarity of Regular Expressions with Parallel
Composition (Extended Abstract)},
booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
EXPRESS'10, Paris, France, August 30th, 2010},
series = {{EPTCS}},
volume = {41},
pages = {1--15},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.41.1},
doi = {10.4204/EPTCS.41.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoBFIN09,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {4},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.11.001},
doi = {10.1016/J.JLAP.2008.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFIN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BaetenCLT09,
author = {Jos C. M. Baeten and
Pieter J. L. Cuijpers and
Bas Luttik and
P. J. A. van Tilburg},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Process-Theoretic Look at Automata},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {1--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_1},
doi = {10.1007/978-3-642-11623-0\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/BaetenCLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-0868,
author = {Harsh Beohar and
Pieter J. L. Cuijpers and
Jos C. M. Baeten},
title = {Design of asynchronous supervisors},
journal = {CoRR},
volume = {abs/0910.0868},
year = {2009},
url = {http://arxiv.org/abs/0910.0868},
eprinttype = {arXiv},
eprint = {0910.0868},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-0868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoBFIN08,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Applying Concurrency Research in Industry Report on a Strategic Workshop},
journal = {Bull. {EATCS}},
volume = {94},
pages = {113--129},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoBFIN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaetenS08,
author = {Jos C. M. Baeten and
Ana Sokolova},
title = {Luca Aceto, Anna Ing{\'{o}}lfsd{\'{o}}ttir, Kim Guldstrand
Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and
Verification , Cambridge University Press {(2007)} {ISBN} 9780521875462},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {1},
pages = {52},
year = {2008},
url = {https://doi.org/10.1016/j.jlap.2008.04.001},
doi = {10.1016/J.JLAP.2008.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BaetenS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaetenB08,
author = {Jos C. M. Baeten and
Mario Bravetti},
title = {A ground-complete axiomatisation of finite-state processes in a generic
process algebra},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1057--1089},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007111},
doi = {10.1017/S0960129508007111},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaetenB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Baeten08,
author = {Jos C. M. Baeten},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Calculating with Automata},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {747--756},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_46},
doi = {10.1007/978-3-540-68679-8\_46},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Baeten08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenCT08,
author = {Jos C. M. Baeten and
Pieter J. L. Cuijpers and
P. J. A. van Tilburg},
editor = {Franck van Breugel and
Marsha Chechik},
title = {A Context-Free Process as a Pushdown Automaton},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {98--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_11},
doi = {10.1007/978-3-540-85361-9\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BaetenCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenCT09,
author = {Jos C. M. Baeten and
Pieter J. L. Cuijpers and
P. J. A. van Tilburg},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {A Basic Parallel Process as a Parallel Pushdown Automaton},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
{EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {1},
pages = {35--48},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.012},
doi = {10.1016/J.ENTCS.2009.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BaetenCG07,
author = {Jos C. M. Baeten and
Flavio Corradini and
Clemens Grabmayer},
title = {A characterization of regular expressions under bisimulation},
journal = {J. {ACM}},
volume = {54},
number = {2},
pages = {6},
year = {2007},
url = {https://doi.org/10.1145/1219092.1219094},
doi = {10.1145/1219092.1219094},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BaetenCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaetenR07,
author = {Jos C. M. Baeten and
Michel A. Reniers},
title = {Duplication of constants in process algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {2},
pages = {151--171},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.08.003},
doi = {10.1016/J.JLAP.2006.08.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BaetenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenLW07,
author = {Jos C. M. Baeten and
Jan Karel Lenstra and
Gerhard J. Woeginger},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {3},
pages = {305},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.041},
doi = {10.1016/J.TCS.2007.02.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenP07,
author = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {3},
pages = {167--168},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.006},
doi = {10.1016/J.TCS.2007.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/RoodaBB07,
author = {Jacobus E. Rooda and
D. A. van Beek and
Jos C. M. Baeten},
editor = {Paul A. Fishwick},
title = {Process Algebra},
booktitle = {Handbook of Dynamic System Modeling},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420010855.ch19},
doi = {10.1201/9781420010855.CH19},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/RoodaBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaetenL06,
author = {Jos C. M. Baeten and
S. P. Luttik},
title = {Guest editors' introduction: Special issue on Process Theory for Hybrid
Systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {68},
number = {1-2},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.10.001},
doi = {10.1016/J.JLAP.2005.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BaetenL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenC06,
author = {Jos C. M. Baeten and
Flavio Corradini},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {3},
pages = {263--264},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.013},
doi = {10.1016/J.TCS.2006.02.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AndovaBW06,
author = {Suzana Andova and
Jos C. M. Baeten and
Tim A. C. Willemse},
editor = {Christel Baier and
Holger Hermanns},
title = {A Complete Axiomatisation of Branching Bisimulation for Probabilistic
Systems with an Application in Protocol Verification},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {327--342},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_22},
doi = {10.1007/11817949\_22},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/AndovaBW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenBCRRST08,
author = {Jos C. M. Baeten and
Dirk A. van Beek and
Pieter J. L. Cuijpers and
Michel A. Reniers and
Jacobus E. Rooda and
Ramon R. H. Schiffelers and
Rolf J. M. Theunissen},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Model-based Engineering of Embedded Systems Using the Hybrid Process
Algebra Chi},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {21--53},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.003},
doi = {10.1016/J.ENTCS.2008.04.003},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenBCRRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2005,
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/3},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BortnikTWLMBFR05,
author = {Elena M. Bortnik and
Nikola Trcka and
Anton Wijs and
Bas Luttik and
Joanna M. van de Mortel{-}Fronczak and
Jos C. M. Baeten and
Wan J. Fokkink and
Jacobus E. Rooda},
title = {Analyzing a \emph{chi} model of a turntable system using Spin, {CADP}
and Uppaal},
journal = {J. Log. Algebraic Methods Program.},
volume = {65},
number = {2},
pages = {51--104},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2005.05.001},
doi = {10.1016/J.JLAP.2005.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BortnikTWLMBFR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Baeten05,
author = {Jos C. M. Baeten},
title = {A brief history of process algebra},
journal = {Theor. Comput. Sci.},
volume = {335},
number = {2-3},
pages = {131--146},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.07.036},
doi = {10.1016/J.TCS.2004.07.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Baeten05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaetenMR05,
author = {Jos C. M. Baeten and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Timing the Untimed: Terminating Successfully While Being Conservative},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {251--279},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_15},
doi = {10.1007/11601548\_15},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaetenMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB05,
author = {Jos C. M. Baeten and
Mario Bravetti},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A Ground-Complete Axiomatization of Finite State Processes in Process
Algebra},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {248--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_21},
doi = {10.1007/11539452\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BaetenC05,
author = {Jos C. M. Baeten and
Flavio Corradini},
title = {Regular Expressions in Process Algebra},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {12--19},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.43},
doi = {10.1109/LICS.2005.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BaetenC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenP06,
author = {Jos C. M. Baeten and
Iain C. C. Phillips},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Preface},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.002},
doi = {10.1016/J.ENTCS.2006.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenP06.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 12:38:53 +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}
}
@proceedings{DBLP:conf/express/2004,
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/2},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaetenV04,
author = {Jos C. M. Baeten and
Erik P. de Vink},
title = {Axiomatizing {GSOS} with termination},
journal = {J. Log. Algebraic Methods Program.},
volume = {60-61},
pages = {323--351},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2004.03.001},
doi = {10.1016/J.JLAP.2004.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BaetenV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BaetenR04,
author = {Jos C. M. Baeten and
Michel A. Reniers},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {59--97},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_3},
doi = {10.1007/978-3-540-30080-9\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BaetenR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenC05,
author = {Jos C. M. Baeten and
Flavio Corradini},
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {Preface},
booktitle = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.025},
doi = {10.1016/J.ENTCS.2004.11.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DArgenioB03,
author = {Pedro R. D'Argenio and
Jos C. M. Baeten},
title = {Guest editors' introduction: Special issue on Probabilistic Techniques
for the Design and Analysis of Systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {56},
number = {1-2},
pages = {1--2},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00064-4},
doi = {10.1016/S1567-8326(02)00064-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DArgenioB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Baeten03,
author = {Jos C. M. Baeten},
title = {Embedding Untimed Into Timed Process Algebra: The Case For Explicit
Termination},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {589--618},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004006},
doi = {10.1017/S0960129503004006},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Baeten03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003,
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0},
doi = {10.1007/3-540-45061-0},
isbn = {3-540-40493-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BaetenM02,
author = {Jos C. M. Baeten and
Cornelis A. Middelburg},
title = {Process Algebra with Timing},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-662-04995-2},
doi = {10.1007/978-3-662-04995-2},
isbn = {978-3-642-07788-3},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BaetenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AndovaB02,
author = {Suzana Andova and
Jos C. M. Baeten},
title = {Alternative composition does not imply non-determinism},
journal = {Bull. {EATCS}},
volume = {76},
pages = {125--127},
year = {2002},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AndovaB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BaetenV02,
author = {Jos C. M. Baeten and
Erik P. de Vink},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Axiomatizing {GSOS} with Termination},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {583--595},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_48},
doi = {10.1007/3-540-45841-7\_48},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BaetenV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaetenM01,
author = {Jos C. M. Baeten and
Cornelis A. Middelburg},
title = {Real time process algebra with time-dependent conditions},
journal = {J. Log. Algebraic Methods Program.},
volume = {48},
number = {1-2},
pages = {1--38},
year = {2001},
url = {https://doi.org/10.1016/S1567-8326(01)00004-2},
doi = {10.1016/S1567-8326(01)00004-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BaetenM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaetenBM01,
author = {Jos C. M. Baeten and
Harm M. A. van Beek and
Sjouke Mauw},
editor = {Gary B. Lamont},
title = {Specifying internet applications with DiCons},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {576--584},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372466},
doi = {10.1145/372202.372466},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BaetenBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BaetenBM01,
author = {Jos C. M. Baeten and
Harm M. A. van Beek and
Sjouke Mauw},
editor = {Rick Reed and
Jeanne Reed},
title = {An {MSC} Based Representation of DiCons},
booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
Denmark, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2078},
pages = {328--347},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48213-X\_21},
doi = {10.1007/3-540-48213-X\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BaetenBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndovaB01,
author = {Suzana Andova and
Jos C. M. Baeten},
editor = {Tiziana Margaria and
Wang Yi},
title = {Abstraction in Probabilistic Process Algebra},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {204--219},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_15},
doi = {10.1007/3-540-45319-9\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndovaB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Baeten01,
author = {Jos C. M. Baeten},
editor = {Flavio Corradini and
Walter Vogler},
title = {Timed Process Algebras},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark,
August 25, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {3},
pages = {207--208},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00224-5},
doi = {10.1016/S1571-0661(04)00224-5},
timestamp = {Thu, 01 Dec 2022 15:07:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baeten01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BaetenM01,
author = {Jos C. M. Baeten and
Cornelis A. Middelburg},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Process Algebra with Timing: Real Time and Discrete Time},
booktitle = {Handbook of Process Algebra},
pages = {627--684},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50028-x},
doi = {10.1016/B978-044482830-9/50028-X},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/01/BaetenM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BaetenB01,
author = {Jos C. M. Baeten and
Twan Basten},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Partial-Order Process Algebra (and its Relation to Petri Nets)},
booktitle = {Handbook of Process Algebra},
pages = {769--872},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50031-x},
doi = {10.1016/B978-044482830-9/50031-X},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BaetenB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaetenBR00,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Michel A. Reniers},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Discrete time process algebra with silent step},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {535--570},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaetenBR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Baeten00,
author = {Jos C. M. Baeten},
editor = {Luca Aceto and
Bj{\"{o}}rn Victor},
title = {Embedding Untimed into Timed Process Algebra; the Case for Explicit
Termination},
booktitle = {7th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {1},
pages = {3--20},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)82501-0},
doi = {10.1016/S1571-0661(05)82501-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baeten00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1999,
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9},
doi = {10.1007/3-540-48320-9},
isbn = {3-540-66425-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenB98,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Deadlock Behaviour in Split and {ST} Bisimulation Semantics},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {61--74},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00117-3},
doi = {10.1016/S1571-0661(04)00117-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaetenB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaetenB97,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric
Time},
journal = {Fundam. Informaticae},
volume = {29},
number = {1-2},
pages = {51--76},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-291203},
doi = {10.3233/FI-1997-291203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BaetenB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB97,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Process Algebra with Propositional Signals},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {381--405},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00253-8},
doi = {10.1016/S0304-3975(96)00253-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB97,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Bounded Stacks, Bags and Queues},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {104--118},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_8},
doi = {10.1007/3-540-63141-0\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BaetenB96,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Six Issues Concerning Future Directions in Concurrency Research},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {39},
year = {1996},
url = {https://doi.org/10.1145/242224.242272},
doi = {10.1145/242224.242272},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BaetenB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB96,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Discrete Time Process Algebra},
journal = {Formal Aspects Comput.},
volume = {8},
number = {2},
pages = {188--208},
year = {1996},
url = {https://doi.org/10.1007/BF01214556},
doi = {10.1007/BF01214556},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenBS95,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Scott A. Smolka},
title = {Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {234--255},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1135},
doi = {10.1006/INCO.1995.1135},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaetenBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BaetenB95,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Horst Reichel},
title = {Discrete Time Process Algebra with Abstraction},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {1--15},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_38},
doi = {10.1007/3-540-60249-6\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BaetenB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB94,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {250--268},
year = {1994},
url = {https://doi.org/10.1007/BF01215407},
doi = {10.1007/BF01215407},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB94,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Process Algebra with Partial Choice},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {465--480},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_34},
doi = {10.1007/978-3-540-48654-1\_34},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaetenM94,
author = {Jos C. M. Baeten and
Sjouke Mauw},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Delayed choice: an operator for joining Message Sequence Charts},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {340--354},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BaetenM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BaetenBB94,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Roland N. Bol},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Real Time Process Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {30--47},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013979},
doi = {10.1007/BFB0013979},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BaetenBB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB93,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Real space process algebra},
journal = {Formal Aspects Comput.},
volume = {5},
number = {6},
pages = {481--529},
year = {1993},
url = {https://doi.org/10.1007/BF01211247},
doi = {10.1007/BF01211247},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BaetenBK93,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
title = {Decidability of Bisimulation Equivalence for Processes Generating
Context-Free Languages},
journal = {J. {ACM}},
volume = {40},
number = {3},
pages = {653--682},
year = {1993},
url = {https://doi.org/10.1145/174130.174141},
doi = {10.1145/174130.174141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BaetenBK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB93,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Eike Best},
title = {Non Interleaving Process Algebra},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {308--323},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_22},
doi = {10.1007/3-540-57208-2\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenV93,
author = {Jos C. M. Baeten and
Chris Verhoef},
editor = {Eike Best},
title = {A Congruence Theorem for Structured Operational Semantics with Predicates},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {477--492},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_33},
doi = {10.1007/3-540-57208-2\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BaetenV92,
author = {Jos C. M. Baeten and
Frits W. Vaandrager},
title = {An Algebra for Process Creation},
journal = {Acta Informatica},
volume = {29},
number = {4},
pages = {303--334},
year = {1992},
url = {https://doi.org/10.1007/BF01178776},
doi = {10.1007/BF01178776},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BaetenV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB92,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Rance Cleaveland},
title = {Discrete Time Process Algebra},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {401--420},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084806},
doi = {10.1007/BFB0084806},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenBS92,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Scott A. Smolka},
editor = {Rance Cleaveland},
title = {Axiomization Probabilistic Processes: {ACP} with Generative Probabililties
(Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {472--485},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084810},
doi = {10.1007/BFB0084810},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaetenB92,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jan Vytopil},
title = {Asynchronous Communication in Real Space Process Algebra},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {473--492},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_26},
doi = {10.1007/3-540-55092-5\_26},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BaetenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/Baeten92,
author = {Jos C. M. Baeten},
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {The Total Order Assumption},
booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
pages = {231--240},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3217-2\_14},
doi = {10.1007/978-1-4471-3217-2\_14},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/napaw/Baeten92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Real Time Process Algebra},
journal = {Formal Aspects Comput.},
volume = {3},
number = {2},
pages = {142--188},
year = {1991},
url = {https://doi.org/10.1007/BF01898401},
doi = {10.1007/BF01898401},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Recursive Process Definitions with the State Operator},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {285--302},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90225-Q},
doi = {10.1016/0304-3975(91)90225-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Real Space Process Algebra},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {96--110},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_83},
doi = {10.1007/3-540-54430-5\_83},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The State Operator in Real Time Process Algebra},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {107--123},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031989},
doi = {10.1007/BFB0031989},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1991,
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5},
doi = {10.1007/3-540-54430-5},
isbn = {3-540-54430-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069083,
author = {Jos C. M. Baeten and
W. P. Weijland},
title = {Process algebra},
series = {Cambridge tracts in theoretical computer science},
volume = {18},
publisher = {Cambridge University Press},
year = {1990},
isbn = {978-0-521-40043-5},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0069083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB90,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Process Algebra with a Zero Object},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {83--98},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039053},
doi = {10.1007/BFB0039053},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1990,
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039045},
doi = {10.1007/BFB0039045},
isbn = {3-540-53048-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenBKW89,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop and
W. P. Weijland},
title = {Term-Rewriting Systems with Rule Priorities},
journal = {Theor. Comput. Sci.},
volume = {67},
number = {2{\&}3},
pages = {283--301},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90006-6},
doi = {10.1016/0304-3975(89)90006-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenBKW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/BaetenBMV89,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Sjouke Mauw and
Gert J. Veltink},
editor = {Jan A. Bergstra and
Loe M. G. Feijs},
title = {A Process Specification Formalism Based on Static {COLD}},
booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
a workshop in Mierlo, The Netherlands, September 1989]},
series = {Lecture Notes in Computer Science},
volume = {490},
pages = {303--335},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53912-3\_27},
doi = {10.1007/3-540-53912-3\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/BaetenBMV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/Bergstra89,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
editor = {Jan A. Bergstra and
Loe M. G. Feijs},
title = {Design of a Specification Language by Abstract Syntax Engineering},
booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
a workshop in Mierlo, The Netherlands, September 1989]},
series = {Lecture Notes in Computer Science},
volume = {490},
pages = {363--394},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53912-3\_29},
doi = {10.1007/3-540-53912-3\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/am/Bergstra89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenB88,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Global Renaming Operators in Concrete Process Algebra},
journal = {Inf. Comput.},
volume = {78},
number = {3},
pages = {205--245},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90027-2},
doi = {10.1016/0890-5401(88)90027-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaetenB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BaetenBK87,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
title = {Ready-Trace Semantics for Concrete Process Algebra with the Priority
Operator},
journal = {Comput. J.},
volume = {30},
number = {6},
pages = {498--506},
year = {1987},
url = {https://doi.org/10.1093/comjnl/30.6.498},
doi = {10.1093/COMJNL/30.6.498},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BaetenBK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenBK87,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
title = {On the Consistency of Koomen's Fair Abstraction Rule},
journal = {Theor. Comput. Sci.},
volume = {51},
pages = {129--176},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90052-1},
doi = {10.1016/0304-3975(87)90052-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenBK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/BaetenW87,
author = {Jos C. M. Baeten and
W. P. Weijland},
editor = {St{\'{e}}phane Kaplan and
Jean{-}Pierre Jouannaud},
title = {Semantics for Prolog via Term Rewrite Systems},
booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay,
France, July 8-10, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {308},
pages = {3--14},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19242-5\_1},
doi = {10.1007/3-540-19242-5\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/BaetenW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaetenG87,
author = {Jos C. M. Baeten and
Rob J. van Glabbeek},
editor = {Kesav V. Nori},
title = {Merge and Termination in Process Algebra},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {153--172},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_49},
doi = {10.1007/3-540-18625-5\_49},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaetenG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaetenG87,
author = {Jos C. M. Baeten and
Rob J. van Glabbeek},
editor = {Thomas Ottmann},
title = {Another Look at Abstraction in Process Algebra (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {84--94},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_8},
doi = {10.1007/3-540-18088-5\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaetenG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BaetenBK87,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
editor = {Martin Wirsing},
title = {Conditional axioms and {\(\alpha\)}/{\(\beta\)}-calculus in process
algebra},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {53--76},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BaetenBK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BaetenBK87,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Decidability of Bisimulation Equivalence for Processes Generating
Context-Free Languages},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {94--111},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_5},
doi = {10.1007/3-540-17945-3\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BaetenBK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaetenBK87,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Jan Willem Klop},
editor = {Pierre Lescanne},
title = {Term Rewriting Systems with Priorities},
booktitle = {Rewriting Techniques and Applications, 2nd International Conference,
RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {256},
pages = {83--94},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17220-3\_8},
doi = {10.1007/3-540-17220-3\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaetenBK87.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 2023-10-26 22:45 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:
