@article{BaetenB91:1,
  title = {Real Time Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1991},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB91%3A1},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {3},
  number = {2},
  pages = {142-188},
}

@inproceedings{BaetenB92,
  title = {Discrete Time Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1992},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB92},
  cites = {0},
  citedby = {0},
  pages = {401-420},
  booktitle = {concur},
}

@article{BaetenB06a,
  title = {A Generic Process Algebra},
  author = {Jos C. M. Baeten and Mario Bravetti},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.077},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.077},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB06a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {162},
  pages = {65-71},
}

@article{BaetenV04,
  title = {Axiomatizing GSOS with termination},
  author = {Jos C. M. Baeten and Erik P. de Vink},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.001},
  tags = {termination, C++},
  researchr = {https://researchr.org/publication/BaetenV04},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {60-61},
  pages = {323-351},
}

@article{BaetenC06,
  title = {Preface},
  author = {Jos C. M. Baeten and Flavio Corradini},
  year = {2006},
  doi = {10.1016/j.tcs.2006.02.013},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.02.013},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenC06},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {356},
  number = {3},
  pages = {263-264},
}

@article{BaetenBKW89,
  title = {Term-Rewriting Systems with Rule Priorities},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop and W. P. Weijland},
  year = {1989},
  tags = {rule-based, term rewriting, graph-rewriting, rules, C++, rewriting},
  researchr = {https://researchr.org/publication/BaetenBKW89},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {67},
  number = {2&3},
  pages = {283-301},
}

@article{BaetenB08,
  title = {A ground-complete axiomatisation of finite-state processes in a generic process algebra},
  author = {Jos C. M. Baeten and Mario Bravetti},
  year = {2008},
  doi = {10.1017/S0960129508007111},
  url = {http://dx.doi.org/10.1017/S0960129508007111},
  tags = {completeness, process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB08},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {18},
  number = {6},
  pages = {1057-1089},
}

@inproceedings{BaetenB97,
  title = {Bounded Stacks, Bags and Queues},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1997},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenB97},
  cites = {0},
  citedby = {0},
  pages = {104-118},
  booktitle = {concur},
}

@article{BaetenM01,
  title = {Real time process algebra with time-dependent conditions},
  author = {Jos C. M. Baeten and C. A. Middelburg},
  year = {2001},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenM01},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {48},
  number = {1-2},
  pages = {1-38},
}

@article{DArgenioB03,
  title = {Guest editors  introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems},
  author = {Pedro R. D Argenio and Jos C. M. Baeten},
  year = {2003},
  doi = {10.1016/S1567-8326(02)00064-4},
  url = {http://dx.doi.org/10.1016/S1567-8326(02)00064-4},
  tags = {analysis, C++, design},
  researchr = {https://researchr.org/publication/DArgenioB03},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {56},
  number = {1-2},
  pages = {1-2},
}

@article{BaetenB91:2,
  title = {Recursive Process Definitions with the State Operator},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenB91%3A2},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {82},
  number = {2},
  pages = {285-302},
}

@article{BortnikTWLMBFR05,
  title = {Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal},
  author = {E. M. Bortnik and Nikola Trcka and Anton Wijs and Bas Luttik and J. M. van de Mortel-Fronczak and Jos C. M. Baeten and Wan Fokkink and J. E. Rooda},
  year = {2005},
  doi = {10.1016/j.jlap.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.05.001},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/BortnikTWLMBFR05},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {65},
  number = {2},
  pages = {51-104},
}

@article{BaetenB06,
  title = {Six Themes for Future Concurrency Research},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.090},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.090},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenB06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {162},
  pages = {61-64},
}

@inproceedings{BaetenB95,
  title = {Discrete Time Process Algebra with Abstraction},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1995},
  tags = {process algebra, C++,  algebra, abstraction},
  researchr = {https://researchr.org/publication/BaetenB95},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {fct},
}

