default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kees Middelburg
@article{DBLP:journals/jancl/Middelburg24,
author = {Cornelis A. Middelburg},
title = {Paraconsistent logic and query answering in inconsistent databases},
journal = {J. Appl. Non Class. Logics},
volume = {34},
number = {1},
pages = {133--154},
year = {2024},
url = {https://doi.org/10.1080/11663081.2024.2312776},
doi = {10.1080/11663081.2024.2312776},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Middelburg24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Middelburg24,
author = {Cornelis A. Middelburg},
title = {Imperative Process Algebra and Models of Parallel Computation},
journal = {Theory Comput. Syst.},
volume = {68},
number = {3},
pages = {529--570},
year = {2024},
url = {https://doi.org/10.1007/s00224-024-10164-0},
doi = {10.1007/S00224-024-10164-0},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Middelburg24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Middelburg24,
author = {Cornelis A. Middelburg},
title = {Dormancy-aware timed branching bisimilarity with an application to
communication protocol analysis},
journal = {Theor. Comput. Sci.},
volume = {1008},
pages = {114681},
year = {2024},
url = {https://doi.org/10.1016/j.tcs.2024.114681},
doi = {10.1016/J.TCS.2024.114681},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Middelburg24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-08366,
author = {Cornelis A. Middelburg},
title = {On the formalization of the notion of an algorithm},
journal = {CoRR},
volume = {abs/2401.08366},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.08366},
doi = {10.48550/ARXIV.2401.08366},
eprinttype = {arXiv},
eprint = {2401.08366},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-08366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04641,
author = {Cornelis A. Middelburg},
title = {The interdefinability of expansions of Belnap-Dunn logic},
journal = {CoRR},
volume = {abs/2403.04641},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.04641},
doi = {10.48550/ARXIV.2403.04641},
eprinttype = {arXiv},
eprint = {2403.04641},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-04641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-19037,
author = {Cornelis A. Middelburg},
title = {On the formalization of the notion of an interactive algorithm},
journal = {CoRR},
volume = {abs/2405.19037},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.19037},
doi = {10.48550/ARXIV.2405.19037},
eprinttype = {arXiv},
eprint = {2405.19037},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-19037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg23,
author = {Cornelis A. Middelburg},
title = {Belnap-Dunn Logic and Query Answering in Inconsistent Databases with
Null Values},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {2},
pages = {159--192},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.2.159},
doi = {10.7561/SACS.2023.2.159},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10555,
author = {Cornelis A. Middelburg},
title = {A Conventional Expansion of First-Order Belnap-Dunn Logic},
journal = {CoRR},
volume = {abs/2301.10555},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10555},
doi = {10.48550/ARXIV.2301.10555},
eprinttype = {arXiv},
eprint = {2301.10555},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05264,
author = {Cornelis A. Middelburg},
title = {Belnap-Dunn logic and query answering in inconsistent databases with
null values},
journal = {CoRR},
volume = {abs/2303.05264},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05264},
doi = {10.48550/ARXIV.2303.05264},
eprinttype = {arXiv},
eprint = {2303.05264},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg22,
author = {Cornelis A. Middelburg},
title = {Imperative Process Algebra with Abstraction},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {137--179},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.137},
doi = {10.7561/SACS.2022.1.137},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg22a,
author = {Cornelis A. Middelburg},
title = {Program Algebra for Random Access Machine Programs},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {285--319},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.285},
doi = {10.7561/SACS.2022.2.285},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-02472,
author = {Cornelis A. Middelburg},
title = {Imperative process algebra and models of parallel computation},
journal = {CoRR},
volume = {abs/2206.02472},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.02472},
doi = {10.48550/ARXIV.2206.02472},
eprinttype = {arXiv},
eprint = {2206.02472},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-02472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12976,
author = {Cornelis A. Middelburg},
title = {Paraconsistent logic and query answering in inconsistent databases},
journal = {CoRR},
volume = {abs/2208.12976},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12976},
doi = {10.48550/ARXIV.2208.12976},
eprinttype = {arXiv},
eprint = {2208.12976},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM21,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Using Hoare Logic in a Process Algebra Setting},
journal = {Fundam. Informaticae},
volume = {179},
number = {4},
pages = {321--344},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2026},
doi = {10.3233/FI-2021-2026},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Middelburg21,
author = {Cornelis A. Middelburg},
title = {On the strongest three-valued paraconsistent logic contained in classical
logic and its dual},
journal = {J. Log. Comput.},
volume = {31},
number = {2},
pages = {597--611},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa084},
doi = {10.1093/LOGCOM/EXAA084},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Middelburg21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07863,
author = {Cornelis A. Middelburg},
title = {Imperative process algebra with abstraction},
journal = {CoRR},
volume = {abs/2103.07863},
year = {2021},
url = {https://arxiv.org/abs/2103.07863},
eprinttype = {arXiv},
eprint = {2103.07863},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-07863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08921,
author = {Cornelis A. Middelburg},
title = {Dormancy-aware timed branching bisimilarity},
journal = {CoRR},
volume = {abs/2107.08921},
year = {2021},
url = {https://arxiv.org/abs/2107.08921},
eprinttype = {arXiv},
eprint = {2107.08921},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg20,
author = {Cornelis A. Middelburg},
title = {Probabilistic Process Algebra and Strategic Interleaving},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {2},
pages = {205--243},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.2.205},
doi = {10.7561/SACS.2020.2.205},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraM20,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the complexity of the correctness problem for non-zeroness test
instruction sequences},
journal = {Theor. Comput. Sci.},
volume = {802},
pages = {1--18},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.03.040},
doi = {10.1016/J.TCS.2019.03.040},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergstraM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00473,
author = {Cornelis A. Middelburg},
title = {Process algebra, process scheduling, and mutual exclusion},
journal = {CoRR},
volume = {abs/2003.00473},
year = {2020},
url = {https://arxiv.org/abs/2003.00473},
eprinttype = {arXiv},
eprint = {2003.00473},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00746,
author = {Rob J. van Glabbeek and
Cornelis A. Middelburg},
title = {On infinite guarded recursive specifications in process algebra},
journal = {CoRR},
volume = {abs/2005.00746},
year = {2020},
url = {https://arxiv.org/abs/2005.00746},
eprinttype = {arXiv},
eprint = {2005.00746},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09946,
author = {Cornelis A. Middelburg},
title = {Program algebra for random access machine programs},
journal = {CoRR},
volume = {abs/2007.09946},
year = {2020},
url = {https://arxiv.org/abs/2007.09946},
eprinttype = {arXiv},
eprint = {2007.09946},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-07292,
author = {Cornelis A. Middelburg},
title = {A classical-logic view of a paraconsistent logic},
journal = {CoRR},
volume = {abs/2008.07292},
year = {2020},
url = {https://arxiv.org/abs/2008.07292},
eprinttype = {arXiv},
eprint = {2008.07292},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-07292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM19,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Program Algebra for Turing-Machine Programs},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {2},
pages = {113--139},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.2.113},
doi = {10.7561/SACS.2019.2.113},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM19,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Process Algebra with Strategic Interleaving},
journal = {Theory Comput. Syst.},
volume = {63},
number = {3},
pages = {488--505},
year = {2019},
url = {https://doi.org/10.1007/s00224-018-9873-2},
doi = {10.1007/S00224-018-9873-2},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BergstraM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08840,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Program algebra for Turing-machine programs},
journal = {CoRR},
volume = {abs/1901.08840},
year = {2019},
url = {http://arxiv.org/abs/1901.08840},
eprinttype = {arXiv},
eprint = {1901.08840},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-08840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04491,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Using Hoare logic in a process algebra setting},
journal = {CoRR},
volume = {abs/1906.04491},
year = {2019},
url = {http://arxiv.org/abs/1906.04491},
eprinttype = {arXiv},
eprint = {1906.04491},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-10041,
author = {Cornelis A. Middelburg},
title = {Probabilistic process algebra and strategic interleaving},
journal = {CoRR},
volume = {abs/1912.10041},
year = {2019},
url = {http://arxiv.org/abs/1912.10041},
eprinttype = {arXiv},
eprint = {1912.10041},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-10041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/BergstraM18,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Short Introduction to Program Algebra with Instructions for Boolean
Registers},
journal = {Comput. Sci. J. Moldova},
volume = {26},
number = {3},
pages = {199--232},
year = {2018},
url = {http://www.math.md/publications/csjm/issues/v26-n3/12735/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/BergstraM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM18,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences Expressing Multiplication Algorithms},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {39--66},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&\#38;a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05845,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the complexity of the correctness problem for non-zeroness test
instruction sequences},
journal = {CoRR},
volume = {abs/1805.05845},
year = {2018},
url = {http://arxiv.org/abs/1805.05845},
eprinttype = {arXiv},
eprint = {1805.05845},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04264,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A short introduction to program algebra with instructions for Boolean
registers},
journal = {CoRR},
volume = {abs/1808.04264},
year = {2018},
url = {http://arxiv.org/abs/1808.04264},
eprinttype = {arXiv},
eprint = {1808.04264},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM17,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Axioms for Behavioural Congruence of Single-Pass Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {2},
pages = {111--135},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM17,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Contradiction-Tolerant Process Algebra with Propositional Signals},
journal = {Fundam. Informaticae},
volume = {153},
number = {1-2},
pages = {29--55},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1530},
doi = {10.3233/FI-2017-1530},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Middelburg17,
author = {Cornelis A. Middelburg},
title = {On the strongest three-valued paraconsistent logic contained in classical
logic},
journal = {CoRR},
volume = {abs/1702.03414},
year = {2017},
url = {http://arxiv.org/abs/1702.03414},
eprinttype = {arXiv},
eprint = {1702.03414},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Middelburg17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM17,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Axioms for behavioural congruence of single-pass instruction sequences},
journal = {CoRR},
volume = {abs/1702.03511},
year = {2017},
url = {http://arxiv.org/abs/1702.03511},
eprinttype = {arXiv},
eprint = {1702.03511},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM17a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Process algebra with strategic interleaving},
journal = {CoRR},
volume = {abs/1703.06822},
year = {2017},
url = {http://arxiv.org/abs/1703.06822},
eprinttype = {arXiv},
eprint = {1703.06822},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On Instruction Sets for Boolean Registers in Program Algebra},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {1},
pages = {1--26},
year = {2016},
url = {https://doi.org/10.7561/SACS.2016.1.1},
doi = {10.7561/SACS.2016.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {2},
pages = {125--156},
year = {2016},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM16,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequence Size Complexity of Parity},
journal = {Fundam. Informaticae},
volume = {149},
number = {3},
pages = {297--309},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1450},
doi = {10.3233/FI-2016-1450},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM16,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Transformation of fractions into simple fractions in divisive meadows},
journal = {J. Appl. Log.},
volume = {16},
pages = {92--110},
year = {2016},
url = {https://doi.org/10.1016/j.jal.2016.03.001},
doi = {10.1016/J.JAL.2016.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BergstraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Middelburg16,
author = {Cornelis A. Middelburg},
title = {A short introduction to process theory},
journal = {CoRR},
volume = {abs/1610.01412},
year = {2016},
url = {http://arxiv.org/abs/1610.01412},
eprinttype = {arXiv},
eprint = {1610.01412},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Middelburg16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM15,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Probabilistic Thread Algebra},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {2},
pages = {211--243},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.2.211},
doi = {10.7561/SACS.2015.2.211},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM15,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On Algorithmic Equivalence of Instruction Sequences for Computing
Bit String Functions},
journal = {Fundam. Informaticae},
volume = {138},
number = {4},
pages = {411--434},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1219},
doi = {10.3233/FI-2015-1219},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM15,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Division by zero in non-involutive meadows},
journal = {J. Appl. Log.},
volume = {13},
number = {1},
pages = {1--12},
year = {2015},
url = {https://doi.org/10.1016/j.jal.2014.10.001},
doi = {10.1016/J.JAL.2014.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BergstraM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On instruction sets for Boolean registers in program algebra},
journal = {CoRR},
volume = {abs/1502.00238},
year = {2015},
url = {http://arxiv.org/abs/1502.00238},
eprinttype = {arXiv},
eprint = {1502.00238},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Contradiction-tolerant process algebra with propositional signals},
journal = {CoRR},
volume = {abs/1508.06899},
year = {2015},
url = {http://arxiv.org/abs/1508.06899},
eprinttype = {arXiv},
eprint = {1508.06899},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15b,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Transformation of fractions into simple fractions in divisive meadows},
journal = {CoRR},
volume = {abs/1510.06233},
year = {2015},
url = {http://arxiv.org/abs/1510.06233},
eprinttype = {arXiv},
eprint = {1510.06233},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM14,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequence Based Non-uniform Complexity Classes},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {47--89},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.47},
doi = {10.7561/SACS.2014.1.47},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On algorithmic equivalence of instruction sequences for computing
bit string functions},
journal = {CoRR},
volume = {abs/1402.4950},
year = {2014},
url = {http://arxiv.org/abs/1402.4950},
eprinttype = {arXiv},
eprint = {1402.4950},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14d,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Division by zero in non-involutive meadows},
journal = {CoRR},
volume = {abs/1406.2092},
year = {2014},
url = {http://arxiv.org/abs/1406.2092},
eprinttype = {arXiv},
eprint = {1406.2092},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM14d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Hoare-like logic of asserted single-pass instruction sequences},
journal = {CoRR},
volume = {abs/1408.2955},
year = {2014},
url = {http://arxiv.org/abs/1408.2955},
eprinttype = {arXiv},
eprint = {1408.2955},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14b,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Thread Algebra with Probabilistic Features},
journal = {CoRR},
volume = {abs/1409.6873},
year = {2014},
url = {http://arxiv.org/abs/1409.6873},
eprinttype = {arXiv},
eprint = {1409.6873},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14c,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence size complexity of parity},
journal = {CoRR},
volume = {abs/1412.6787},
year = {2014},
url = {http://arxiv.org/abs/1412.6787},
eprinttype = {arXiv},
eprint = {1412.6787},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM13,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Timed Tuplix Calculus and the Wesseling and van den Bergh Equation},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {2},
pages = {169--190},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.2.169},
doi = {10.7561/SACS.2013.2.169},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM13,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting},
journal = {Fundam. Informaticae},
volume = {128},
number = {4},
pages = {367--412},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-950},
doi = {10.3233/FI-2013-950},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM13,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Process Calculus with Finitary Comprehended Terms},
journal = {Theory Comput. Syst.},
volume = {53},
number = {4},
pages = {645--668},
year = {2013},
url = {https://doi.org/10.1007/s00224-013-9468-x},
doi = {10.1007/S00224-013-9468-X},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BergstraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3297,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence based non-uniform complexity classes},
journal = {CoRR},
volume = {abs/1301.3297},
year = {2013},
url = {http://arxiv.org/abs/1301.3297},
eprinttype = {arXiv},
eprint = {1301.3297},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-0382,
author = {Jan A. Bergstra and
Cornelis A. Middelburg and
Gheorghe Stefanescu},
title = {Network algebra for synchronous dataflow},
journal = {CoRR},
volume = {abs/1303.0382},
year = {2013},
url = {http://arxiv.org/abs/1303.0382},
eprinttype = {arXiv},
eprint = {1303.0382},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence expressions for the secure hash algorithm {SHA-256}},
journal = {CoRR},
volume = {abs/1308.0219},
year = {2013},
url = {http://arxiv.org/abs/1308.0219},
eprinttype = {arXiv},
eprint = {1308.0219},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence expressions for the Karatsuba multiplication
algorithm},
journal = {CoRR},
volume = {abs/1312.1529},
year = {2013},
url = {http://arxiv.org/abs/1312.1529},
eprinttype = {arXiv},
eprint = {1312.1529},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13b,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Long multiplication by instruction sequences with backward jump instructions},
journal = {CoRR},
volume = {abs/1312.1812},
year = {2013},
url = {http://arxiv.org/abs/1312.1812},
eprinttype = {arXiv},
eprint = {1312.1812},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/atlantissc/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences for Computer Science},
series = {Atlantis Studies in Computing},
volume = {2},
publisher = {Atlantis Press},
year = {2012},
url = {https://doi.org/10.2991/978-94-91216-65-7},
doi = {10.2991/978-94-91216-65-7},
isbn = {978-94-91216-64-0},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/atlantissc/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence processing operators},
journal = {Acta Informatica},
volume = {49},
number = {3},
pages = {139--172},
year = {2012},
url = {https://doi.org/10.1007/s00236-012-0154-2},
doi = {10.1007/S00236-012-0154-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Indirect Jumps Improve Instruction Sequence Performance},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {253--265},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the Behaviours Produced by Instruction Sequences under Execution},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {111--144},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-753},
doi = {10.3233/FI-2012-753},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the Expressiveness of Single-Pass Instruction Sequences},
journal = {Theory Comput. Syst.},
volume = {50},
number = {2},
pages = {313--328},
year = {2012},
url = {https://doi.org/10.1007/s00224-010-9301-8},
doi = {10.1007/S00224-010-9301-8},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6028,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Turing Impossibility Properties for Stack Machine Programming},
journal = {CoRR},
volume = {abs/1201.6028},
year = {2012},
url = {http://arxiv.org/abs/1201.6028},
eprinttype = {arXiv},
eprint = {1201.6028},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-6028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3249,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Process algebra with conditionals in the presence of epsilon},
journal = {CoRR},
volume = {abs/1204.3249},
year = {2012},
url = {http://arxiv.org/abs/1204.3249},
eprinttype = {arXiv},
eprint = {1204.3249},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-3249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM11,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread Extraction for Polyadic Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {283--310},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&\#38;a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BergstraM11,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread algebra for poly-threading},
journal = {Formal Aspects Comput.},
volume = {23},
number = {4},
pages = {567--583},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0178-3},
doi = {10.1007/S00165-011-0178-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BergstraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM11,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Inversive meadows and divisive meadows},
journal = {J. Appl. Log.},
volume = {9},
number = {3},
pages = {203--220},
year = {2011},
url = {https://doi.org/10.1016/j.jal.2011.03.001},
doi = {10.1016/J.JAL.2011.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BergstraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4324,
author = {Cornelis A. Middelburg},
title = {A Survey of Paraconsistent Logics},
journal = {CoRR},
volume = {abs/1103.4324},
year = {2011},
url = {http://arxiv.org/abs/1103.4324},
eprinttype = {arXiv},
eprint = {1103.4324},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-4324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-6196,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the behaviours produced by instruction sequences under execution},
journal = {CoRR},
volume = {abs/1106.6196},
year = {2011},
url = {http://arxiv.org/abs/1106.6196},
eprinttype = {arXiv},
eprint = {1106.6196},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-6196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM10,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {An Interface Group for Process Components},
journal = {Fundam. Informaticae},
volume = {99},
number = {4},
pages = {355--382},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-254},
doi = {10.3233/FI-2010-254},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM10a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Data Linkage Dynamics with Shedding},
journal = {Fundam. Informaticae},
volume = {103},
number = {1-4},
pages = {31--52},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-317},
doi = {10.3233/FI-2010-317},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraM10,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A thread calculus with molecular dynamics},
journal = {Inf. Comput.},
volume = {208},
number = {7},
pages = {817--844},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.01.004},
doi = {10.1016/J.IC.2010.01.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BergstraM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergstraM10,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the operating unit size of load/store architectures},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {3},
pages = {395--417},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990314},
doi = {10.1017/S0960129509990314},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergstraM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5525,
author = {Cornelis A. Middelburg},
title = {Searching publications on operating systems},
journal = {CoRR},
volume = {abs/1003.5525},
year = {2010},
url = {http://arxiv.org/abs/1003.5525},
eprinttype = {arXiv},
eprint = {1003.5525},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-0813,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the definition of a theoretical concept of an operating system},
journal = {CoRR},
volume = {abs/1006.0813},
year = {2010},
url = {http://arxiv.org/abs/1006.0813},
eprinttype = {arXiv},
eprint = {1006.0813},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-2647,
author = {Cornelis A. Middelburg},
title = {Searching publications on software testing},
journal = {CoRR},
volume = {abs/1008.2647},
year = {2010},
url = {http://arxiv.org/abs/1008.2647},
eprinttype = {arXiv},
eprint = {1008.2647},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM09,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Machine structure oriented control code logic},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {375--401},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0099-2},
doi = {10.1007/S00236-009-0099-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BergstraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM09,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences with Dynamically Instantiated Instructions},
journal = {Fundam. Informaticae},
volume = {96},
number = {1-2},
pages = {27--48},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-165},
doi = {10.3233/FI-2009-165},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BergstraM09,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
editor = {Martin Leucker and
Carroll Morgan},
title = {Transmission Protocols for Instruction Streams},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {127--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_8},
doi = {10.1007/978-3-642-03466-4\_8},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BergstraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3003,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Timed tuplix calculus and the Wesseling and van den Berg equation},
journal = {CoRR},
volume = {abs/0901.3003},
year = {2009},
url = {http://arxiv.org/abs/0901.3003},
eprinttype = {arXiv},
eprint = {0901.3003},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3012,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Meadow Enriched {ACP} Process Algebras},
journal = {CoRR},
volume = {abs/0901.3012},
year = {2009},
url = {http://arxiv.org/abs/0901.3012},
eprinttype = {arXiv},
eprint = {0901.3012},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2859,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Transmission protocols for instruction streams},
journal = {CoRR},
volume = {abs/0902.2859},
year = {2009},
url = {http://arxiv.org/abs/0902.2859},
eprinttype = {arXiv},
eprint = {0902.2859},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2914,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A process calculus with finitary comprehended terms},
journal = {CoRR},
volume = {abs/0903.2914},
year = {2009},
url = {http://arxiv.org/abs/0903.2914},
eprinttype = {arXiv},
eprint = {0903.2914},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-2257,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A protocol for instruction stream processing},
journal = {CoRR},
volume = {abs/0905.2257},
year = {2009},
url = {http://arxiv.org/abs/0905.2257},
eprinttype = {arXiv},
eprint = {0905.2257},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-2257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-3083,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence notations with probabilistic instructions},
journal = {CoRR},
volume = {abs/0906.3083},
year = {2009},
url = {http://arxiv.org/abs/0906.3083},
eprinttype = {arXiv},
eprint = {0906.3083},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-3083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM09,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Inversive Meadows and Divisive Meadows},
journal = {CoRR},
volume = {abs/0907.0540},
year = {2009},
url = {http://arxiv.org/abs/0907.0540},
eprinttype = {arXiv},
eprint = {0907.0540},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-2088,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Arithmetical meadows},
journal = {CoRR},
volume = {abs/0909.2088},
year = {2009},
url = {http://arxiv.org/abs/0909.2088},
eprinttype = {arXiv},
eprint = {0909.2088},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-2088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-2089,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Indirect jumps improve instruction sequence performance},
journal = {CoRR},
volume = {abs/0909.2089},
year = {2009},
url = {http://arxiv.org/abs/0909.2089},
eprinttype = {arXiv},
eprint = {0909.2089},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-2089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM09a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Partial Komori fields and imperative Komori fields},
journal = {CoRR},
volume = {abs/0909.5271},
year = {2009},
url = {http://arxiv.org/abs/0909.5271},
eprinttype = {arXiv},
eprint = {0909.5271},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BergstraM09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5564,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequence processing operators},
journal = {CoRR},
volume = {abs/0910.5564},
year = {2009},
url = {http://arxiv.org/abs/0910.5564},
eprinttype = {arXiv},
eprint = {0910.5564},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-5564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-1851,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Functional units for natural numbers},
journal = {CoRR},
volume = {abs/0911.1851},
year = {2009},
url = {http://arxiv.org/abs/0911.1851},
eprinttype = {arXiv},
eprint = {0911.1851},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-1851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-5018,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Autosolvability of halting problem instances for instruction sequences},
journal = {CoRR},
volume = {abs/0911.5018},
year = {2009},
url = {http://arxiv.org/abs/0911.5018},
eprinttype = {arXiv},
eprint = {0911.5018},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-5018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BergstraM08,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Distributed strategic interleaving with load balancing},
journal = {Future Gener. Comput. Syst.},
volume = {24},
number = {6},
pages = {530--548},
year = {2008},
url = {https://doi.org/10.1016/j.future.2007.08.001},
doi = {10.1016/J.FUTURE.2007.08.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BergstraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM08,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Simulating Turing machines on Maurer machines},
journal = {J. Appl. Log.},
volume = {6},
number = {1},
pages = {1--23},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2007.04.001},
doi = {10.1016/J.JAL.2007.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BergstraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM08a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Program algebra with a jump-shift instruction},
journal = {J. Appl. Log.},
volume = {6},
number = {4},
pages = {553--563},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2008.07.001},
doi = {10.1016/J.JAL.2008.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BergstraM08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergstraM08,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Maurer computers for pipelined instruction processing},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {373--409},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006548},
doi = {10.1017/S0960129507006548},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergstraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-2226,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Programming an interpreter using molecular dynamics},
journal = {CoRR},
volume = {abs/0801.2226},
year = {2008},
url = {http://arxiv.org/abs/0801.2226},
eprinttype = {arXiv},
eprint = {0801.2226},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0801-2226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1578,
author = {Jan A. Bergstra and
Kees Middelburg},
title = {Thread extraction for polyadic instruction sequences},
journal = {CoRR},
volume = {abs/0802.1578},
year = {2008},
url = {http://arxiv.org/abs/0802.1578},
eprinttype = {arXiv},
eprint = {0802.1578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-0378,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread algebra for sequential poly-threading},
journal = {CoRR},
volume = {abs/0803.0378},
year = {2008},
url = {http://arxiv.org/abs/0803.0378},
eprinttype = {arXiv},
eprint = {0803.0378},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-0378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4565,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Data linkage algebra, data linkage dynamics, and priority rewriting},
journal = {CoRR},
volume = {abs/0804.4565},
year = {2008},
url = {http://arxiv.org/abs/0804.4565},
eprinttype = {arXiv},
eprint = {0804.4565},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-4034,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Data linkage dynamics with shedding},
journal = {CoRR},
volume = {abs/0806.4034},
year = {2008},
url = {http://arxiv.org/abs/0806.4034},
eprinttype = {arXiv},
eprint = {0806.4034},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-4034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0352,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequences and non-uniform complexity theory},
journal = {CoRR},
volume = {abs/0809.0352},
year = {2008},
url = {http://arxiv.org/abs/0809.0352},
eprinttype = {arXiv},
eprint = {0809.0352},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0352.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-1106,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the expressiveness of single-pass instruction sequences},
journal = {CoRR},
volume = {abs/0810.1106},
year = {2008},
url = {http://arxiv.org/abs/0810.1106},
eprinttype = {arXiv},
eprint = {0810.1106},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-1106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-0436,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequences for the production of processes},
journal = {CoRR},
volume = {abs/0811.0436},
year = {2008},
url = {http://arxiv.org/abs/0811.0436},
eprinttype = {arXiv},
eprint = {0811.0436},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-0436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Synchronous cooperation for explicit multi-threading},
journal = {Acta Informatica},
volume = {44},
number = {7-8},
pages = {525--569},
year = {2007},
url = {https://doi.org/10.1007/s00236-007-0057-9},
doi = {10.1007/S00236-007-0057-9},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences with Indirect Jumps},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {19--46},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&\#38;a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Programming an Interpreter Using Molecular Dynamics},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {47--81},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&\#38;a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread algebra for strategic interleaving},
journal = {Formal Aspects Comput.},
volume = {19},
number = {4},
pages = {445--474},
year = {2007},
url = {https://doi.org/10.1007/s00165-007-0024-9},
doi = {10.1007/S00165-007-0024-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Maurer Computers with Single-Thread Control},
journal = {Fundam. Informaticae},
volume = {80},
number = {4},
pages = {333--362},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Preferential choice and coordination conditions},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {2},
pages = {172--200},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.08.004},
doi = {10.1016/J.JLAP.2006.08.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Thread Algebra with Multi-Level Strategic Interleaving},
journal = {Theory Comput. Syst.},
volume = {41},
number = {1},
pages = {3--32},
year = {2007},
url = {https://doi.org/10.1007/s00224-006-1337-4},
doi = {10.1007/S00224-006-1337-4},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0829,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction sequences with indirect jumps},
journal = {CoRR},
volume = {abs/0711.0829},
year = {2007},
url = {http://arxiv.org/abs/0711.0829},
eprinttype = {arXiv},
eprint = {0711.0829},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0834,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {An interface group for process components},
journal = {CoRR},
volume = {abs/0711.0834},
year = {2007},
url = {http://arxiv.org/abs/0711.0834},
eprinttype = {arXiv},
eprint = {0711.0834},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0836,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Machine structure oriented control code logic},
journal = {CoRR},
volume = {abs/0711.0836},
year = {2007},
url = {http://arxiv.org/abs/0711.0836},
eprinttype = {arXiv},
eprint = {0711.0836},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0838,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On the operating unit size of load/store architectures},
journal = {CoRR},
volume = {abs/0711.0838},
year = {2007},
url = {http://arxiv.org/abs/0711.0838},
eprinttype = {arXiv},
eprint = {0711.0838},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0840,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A thread calculus with molecular dynamics},
journal = {CoRR},
volume = {abs/0711.0840},
year = {2007},
url = {http://arxiv.org/abs/0711.0840},
eprinttype = {arXiv},
eprint = {0711.0840},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-4217,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences with Dynamically Instantiated Instructions},
journal = {CoRR},
volume = {abs/0711.4217},
year = {2007},
url = {http://arxiv.org/abs/0711.4217},
eprinttype = {arXiv},
eprint = {0711.4217},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-4217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1658,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Program algebra with a jump-shift instruction},
journal = {CoRR},
volume = {abs/0712.1658},
year = {2007},
url = {http://arxiv.org/abs/0712.1658},
eprinttype = {arXiv},
eprint = {0712.1658},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-1658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM06,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread Algebra with Multi-Level Strategies},
journal = {Fundam. Informaticae},
volume = {71},
number = {2-3},
pages = {153--182},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraM06,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Splitting bisimulations and retrospective conditions},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1083--1138},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.03.003},
doi = {10.1016/J.IC.2006.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BergstraM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraM06,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Continuity controlled hybrid automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {68},
number = {1-2},
pages = {5--53},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.10.002},
doi = {10.1016/J.JLAP.2005.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BergstraM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BergstraM08,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Parallel Processes with Implicit Computational Capital},
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 = {55--81},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.004},
doi = {10.1016/J.ENTCS.2008.04.004},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BergstraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraM05,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Process algebra for hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {335},
number = {2-3},
pages = {215--280},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.04.019},
doi = {10.1016/J.TCS.2004.04.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergstraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraM05,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Model Theory for Process Algebra},
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 = {445--495},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_21},
doi = {10.1007/11601548\_21},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BergstraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BergstraM05,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Strong Splitting Bisimulation Equivalence},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {83--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_6},
doi = {10.1007/11548133\_6},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BergstraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergstraM05,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {A Thread Algebra with Multi-level Strategic Interleaving},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {35--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_5},
doi = {10.1007/11494645\_5},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/BergstraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Middelburg06,
author = {Cornelis A. Middelburg},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Conditionals in Algebraic Process Calculi},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {237--241},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.088},
doi = {10.1016/J.ENTCS.2005.12.088},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Middelburg06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM04,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Located Actions in Process Algebra with Timing},
journal = {Fundam. Informaticae},
volume = {61},
number = {3-4},
pages = {183--211},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Middelburg03a,
author = {Cornelis A. Middelburg},
title = {Revisiting timing in process algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {54},
number = {1-2},
pages = {109--127},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00029-2},
doi = {10.1016/S1567-8326(02)00029-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Middelburg03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Middelburg03,
author = {Cornelis A. Middelburg},
title = {An alternative formulation of operational conservativity with binding
terms},
journal = {J. Log. Algebraic Methods Program.},
volume = {55},
number = {1-2},
pages = {1--19},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00039-5},
doi = {10.1016/S1567-8326(02)00039-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Middelburg03.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/fuin/Middelburg02,
author = {Kees Middelburg},
title = {Process Algebra with Nonstandard Timing},
journal = {Fundam. Informaticae},
volume = {53},
number = {1},
pages = {55--77},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-1-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Middelburg02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Middelburg01,
author = {Cornelis A. Middelburg},
title = {Variable binding operators in transition system specifications},
journal = {J. Log. Algebraic Methods Program.},
volume = {47},
number = {1},
pages = {15--45},
year = {2001},
url = {https://doi.org/10.1016/S1567-8326(00)00003-5},
doi = {10.1016/S1567-8326(00)00003-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Middelburg01.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}
}
@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/BergstraMU01,
author = {Jan A. Bergstra and
Cornelis A. Middelburg and
Yaroslav S. Usenko},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Discrete Time Process Algebra and the Semantics of {SDL}},
booktitle = {Handbook of Process Algebra},
pages = {1209--1268},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50036-9},
doi = {10.1016/B978-044482830-9/50036-9},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/01/BergstraMU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Middelburg98,
author = {Cornelis A. Middelburg},
title = {Truth of Duration Calculus Formulae in Timed Frames},
journal = {Fundam. Informaticae},
volume = {36},
number = {2-3},
pages = {235--263},
year = {1998},
url = {https://doi.org/10.3233/FI-1998-36236},
doi = {10.3233/FI-1998-36236},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Middelburg98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BergstraMS97,
author = {Jan A. Bergstra and
Cornelis A. Middelburg and
Gheorghe Stefanescu},
title = {Network algebra for asynchronous dataflow},
journal = {Int. J. Comput. Math.},
volume = {65},
number = {1-2},
pages = {57--88},
year = {1997},
url = {https://doi.org/10.1080/00207169708804599},
doi = {10.1080/00207169708804599},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/BergstraMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BergstraFM96,
author = {Jan A. Bergstra and
Wan J. Fokkink and
Cornelis A. Middelburg},
title = {Algebra of timed frames},
journal = {Int. J. Comput. Math.},
volume = {61},
number = {3-4},
pages = {227--255},
year = {1996},
url = {https://doi.org/10.1080/00207169608804514},
doi = {10.1080/00207169608804514},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/BergstraFM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0076457,
author = {Loe M. G. Feijs and
Hans Jonkers and
Cornelis A. Middelburg},
title = {Notations for software design},
series = {{FACIT:} Formal approaches to computing and information technology},
publisher = {Springer},
year = {1994},
isbn = {978-3-540-19902-1},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0076457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JonesM94,
author = {Cliff B. Jones and
Cornelis A. Middelburg},
title = {A Typed Logic of Partial Functions Reconstructed Classically},
journal = {Acta Informatica},
volume = {31},
number = {5},
pages = {399--430},
year = {1994},
url = {https://doi.org/10.1007/BF01178666},
doi = {10.1007/BF01178666},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JonesM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isn/BoumaLMMV94,
author = {Wiet Bouma and
Willem J. M. Levelt and
Alfo Melisse and
Kees Middelburg and
Louis Verhaard},
editor = {Hans{-}J{\"{u}}rgen Kugler and
Alvin P. Mullery and
Norbert Niebert},
title = {Formalisation of Properties for Feature Interaction Detection: Experience
in a Real-Life Situation},
booktitle = {Towards a Pan-European Telecommunication Service Infrastructure -
IS{\&}N'94, Second International Conference on Intelligence in
Broadband Services and Networks, Aachen, Germany, September 7-9, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {851},
pages = {393--405},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013431},
doi = {10.1007/BFB0013431},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/isn/BoumaLMMV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosl/1993,
editor = {D. J. Andrews and
Jan Friso Groote and
Cornelis A. Middelburg},
title = {Semantics of Specification Languages (SoSL), Proceedings of the International
Workshop on Semantics of Specification Languages, Utrecht, The Netherlands,
25-27 October 1993},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3229-5},
doi = {10.1007/978-1-4471-3229-5},
isbn = {3-540-19854-7},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosl/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Middelburg92,
author = {Cornelis A. Middelburg},
title = {Modular Structuring of {VDM} Specifications in {VVSL}},
journal = {Formal Aspects Comput.},
volume = {4},
number = {1},
pages = {13--47},
year = {1992},
url = {https://doi.org/10.1007/BF01214955},
doi = {10.1007/BF01214955},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Middelburg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Middelburg92,
author = {Cornelis A. Middelburg},
title = {Specification of interfering programs based on interconditions},
journal = {Softw. Eng. J.},
volume = {7},
number = {3},
pages = {205--217},
year = {1992},
url = {https://doi.org/10.1049/sej.1992.0022},
doi = {10.1049/SEJ.1992.0022},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Middelburg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/Middelburg92,
author = {Cornelis A. Middelburg},
editor = {David J. Harper and
Moira C. Norrie},
title = {{VVSL} Specification of a Transaction-oriented Access Handler},
booktitle = {Specifications of Database Systems},
series = {Workshops in Computing},
pages = {188--212},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3864-8\_10},
doi = {10.1007/978-1-4471-3864-8\_10},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/92/Middelburg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MiddelburgL91,
author = {Cornelis A. Middelburg and
Gerard R. Renardel de Lavalette},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {{LPF} and MPL\({}_{\mbox{omega}}\) - {A} Logical Comparison of {VDM}
{SL} and {COLD-K}},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {279--308},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_18},
doi = {10.1007/3-540-54834-3\_18},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MiddelburgL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Middelburg89,
author = {Cornelis A. Middelburg},
title = {{VVSL:} {A} Language for Structured {VDM} Specifications},
journal = {Formal Aspects Comput.},
volume = {1},
number = {1},
pages = {115--135},
year = {1989},
url = {https://doi.org/10.1007/BF01887200},
doi = {10.1007/BF01887200},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Middelburg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/Middelburg89,
author = {Cornelis A. Middelburg},
editor = {Jan A. Bergstra and
Loe M. G. Feijs},
title = {Experiences with Combining Formalisms in {VVSL}},
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 = {83--103},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53912-3\_19},
doi = {10.1007/3-540-53912-3\_19},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/am/Middelburg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Middelburg88,
author = {Kees Middelburg},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {The {VIP} {VDM} Specification Language},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {187--201},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_17},
doi = {10.1007/3-540-50214-9\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Middelburg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Middleburg82,
author = {Cornelis A. Middelburg},
editor = {David R. Ditzel and
Lloyd Dickman},
title = {The Effect of the {PDP-11} Architecture on Code Generation for Chill},
booktitle = {Proceedings of the Symposium on Architectural Support for Programming
Languages and Operating Systems, Palo Alto, California, USA, March
1-3, 1982},
pages = {149--157},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/800050.801838},
doi = {10.1145/800050.801838},
timestamp = {Wed, 07 Jul 2021 13:23:09 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Middleburg82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-05 21:08 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:
