BibTeX records: Jos van Wamel

• > Home > Persons > Jos van Wamel

@article{DBLP:journals/fuin/ReniersGZW02,
  author       = {Michel A. Reniers and
                  Jan Friso Groote and
                  Mark van der Zwaag and
                  Jos van Wamel},
  title        = {Completeness of Timed mCRL},
  journal      = {Fundam. Informaticae},
  volume       = {50},
  number       = {3-4},
  pages        = {361--402},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi50-3-4-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ReniersGZW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/FeijsMMW02,
  author       = {Loe M. G. Feijs and
                  Frans A. C. Meijs and
                  Jean R. Moonen and
                  Jos van Wamel},
  title        = {Automatic generation of {MPEG} test streams from high-level grammars},
  journal      = {Inf. Softw. Technol.},
  volume       = {44},
  number       = {12},
  pages        = {671--682},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0950-5849(02)00094-0},
  doi          = {10.1016/S0950-5849(02)00094-0},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/FeijsMMW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GrooteW01,
  author       = {Jan Friso Groote and
                  Jos van Wamel},
  title        = {Analysis of three hybrid systems in timed {\(\mathrm{\mu}\)}CRL},
  journal      = {Sci. Comput. Program.},
  volume       = {39},
  number       = {2-3},
  pages        = {215--247},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00010-1},
  doi          = {10.1016/S0167-6423(00)00010-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrooteW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GrooteW01,
  author       = {Jan Friso Groote and
                  Jos van Wamel},
  title        = {The parallel composition of uniform processes with data},
  journal      = {Theor. Comput. Sci.},
  volume       = {266},
  number       = {1-2},
  pages        = {631--652},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00324-8},
  doi          = {10.1016/S0304-3975(00)00324-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GrooteW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:journals/entcs/VlijmenW99a,
  author       = {Sebastiaan van Vlijmen and
                  Jos van Wamel},
  editor       = {Sebastiaan van Vlijmen and
                  Arjan van Waveren and
                  Paul Vriend},
  title        = {A Semantic Approach to Protocold},
  booktitle    = {Algebraic Specification in Action},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {21},
  pages        = {1--32},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)01187-4},
  doi          = {10.1016/S1571-0661(05)01187-4},
  timestamp    = {Fri, 11 Nov 2022 15:01:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VlijmenW99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/GrooteLW98,
  author       = {Jan Friso Groote and
                  Bas Luttik and
                  Jos van Wamel},
  title        = {Editorial},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {5-6},
  pages        = {435},
  year         = {1998},
  url          = {https://doi.org/10.1007/s001650050025},
  doi          = {10.1007/S001650050025},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/GrooteLW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/FeijsMMW98,
  author       = {Loe M. G. Feijs and
                  Frans A. C. Meijs and
                  Jean R. Moonen and
                  Jos van Wamel},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Conformance Testing of a Multimedia System Using {PHACT}},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {193--210},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Tue, 15 Feb 2022 08:52:40 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/FeijsMMW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wamel97,
  author       = {Jos van Wamel},
  title        = {Process Algebra with Language Matching},
  journal      = {Theor. Comput. Sci.},
  volume       = {177},
  number       = {2},
  pages        = {425--458},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)88197-2},
  doi          = {10.1016/S0304-3975(97)88197-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wamel97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rex/BergstraPW93,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Jos van Wamel},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Process Algebra with Backtracking},
  booktitle    = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
                  Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {803},
  pages        = {46--91},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58043-3\_17},
  doi          = {10.1007/3-540-58043-3\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/BergstraPW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}