@article{BaetenBK93,
  title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
  year = {1993},
  doi = {10.1145/174130.174141},
  url = {http://doi.acm.org/10.1145/174130.174141},
  tags = {C++, context-aware},
  researchr = {https://researchr.org/publication/BaetenBK93},
  cites = {0},
  citedby = {0},
  journal = {JACM},
  volume = {40},
  number = {3},
  pages = {653-682},
}

@inproceedings{BaetenW87,
  title = {Semantics for Prolog via Term Rewrite Systems},
  author = {Jos C. M. Baeten and W. P. Weijland},
  year = {1987},
  tags = {semantics, Prolog, term rewriting, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BaetenW87},
  cites = {0},
  citedby = {0},
  pages = {3-14},
  booktitle = {ctrs},
}

@article{BaetenB88,
  title = {Global Renaming Operators in Concrete Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1988},
  month = {September},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB88},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {78},
  number = {3},
  pages = {205-245},
}

@inproceedings{BaetenBM01:0,
  title = {An MSC Based Representation of DiCons},
  author = {Jos C. M. Baeten and Harm M. A. van Beek and Sjouke Mauw},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2078/20780328.htm},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/BaetenBM01%3A0},
  cites = {0},
  citedby = {0},
  pages = {328-347},
  booktitle = {sdl},
}

@article{BaetenB97:0,
  title = {Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1997},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB97%3A0},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {29},
  number = {1-2},
  pages = {51-76},
}

@inproceedings{BaetenG87:0,
  title = {Another Look at Abstraction in Process Algebra (Extended Abstract)},
  author = {Jos C. M. Baeten and Rob J. van Glabbeek},
  year = {1987},
  tags = {process algebra, C++,  algebra, abstraction},
  researchr = {https://researchr.org/publication/BaetenG87%3A0},
  cites = {0},
  citedby = {0},
  pages = {84-94},
  booktitle = {icalp},
}

@article{BaetenB96:0,
  title = {Discrete Time Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1996},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB96%3A0},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {8},
  number = {2},
  pages = {188-208},
}

@inproceedings{AndovaB01,
  title = {Abstraction in Probabilistic Process Algebra},
  author = {Suzana Andova and Jos C. M. Baeten},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2031/20310204.htm},
  tags = {process algebra, C++,  algebra, abstraction},
  researchr = {https://researchr.org/publication/AndovaB01},
  cites = {0},
  citedby = {0},
  pages = {204-219},
  booktitle = {TACAS},
}

@inproceedings{BaetenB05,
  title = {A Ground-Complete Axiomatization of Finite State Processes in Process Algebra},
  author = {Jos C. M. Baeten and Mario Bravetti},
  year = {2005},
  doi = {10.1007/11539452_21},
  url = {http://dx.doi.org/10.1007/11539452_21},
  tags = {completeness, process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB05},
  cites = {0},
  citedby = {0},
  pages = {248-262},
  booktitle = {concur},
}

@inproceedings{BaetenB94,
  title = {Process Algebra with Partial Choice},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1994},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB94},
  cites = {0},
  citedby = {0},
  pages = {465-480},
  booktitle = {concur},
}

@inproceedings{BaetenG87,
  title = {Merge and Termination in Process Algebra},
  author = {Jos C. M. Baeten and Rob J. van Glabbeek},
  year = {1987},
  tags = {process algebra, termination, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenG87},
  cites = {0},
  citedby = {0},
  pages = {153-172},
  booktitle = {fsttcs},
}

@inproceedings{Bergstra89,
  title = {Design of a Specification Language by Abstract Syntax Engineering},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1989},
  tags = {abstract syntax, language engineering, language design, C++, design},
  researchr = {https://researchr.org/publication/Bergstra89},
  cites = {0},
  citedby = {0},
  pages = {363-394},
  booktitle = {am},
}

@article{BaetenCG07,
  title = {A characterization of regular expressions under bisimulation},
  author = {Jos C. M. Baeten and Flavio Corradini and Clemens Grabmayer},
  year = {2007},
  doi = {10.1145/1219092.1219094},
  url = {http://doi.acm.org/10.1145/1219092.1219094},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenCG07},
  cites = {0},
  citedby = {0},
  journal = {JACM},
  volume = {54},
  number = {2},
  pages = {6},
}

@inproceedings{BaetenBR00,
  title = {Discrete time process algebra with silent step},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Michel A. Reniers},
  year = {2000},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenBR00},
  cites = {0},
  citedby = {0},
  pages = {535-570},
  booktitle = {BIRTHDAY},
}

@inproceedings{Baeten08,
  title = {Calculating with Automata},
  author = {Jos C. M. Baeten},
  year = {2008},
  doi = {10.1007/978-3-540-68679-8_46},
  url = {http://dx.doi.org/10.1007/978-3-540-68679-8_46},
  tags = {C++},
  researchr = {https://researchr.org/publication/Baeten08},
  cites = {0},
  citedby = {0},
  pages = {747-756},
  booktitle = {birthday},
}

@article{BaetenR07,
  title = {Duplication of constants in process algebra},
  author = {Jos C. M. Baeten and Michel A. Reniers},
  year = {2007},
  doi = {10.1016/j.jlap.2006.08.003},
  url = {http://dx.doi.org/10.1016/j.jlap.2006.08.003},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenR07},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {70},
  number = {2},
  pages = {151-171},
}

@inproceedings{BaetenBK87:0,
  title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
  year = {1987},
  tags = {C++, context-aware},
  researchr = {https://researchr.org/publication/BaetenBK87%3A0},
  cites = {0},
  citedby = {0},
  pages = {94-111},
  booktitle = {parle},
}

@inproceedings{BaetenBK87:1,
  title = {Term Rewriting Systems with Priorities},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
  year = {1987},
  tags = {term rewriting, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BaetenBK87%3A1},
  cites = {0},
  citedby = {0},
  pages = {83-94},
  booktitle = {RTA},
}

@article{BaetenBK87:2,
  title = {Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
  year = {1987},
  tags = {semantics, process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenBK87%3A2},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {30},
  number = {6},
  pages = {498-506},
}

@article{BaetenV92,
  title = {An Algebra for Process Creation},
  author = {Jos C. M. Baeten and Frits W. Vaandrager},
  year = {1992},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenV92},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {29},
  number = {4},
  pages = {303-334},
}

@article{Baeten01,
  title = {Timed Process Algebras},
  author = {Jos C. M. Baeten},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/96/41/show/Products/notes/index.htt#002},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/Baeten01},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {52},
  number = {3},
  pages = {207-208},
}

@article{BaetenB98,
  title = {Deadlock Behaviour in Split and ST Bisimulation Semantics},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/40/25/show/Products/notes/index.htt#002},
  tags = {semantics, C++},
  researchr = {https://researchr.org/publication/BaetenB98},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {16},
  number = {2},
  pages = {61-74},
}

@inproceedings{AndovaBW06,
  title = {A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification},
  author = {Suzana Andova and Jos C. M. Baeten and Tim A. C. Willemse},
  year = {2006},
  doi = {10.1007/11817949_22},
  url = {http://dx.doi.org/10.1007/11817949_22},
  tags = {completeness, protocol, C++},
  researchr = {https://researchr.org/publication/AndovaBW06},
  cites = {0},
  citedby = {0},
  pages = {327-342},
  booktitle = {concur},
}

@inproceedings{BaetenBM01,
  title = {Specifying internet applications with DiCons},
  author = {Jos C. M. Baeten and Harm M. A. van Beek and Sjouke Mauw},
  year = {2001},
  doi = {10.1145/372202.372466},
  url = {http://doi.acm.org/10.1145/372202.372466},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenBM01},
  cites = {0},
  citedby = {0},
  pages = {576-584},
  booktitle = {SAC},
}

@article{BaetenB94:0,
  title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenB94%3A0},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {6},
  number = {3},
  pages = {250-268},
}

@article{AndovaB02,
  title = {Alternative composition does not imply non-determinism},
  author = {Suzana Andova and Jos C. M. Baeten},
  year = {2002},
  tags = {composition, C++},
  researchr = {https://researchr.org/publication/AndovaB02},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {76},
  pages = {125-127},
}

@inproceedings{BaetenB90,
  title = {Process Algebra with a Zero Object},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1990},
  tags = {process algebra, C++,  algebra, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BaetenB90},
  cites = {0},
  citedby = {0},
  pages = {83-98},
  booktitle = {concur},
}

@inproceedings{BaetenBS92,
  title = {Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract)},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka},
  year = {1992},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenBS92},
  cites = {0},
  citedby = {0},
  pages = {472-485},
  booktitle = {concur},
}

@article{BaetenL06,
  title = {Guest editors  introduction: Special issue on Process Theory for Hybrid Systems},
  author = {Jos C. M. Baeten and Bas Luttik},
  year = {2006},
  doi = {10.1016/j.jlap.2005.10.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.10.001},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenL06},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {68},
  number = {1-2},
  pages = {1-3},
}

@article{BaetenB97:1,
  title = {Process Algebra with Propositional Signals},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00253-8},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00253-8},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB97%3A1},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {177},
  number = {2},
  pages = {381-405},
}

@inproceedings{BaetenCT08,
  title = {A Context-Free Process as a Pushdown Automaton},
  author = {Jos C. M. Baeten and Pieter J. L. Cuijpers and P. J. A. van Tilburg},
  year = {2008},
  doi = {10.1007/978-3-540-85361-9_11},
  url = {http://dx.doi.org/10.1007/978-3-540-85361-9_11},
  tags = {C++, context-aware},
  researchr = {https://researchr.org/publication/BaetenCT08},
  cites = {0},
  citedby = {0},
  pages = {98-113},
  booktitle = {concur},
}

@inproceedings{BaetenV93,
  title = {A Congruence Theorem for Structured Operational Semantics with Predicates},
  author = {Jos C. M. Baeten and Chris Verhoef},
  year = {1993},
  tags = {semantics, C++, operational semantics},
  researchr = {https://researchr.org/publication/BaetenV93},
  cites = {0},
  citedby = {0},
  pages = {477-492},
  booktitle = {concur},
}

@inproceedings{BaetenB91:0,
  title = {The State Operator in Real Time Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1991},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB91%3A0},
  cites = {0},
  citedby = {0},
  pages = {107-123},
  booktitle = {rex},
}

@inproceedings{BaetenB91,
  title = {Real Space Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1991},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB91},
  cites = {0},
  citedby = {0},
  pages = {96-110},
  booktitle = {concur},
}

@inproceedings{Baeten92,
  title = {The Total Order Assumption},
  author = {Jos C. M. Baeten},
  year = {1992},
  tags = {C++},
  researchr = {https://researchr.org/publication/Baeten92},
  cites = {0},
  citedby = {0},
  pages = {231-240},
  booktitle = {napaw},
}

@article{Baeten00,
  title = {Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination},
  author = {Jos C. M. Baeten},
  year = {2000},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/66/56/show/Products/notes/index.htt#002},
  tags = {process algebra, termination, C++,  algebra},
  researchr = {https://researchr.org/publication/Baeten00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {39},
  number = {1},
  pages = {3-20},
}

@inproceedings{BaetenB92:0,
  title = {Asynchronous Communication in Real Space Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1992},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB92%3A0},
  cites = {0},
  citedby = {0},
  pages = {473-492},
  booktitle = {ftrtft},
}

@inproceedings{BaetenBMV89,
  title = {A Process Specification Formalism Based on Static COLD},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Sjouke Mauw and Gert J. Veltink},
  year = {1989},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/BaetenBMV89},
  cites = {0},
  citedby = {0},
  pages = {303-335},
  booktitle = {am},
}

@article{Baeten05,
  title = {A brief history of process algebra},
  author = {Jos C. M. Baeten},
  year = {2005},
  doi = {10.1016/j.tcs.2004.07.036},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.07.036},
  tags = {process algebra, C++,  algebra, history},
  researchr = {https://researchr.org/publication/Baeten05},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {335},
  number = {2-3},
  pages = {131-146},
}

@article{BaetenBS95,
  title = {Axiomatizing Probabilistic Processes: ACP with Generative Probabilities},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka},
  year = {1995},
  month = {September},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenBS95},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {121},
  number = {2},
  pages = {234-255},
}

@article{BaetenP06,
  title = {Preface},
  author = {Jos C. M. Baeten and Iain C. C. Phillips},
  year = {2006},
  doi = {10.1016/j.entcs.2006.05.002},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.05.002},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenP06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {154},
  number = {3},
  pages = {1-2},
}

@article{BaetenS08,
  title = {Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462},
  author = {Jos C. M. Baeten and Ana Sokolova},
  year = {2008},
  doi = {10.1016/j.jlap.2008.04.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2008.04.001},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenS08},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {78},
  number = {1},
  pages = {52},
}

@article{BaetenC05:0,
  title = {Preface},
  author = {Jos C. M. Baeten and Flavio Corradini},
  year = {2005},
  doi = {10.1016/j.entcs.2004.11.025},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.11.025},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenC05%3A0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {128},
  number = {2},
  pages = {1-3},
}

@inproceedings{BaetenMR05,
  title = {Timing the Untimed: Terminating Successfully While Being Conservative},
  author = {Jos C. M. Baeten and Mohammad Reza Mousavi and Michel A. Reniers},
  year = {2005},
  doi = {10.1007/11601548_15},
  url = {http://dx.doi.org/10.1007/11601548_15},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenMR05},
  cites = {0},
  citedby = {0},
  pages = {251-279},
  booktitle = {BIRTHDAY},
}

@article{BaetenCT09,
  title = {A Basic Parallel Process as a Parallel Pushdown Automaton},
  author = {Jos C. M. Baeten and Pieter J. L. Cuijpers and P. J. A. van Tilburg},
  year = {2009},
  doi = {10.1016/j.entcs.2009.06.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.06.012},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenCT09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {242},
  number = {1},
  pages = {35-48},
}

@inproceedings{BaetenB93,
  title = {Non Interleaving Process Algebra},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1993},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenB93},
  cites = {0},
  citedby = {0},
  pages = {308-323},
  booktitle = {concur},
}

@inproceedings{BaetenR04,
  title = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)},
  author = {Jos C. M. Baeten and Michel A. Reniers},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3185&spage=59},
  tags = {process algebra, termination, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenR04},
  cites = {0},
  citedby = {0},
  pages = {59-97},
  booktitle = {sfm},
}

@article{Baeten03,
  title = {Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination},
  author = {Jos C. M. Baeten},
  year = {2003},
  tags = {process algebra, termination, C++,  algebra},
  researchr = {https://researchr.org/publication/Baeten03},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {13},
  number = {4},
  pages = {589-618},
}

@inproceedings{BaetenBB94,
  title = {A Real Time Process Logic},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Roland N. Bol},
  year = {1994},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/BaetenBB94},
  cites = {0},
  citedby = {0},
  pages = {30-47},
  booktitle = {ictl},
}

@article{BaetenP07,
  title = {Preface},
  author = {Jos C. M. Baeten and Iain C. C. Phillips},
  year = {2007},
  doi = {10.1016/j.tcs.2007.07.006},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.07.006},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenP07},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {386},
  number = {3},
  pages = {167-168},
}

@inproceedings{BaetenM94,
  title = {Delayed choice: an operator for joining Message Sequence Charts},
  author = {Jos C. M. Baeten and Sjouke Mauw},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenM94},
  cites = {0},
  citedby = {0},
  pages = {340-354},
  booktitle = {forte},
}

@article{BaetenB96,
  title = {Six Issues Concerning Future Directions in Concurrency Research},
  author = {Jos C. M. Baeten and Jan A. Bergstra},
  year = {1996},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenB96},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {4es},
  pages = {39},
}

@inproceedings{BaetenV02,
  title = {Axiomatizing GSOS with Termination},
  author = {Jos C. M. Baeten and Erik P. de Vink},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2285/22850583.htm},
  tags = {termination, C++},
  researchr = {https://researchr.org/publication/BaetenV02},
  cites = {0},
  citedby = {0},
  pages = {583-595},
  booktitle = {STACS},
}

@article{BaetenBCRRST08,
  title = {Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi},
  author = {Jos C. M. Baeten and D. A. van Beek and Pieter J. L. Cuijpers and Michel A. Reniers and J. E. Rooda and Ramon R. H. Schiffelers and R. J. M. Theunissen},
  year = {2008},
  doi = {10.1016/j.entcs.2008.04.003},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.04.003},
  tags = {rule-based, meta-model, process algebra, model-driven engineering, C++,  algebra, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/BaetenBCRRST08},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {209},
  pages = {21-53},
}

@article{BaetenLW07,
  title = {Preface},
  author = {Jos C. M. Baeten and Jan Karel Lenstra and Gerhard J. Woeginger},
  year = {2007},
  doi = {10.1016/j.tcs.2007.02.041},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.02.041},
  tags = {C++},
  researchr = {https://researchr.org/publication/BaetenLW07},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {379},
  number = {3},
  pages = {305},
}

@article{BaetenBK87,
  title = {On the Consistency of Koomen s Fair Abstraction Rule},
  author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
  year = {1987},
  tags = {rule-based, rules, C++, consistency, abstraction},
  researchr = {https://researchr.org/publication/BaetenBK87},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {51},
  pages = {129-176},
}

@inproceedings{BaetenC05,
  title = {Regular Expressions in Process Algebra},
  author = {Jos C. M. Baeten and Flavio Corradini},
  year = {2005},
  doi = {10.1109/LICS.2005.43},
  url = {http://dx.doi.org/10.1109/LICS.2005.43},
  tags = {process algebra, C++,  algebra},
  researchr = {https://researchr.org/publication/BaetenC05},
  cites = {0},
  citedby = {0},
  pages = {12-19},
  booktitle = {lics},
}
@proceedings{icalp:2003,
  title = {Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings},
  year = {2003},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/icalp%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings},
  conference = {icalp},
  editor = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
  volume = {2719},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40493-7},
}

@proceedings{concur:1991,
  title = {CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  year = {1991},
  researchr = {https://researchr.org/publication/concur%3A1991},
  cites = {0},
  citedby = {0},
  booktitle = {CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  conference = {concur},
  editor = {Jos C. M. Baeten and Jan Friso Groote},
  volume = {527},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54430-5},
}

@proceedings{concur:1999,
  title = {CONCUR  99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
  year = {1999},
  researchr = {https://researchr.org/publication/concur%3A1999},
  cites = {0},
  citedby = {0},
  booktitle = {CONCUR  99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
  conference = {concur},
  editor = {Jos C. M. Baeten and Sjouke Mauw},
  volume = {1664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66425-4},
}

@proceedings{concur:1990,
  title = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  year = {1990},
  researchr = {https://researchr.org/publication/concur%3A1990},
  cites = {0},
  citedby = {0},
  booktitle = {CONCUR  90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  conference = {concur},
  editor = {Jos C. M. Baeten and Jan Willem Klop},
  volume = {458},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53048-7},
}