Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jan A. Bergstra
@article{DBLP:journals/cj/BergstraT23, author = {Jan A. Bergstra and John V. Tucker}, title = {On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness}, journal = {Comput. J.}, volume = {66}, number = {7}, pages = {1565--1572}, year = {2023}, url = {https://doi.org/10.1093/comjnl/bxac026}, doi = {10.1093/COMJNL/BXAC026}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BergstraT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/BergstraT23, author = {Jan A. Bergstra and John V. Tucker}, title = {Naive Fracterm Calculus}, journal = {J. Univers. Comput. Sci.}, volume = {29}, number = {9}, pages = {961--987}, year = {2023}, url = {https://doi.org/10.3897/jucs.87563}, doi = {10.3897/JUCS.87563}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/BergstraT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BergstraT23, author = {Jan A. Bergstra and John V. Tucker}, title = {Eager Equality for Rational Number Arithmetic}, journal = {{ACM} Trans. Comput. Log.}, volume = {24}, number = {3}, pages = {22:1--22:28}, year = {2023}, url = {https://doi.org/10.1145/3580365}, doi = {10.1145/3580365}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/BergstraT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-14821, author = {Jan A. Bergstra and Alban Ponse}, title = {Conditional logic as a short-circuit logic}, journal = {CoRR}, volume = {abs/2304.14821}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.14821}, doi = {10.48550/ARXIV.2304.14821}, eprinttype = {arXiv}, eprint = {2304.14821}, timestamp = {Thu, 04 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-14821.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-04270, author = {Jan A. Bergstra and John V. Tucker}, title = {A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows}, journal = {CoRR}, volume = {abs/2307.04270}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.04270}, doi = {10.48550/ARXIV.2307.04270}, eprinttype = {arXiv}, eprint = {2307.04270}, timestamp = {Mon, 24 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-04270.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra22, author = {Jan A. Bergstra}, title = {A Survey of Testing for Instruction Sequence Theory}, journal = {Sci. Ann. Comput. Sci.}, volume = {32}, number = {1}, pages = {5--86}, year = {2022}, url = {https://doi.org/10.7561/SACS.2022.1.5}, doi = {10.7561/SACS.2022.1.5}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/BergstraT22, author = {Jan A. Bergstra and John V. Tucker}, title = {Which Arithmetical Data Types Admit Fracterm Flattening?}, journal = {Sci. Ann. Comput. Sci.}, volume = {32}, number = {1}, pages = {87--107}, year = {2022}, url = {https://doi.org/10.7561/SACS.2022.1.87}, doi = {10.7561/SACS.2022.1.87}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/BergstraT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra22a, author = {Jan A. Bergstra}, title = {Four Notions of Fault for Program Specifications}, journal = {Sci. Ann. Comput. Sci.}, volume = {32}, number = {2}, pages = {183--209}, year = {2022}, url = {https://doi.org/10.7561/SACS.2022.2.183}, doi = {10.7561/SACS.2022.2.183}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/BergstraT22, author = {Jan A. Bergstra and John V. Tucker}, title = {Partial arithmetical data types of rational numbers and their equational specification}, journal = {J. Log. Algebraic Methods Program.}, volume = {128}, pages = {100797}, year = {2022}, url = {https://doi.org/10.1016/j.jlamp.2022.100797}, doi = {10.1016/J.JLAMP.2022.100797}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BergstraT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BergstraT22, author = {Jan A. Bergstra and John V. Tucker}, editor = {Nils Jansen and Mari{\"{e}}lle Stoelinga and Petra van den Bos}, title = {Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory}, booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13560}, pages = {63--80}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15629-8\_4}, doi = {10.1007/978-3-031-15629-8\_4}, timestamp = {Sat, 24 Sep 2022 20:46:57 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BergstraT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra21, author = {Jan A. Bergstra}, title = {Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent}, journal = {Sci. Ann. Comput. Sci.}, volume = {31}, number = {1}, pages = {1--50}, year = {2021}, url = {https://doi.org/10.7561/SACS.2021.1.1}, doi = {10.7561/SACS.2021.1.1}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra21.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/jancl/BergstraPS21, author = {Jan A. Bergstra and Alban Ponse and Daan J. C. Staudt}, title = {Non-commutative propositional logic with short-circuit evaluation}, journal = {J. Appl. Non Class. Logics}, volume = {31}, number = {3-4}, pages = {234--278}, year = {2021}, url = {https://doi.org/10.1080/11663081.2021.2010954}, doi = {10.1080/11663081.2021.2010954}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/BergstraPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BergstraP21, author = {Jan A. Bergstra and Alban Ponse}, title = {Datatype defining rewrite systems for naturals and integers}, journal = {Log. Methods Comput. Sci.}, volume = {17}, number = {1}, year = {2021}, url = {https://lmcs.episciences.org/7192}, timestamp = {Mon, 08 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/BergstraP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BergstraP20, author = {Jan A. Bergstra and Alban Ponse}, title = {Arithmetical datatypes with true fractions}, journal = {Acta Informatica}, volume = {57}, number = {3-5}, pages = {385--402}, year = {2020}, url = {https://doi.org/10.1007/s00236-019-00352-8}, doi = {10.1007/S00236-019-00352-8}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BergstraP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra20, author = {Jan A. Bergstra}, title = {Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers}, journal = {Sci. Ann. Comput. Sci.}, volume = {30}, number = {1}, pages = {1--24}, year = {2020}, url = {https://doi.org/10.7561/SACS.2020.1.1}, doi = {10.7561/SACS.2020.1.1}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra20a, author = {Jan A. Bergstra}, title = {Instruction Sequence Faults with Formal Change Justification}, journal = {Sci. Ann. Comput. Sci.}, volume = {30}, number = {2}, pages = {105--166}, year = {2020}, url = {https://doi.org/10.7561/SACS.2020.2.105}, doi = {10.7561/SACS.2020.2.105}, timestamp = {Fri, 19 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra20b, author = {Jan A. Bergstra}, title = {Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation}, journal = {Sci. Ann. Comput. Sci.}, volume = {30}, number = {2}, pages = {167--203}, year = {2020}, url = {https://doi.org/10.7561/SACS.2020.2.167}, doi = {10.7561/SACS.2020.2.167}, timestamp = {Fri, 19 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra20b.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} }
@inproceedings{DBLP:conf/wadt/BergstraT20, author = {Jan A. Bergstra and John V. Tucker}, editor = {Markus Roggenbach}, title = {The Wheel of Rational Numbers as an Abstract Data Type}, booktitle = {Recent Trends in Algebraic Development Techniques - 25th International Workshop, {WADT} 2020, Virtual Event, April 29, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12669}, pages = {13--30}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-73785-6\_2}, doi = {10.1007/978-3-030-73785-6\_2}, timestamp = {Tue, 20 Apr 2021 16:12:01 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BergstraT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-01543, author = {Jan A. Bergstra and Mark Burgess}, title = {A Promise Theoretic Account of the Boeing 737 Max {MCAS} Algorithm Affair}, journal = {CoRR}, volume = {abs/2001.01543}, year = {2020}, url = {http://arxiv.org/abs/2001.01543}, eprinttype = {arXiv}, eprint = {2001.01543}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-01543.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-05690, author = {Jan A. Bergstra and Mark Burgess}, title = {Candidate Software Process Flaws for the Boeing 737 Max {MCAS} Algorithm and Risks for a Proposed Upgrade}, journal = {CoRR}, volume = {abs/2001.05690}, year = {2020}, url = {https://arxiv.org/abs/2001.05690}, eprinttype = {arXiv}, eprint = {2001.05690}, timestamp = {Fri, 17 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-05690.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csjm/Bergstra19, author = {Jan A. Bergstra}, title = {Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers}, journal = {Comput. Sci. J. Moldova}, volume = {27}, number = {2}, pages = {131--161}, year = {2019}, url = {http://www.math.md/publications/csjm/issues/v27-n2/12969/}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csjm/Bergstra19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Bergstra19, author = {Jan A. Bergstra}, title = {Adams Conditioning and Likelihood Ratio Transfer Mediated Inference}, journal = {Sci. Ann. Comput. Sci.}, volume = {29}, number = {1}, pages = {1--58}, year = {2019}, url = {https://doi.org/10.7561/SACS.2019.1.1}, doi = {10.7561/SACS.2019.1.1}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/Bergstra19.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-1904-08722, author = {Jan A. Bergstra}, title = {Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers}, journal = {CoRR}, volume = {abs/1904.08722}, year = {2019}, url = {http://arxiv.org/abs/1904.08722}, eprinttype = {arXiv}, eprint = {1904.08722}, timestamp = {Fri, 26 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-08722.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/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/corr/abs-1810-02142, author = {Jan A. Bergstra and Alban Ponse and Daan J. C. Staudt}, title = {Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant}, journal = {CoRR}, volume = {abs/1810.02142}, year = {2018}, url = {http://arxiv.org/abs/1810.02142}, eprinttype = {arXiv}, eprint = {1810.02142}, timestamp = {Tue, 30 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-02142.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/BergstraB17, author = {Jan A. Bergstra and Inge Bethke}, title = {Subvarieties of the Variety of Meadows}, journal = {Sci. Ann. Comput. Sci.}, volume = {27}, number = {1}, pages = {1--18}, year = {2017}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&\#38;=0}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/BergstraB17.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/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/corr/abs-1707-00499, author = {Jan A. Bergstra and Inge Bethke and Dimitri Hendriks}, title = {Universality of Univariate Mixed Fractions in Divisive Meadows}, journal = {CoRR}, volume = {abs/1707.00499}, year = {2017}, url = {http://arxiv.org/abs/1707.00499}, eprinttype = {arXiv}, eprint = {1707.00499}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1707-00499.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} }
@inproceedings{DBLP:conf/wadt/BergstraP16, author = {Jan A. Bergstra and Alban Ponse}, editor = {Phillip James and Markus Roggenbach}, title = {Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)}, booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG} 1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10644}, pages = {73--87}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-72044-9\_6}, doi = {10.1007/978-3-319-72044-9\_6}, timestamp = {Wed, 19 May 2021 08:32:29 +0200}, biburl = {https://dblp.org/rec/conf/wadt/BergstraP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BergstraP16, author = {Jan A. Bergstra and Alban Ponse}, title = {Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view}, journal = {CoRR}, volume = {abs/1608.06212}, year = {2016}, url = {http://arxiv.org/abs/1608.06212}, eprinttype = {arXiv}, eprint = {1608.06212}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Bergstra16, author = {Jan A. Bergstra}, title = {Adams Conditioning and Likelihood Ratio Transfer Mediated Inference}, journal = {CoRR}, volume = {abs/1611.09351}, year = {2016}, url = {http://arxiv.org/abs/1611.09351}, eprinttype = {arXiv}, eprint = {1611.09351}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Bergstra16.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/jancl/BergstraB15, author = {Jan A. Bergstra and Inge Bethke}, title = {Note on paraconsistency and reasoning about fractions}, journal = {J. Appl. Non Class. Logics}, volume = {25}, number = {2}, pages = {120--124}, year = {2015}, url = {https://doi.org/10.1080/11663081.2015.1047232}, doi = {10.1080/11663081.2015.1047232}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BergstraB15.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/japll/BergstraBP15, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Equations for formally real meadows}, journal = {J. Appl. Log.}, volume = {13}, number = {2}, pages = {1--23}, year = {2015}, url = {https://doi.org/10.1016/j.jal.2015.01.004}, doi = {10.1016/J.JAL.2015.01.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BergstraBP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BergstraP15a, author = {Jan A. Bergstra and Alban Ponse}, editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim}, title = {Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence}, booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9360}, pages = {44--61}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23506-6\_6}, doi = {10.1007/978-3-319-23506-6\_6}, timestamp = {Mon, 02 Sep 2019 16:45:58 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BergstraP15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BergstraP15, author = {Jan A. Bergstra and Alban Ponse}, editor = {Rocco De Nicola and Rolf Hennicker}, title = {Division by Zero in Common Meadows}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {8950}, pages = {46--61}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15545-6\_6}, doi = {10.1007/978-3-319-15545-6\_6}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BergstraP15.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/Bergstra15, author = {Jan A. Bergstra}, title = {Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money}, journal = {CoRR}, volume = {abs/1504.07184}, year = {2015}, url = {http://arxiv.org/abs/1504.07184}, eprinttype = {arXiv}, eprint = {1504.07184}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Bergstra15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BergstraP15, author = {Jan A. Bergstra and Alban Ponse}, title = {Evaluation trees for proposition algebra}, journal = {CoRR}, volume = {abs/1504.08321}, year = {2015}, url = {http://arxiv.org/abs/1504.08321}, eprinttype = {arXiv}, eprint = {1504.08321}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1507-00548, author = {Jan A. Bergstra and Inge Bethke}, title = {A negative result on algebraic specifications of the meadow of rational numbers}, journal = {CoRR}, volume = {abs/1507.00548}, year = {2015}, url = {http://arxiv.org/abs/1507.00548}, eprinttype = {arXiv}, eprint = {1507.00548}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1507-00548.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/abs-1510-04021, author = {Jan A. Bergstra and Inge Bethke}, title = {Subvarieties of the variety of meadows}, journal = {CoRR}, volume = {abs/1510.04021}, year = {2015}, url = {http://arxiv.org/abs/1510.04021}, eprinttype = {arXiv}, eprint = {1510.04021}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1510-04021.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/jlp/BergstraT14, author = {Jan A. Bergstra and John V. Tucker}, title = {Editor's Note}, journal = {J. Log. Algebraic Methods Program.}, volume = {83}, number = {2}, pages = {82}, year = {2014}, url = {https://doi.org/10.1016/j.jlamp.2014.04.002}, doi = {10.1016/J.JLAMP.2014.04.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BergstraT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BergstraB14, author = {Jan A. Bergstra and Mark Burgess}, title = {Promises, Impositions, and other Directionals}, journal = {CoRR}, volume = {abs/1401.3381}, year = {2014}, url = {http://arxiv.org/abs/1401.3381}, eprinttype = {arXiv}, eprint = {1401.3381}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BergstraW14, author = {Jan A. Bergstra and Peter Weijland}, title = {Bitcoin: a Money-like Informational Commodity}, journal = {CoRR}, volume = {abs/1402.4778}, year = {2014}, url = {http://arxiv.org/abs/1402.4778}, eprinttype = {arXiv}, eprint = {1402.4778}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraW14.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/BergstraP14, author = {Jan A. Bergstra and Alban Ponse}, title = {Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals}, journal = {CoRR}, volume = {abs/1406.3280}, year = {2014}, url = {http://arxiv.org/abs/1406.3280}, eprinttype = {arXiv}, eprint = {1406.3280}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraP14.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/BergstraB14a, author = {Jan A. Bergstra and Inge Bethke}, title = {Note on paraconsistency and the logic of fractions}, journal = {CoRR}, volume = {abs/1410.8692}, year = {2014}, url = {http://arxiv.org/abs/1410.8692}, eprinttype = {arXiv}, eprint = {1410.8692}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraB14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Bergstra14, author = {Jan A. Bergstra}, title = {Personal Multi-threading}, journal = {CoRR}, volume = {abs/1412.3579}, year = {2014}, url = {http://arxiv.org/abs/1412.3579}, eprinttype = {arXiv}, eprint = {1412.3579}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Bergstra14.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/cj/BergstraBMW13, author = {Jan A. Bergstra and Jens Blanck and Faron Moller and Stanley S. Wainer}, title = {Guest Editorial}, journal = {Comput. J.}, volume = {56}, number = {1}, pages = {2}, year = {2013}, url = {https://doi.org/10.1093/comjnl/bxs147}, doi = {10.1093/COMJNL/BXS147}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BergstraBMW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BergstraBP13, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Cancellation Meadows: {A} Generic Basis Theorem and Some Applications}, journal = {Comput. J.}, volume = {56}, number = {1}, pages = {3--14}, year = {2013}, url = {https://doi.org/10.1093/comjnl/bxs028}, doi = {10.1093/COMJNL/BXS028}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BergstraBP13.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/eatcs/BergstraKR13, author = {Jan A. Bergstra and Jan Willem Klop and Jan Rutten}, title = {Obituary for Jaco de Bakker, 1939-2012}, journal = {Bull. {EATCS}}, volume = {109}, pages = {14--16}, year = {2013}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/24}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/BergstraKR13.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/scp/Bergstra13, author = {Jan A. Bergstra}, title = {Editorial}, journal = {Sci. Comput. Program.}, volume = {78}, number = {9}, pages = {1207}, year = {2013}, url = {https://doi.org/10.1016/j.scico.2010.06.001}, doi = {10.1016/J.SCICO.2010.06.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Bergstra13.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/abs-1304-4758, author = {Jan A. Bergstra and Karl de Leeuw}, title = {Bitcoin and Beyond: Exclusively Informational Monies}, journal = {CoRR}, volume = {abs/1304.4758}, year = {2013}, url = {http://arxiv.org/abs/1304.4758}, eprinttype = {arXiv}, eprint = {1304.4758}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-4758.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-5956, author = {Jan A. Bergstra and Karl de Leeuw}, title = {Questions related to Bitcoin and other Informational Money}, journal = {CoRR}, volume = {abs/1305.5956}, year = {2013}, url = {http://arxiv.org/abs/1305.5956}, eprinttype = {arXiv}, eprint = {1305.5956}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-5956.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Bergstra13, author = {Jan A. Bergstra}, title = {Decision Taking versus Promise Issuing}, journal = {CoRR}, volume = {abs/1306.6412}, year = {2013}, url = {http://arxiv.org/abs/1306.6412}, eprinttype = {arXiv}, eprint = {1306.6412}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Bergstra13.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/BergstraBP13, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Equations for formally real meadows}, journal = {CoRR}, volume = {abs/1310.5011}, year = {2013}, url = {http://arxiv.org/abs/1310.5011}, eprinttype = {arXiv}, eprint = {1310.5011}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraBP13.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/mst/BergstraB12, author = {Jan A. Bergstra and Inge Bethke}, title = {On the Contribution of Backward Jumps to Instruction Sequence Expressiveness}, journal = {Theory Comput. Syst.}, volume = {50}, number = {4}, pages = {706--720}, year = {2012}, url = {https://doi.org/10.1007/s00224-011-9376-x}, doi = {10.1007/S00224-011-9376-X}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/BergstraB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1201-3929, author = {Jan A. Bergstra}, title = {About Instruction Sequence Testing}, journal = {CoRR}, volume = {abs/1201.3929}, year = {2012}, url = {http://arxiv.org/abs/1201.3929}, eprinttype = {arXiv}, eprint = {1201.3929}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1201-3929.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-1881, author = {Jan A. Bergstra}, title = {Four Conceptions of Instruction Sequence Faults}, journal = {CoRR}, volume = {abs/1204.1881}, year = {2012}, url = {http://arxiv.org/abs/1204.1881}, eprinttype = {arXiv}, eprint = {1204.1881}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1204-1881.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/corr/abs-1205-4194, author = {Jan A. Bergstra}, title = {Decision Taking as a Service}, journal = {CoRR}, volume = {abs/1205.4194}, year = {2012}, url = {http://arxiv.org/abs/1205.4194}, eprinttype = {arXiv}, eprint = {1205.4194}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-4194.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-6177, author = {Jan A. Bergstra}, title = {Decision Taking versus Action Determination}, journal = {CoRR}, volume = {abs/1205.6177}, year = {2012}, url = {http://arxiv.org/abs/1205.6177}, eprinttype = {arXiv}, eprint = {1205.6177}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-6177.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-2460, author = {Jan A. Bergstra}, title = {Decision Taking for Selling Thread Startup}, journal = {CoRR}, volume = {abs/1208.2460}, year = {2012}, url = {http://arxiv.org/abs/1208.2460}, eprinttype = {arXiv}, eprint = {1208.2460}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-2460.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1210-6636, author = {Jan A. Bergstra}, title = {Informaticology: combining Computer Science, Data Science, and Fiction Science}, journal = {CoRR}, volume = {abs/1210.6636}, year = {2012}, url = {http://arxiv.org/abs/1210.6636}, eprinttype = {arXiv}, eprint = {1210.6636}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-6636.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/mst/BergstraB11, author = {Jan A. Bergstra and Inge Bethke}, title = {Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows}, journal = {Theory Comput. Syst.}, volume = {48}, number = {4}, pages = {840--864}, year = {2011}, url = {https://doi.org/10.1007/s00224-010-9272-9}, doi = {10.1007/S00224-010-9272-9}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/BergstraB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Bergstra11, author = {Jan A. Bergstra}, title = {Editorial}, journal = {Sci. Comput. Program.}, volume = {76}, number = {7}, pages = {541}, year = {2011}, url = {https://doi.org/10.1016/j.scico.2009.12.001}, doi = {10.1016/J.SCICO.2009.12.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Bergstra11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraP11, author = {Jan A. Bergstra and Jaco van de Pol}, title = {A calculus for four-valued sequential logic}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {28}, pages = {3122--3128}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.02.035}, doi = {10.1016/J.TCS.2011.02.035}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BergstraP11, author = {Jan A. Bergstra and Alban Ponse}, title = {Proposition algebra}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {3}, pages = {21:1--21:36}, year = {2011}, url = {https://doi.org/10.1145/1929954.1929958}, doi = {10.1145/1929954.1929958}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BergstraP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/BergstraP11, author = {Jan A. Bergstra and Alban Ponse}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Proposition Algebra and Short-Circuit Logic}, booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference, {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7141}, pages = {15--31}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29320-7\_2}, doi = {10.1007/978-3-642-29320-7\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/fsen/BergstraP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1103-4515, author = {Jan A. Bergstra}, title = {Real Islamic Logic}, journal = {CoRR}, volume = {abs/1103.4515}, year = {2011}, url = {http://arxiv.org/abs/1103.4515}, eprinttype = {arXiv}, eprint = {1103.4515}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-4515.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/corr/abs-1107-4684, author = {Jan A. Bergstra and Guus P. A. J. Delen and S. F. M. van Vlijmen}, title = {Introducing Sourcements}, journal = {CoRR}, volume = {abs/1107.4684}, year = {2011}, url = {http://arxiv.org/abs/1107.4684}, eprinttype = {arXiv}, eprint = {1107.4684}, timestamp = {Fri, 23 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1107-4684.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-6536, author = {Jan A. Bergstra and Guus P. A. J. Delen and S. F. M. van Vlijmen}, title = {Outsourcing Competence}, journal = {CoRR}, volume = {abs/1109.6536}, year = {2011}, url = {http://arxiv.org/abs/1109.6536}, eprinttype = {arXiv}, eprint = {1109.6536}, timestamp = {Fri, 23 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-6536.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1110-1866, author = {Jan A. Bergstra}, title = {Putting Instruction Sequences into Effect}, journal = {CoRR}, volume = {abs/1110.1866}, year = {2011}, url = {http://arxiv.org/abs/1110.1866}, eprinttype = {arXiv}, eprint = {1110.1866}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-1866.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1110-1957, author = {Jan A. Bergstra and Guus P. A. J. Delen and S. F. M. van Vlijmen}, title = {Stratified Outsourcing Theory}, journal = {CoRR}, volume = {abs/1110.1957}, year = {2011}, url = {http://arxiv.org/abs/1110.1957}, eprinttype = {arXiv}, eprint = {1110.1957}, timestamp = {Fri, 23 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-1957.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1112-5840, author = {Jan A. Bergstra}, title = {Informatics Perspectives on Decision Taking}, journal = {CoRR}, volume = {abs/1112.5840}, year = {2011}, url = {http://arxiv.org/abs/1112.5840}, eprinttype = {arXiv}, eprint = {1112.5840}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1112-5840.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-1005-5662, author = {Jan A. Bergstra and Inge Bethke}, title = {On the contribution of backward jumps to instruction sequence expressiveness}, journal = {CoRR}, volume = {abs/1005.5662}, year = {2010}, url = {http://arxiv.org/abs/1005.5662}, eprinttype = {arXiv}, eprint = {1005.5662}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1005-5662.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-0616, author = {Jan A. Bergstra}, title = {Formaleuros, formalcoins and virtual monies}, journal = {CoRR}, volume = {abs/1008.0616}, year = {2010}, url = {http://arxiv.org/abs/1008.0616}, eprinttype = {arXiv}, eprint = {1008.0616}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1008-0616.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-2902, author = {Jan A. Bergstra}, title = {Informal Control code logic}, journal = {CoRR}, volume = {abs/1009.2902}, year = {2010}, url = {http://arxiv.org/abs/1009.2902}, eprinttype = {arXiv}, eprint = {1009.2902}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-2902.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1010-2850, author = {Jan A. Bergstra}, title = {Steering Fragments of Instruction Sequences}, journal = {CoRR}, volume = {abs/1010.2850}, year = {2010}, url = {http://arxiv.org/abs/1010.2850}, eprinttype = {arXiv}, eprint = {1010.2850}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1010-2850.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1010-3674, author = {Jan A. Bergstra and Alban Ponse}, title = {Short-circuit logic}, journal = {CoRR}, volume = {abs/1010.3674}, year = {2010}, url = {http://arxiv.org/abs/1010.3674}, eprinttype = {arXiv}, eprint = {1010.3674}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1010-3674.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-5059, author = {Jan A. Bergstra and Alban Ponse}, title = {On Hoare-McCarthy algebras}, journal = {CoRR}, volume = {abs/1012.5059}, year = {2010}, url = {http://arxiv.org/abs/1012.5059}, eprinttype = {arXiv}, eprint = {1012.5059}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-5059.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-5739, author = {Jan A. Bergstra and S. F. M. van Vlijmen}, title = {Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations}, journal = {CoRR}, volume = {abs/1012.5739}, year = {2010}, url = {http://arxiv.org/abs/1012.5739}, eprinttype = {arXiv}, eprint = {1012.5739}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-5739.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/cuza/BergstraP09, author = {Jan A. Bergstra and Alban Ponse}, title = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms}, journal = {Sci. Ann. Comput. Sci.}, volume = {19}, pages = {57--92}, year = {2009}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&\#38;a=2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/BergstraP09.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} }
@article{DBLP:journals/tcs/BergstraHT09, author = {Jan A. Bergstra and Yoram Hirshfeld and John V. Tucker}, title = {Meadows and the equational specification of division}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {12-13}, pages = {1261--1271}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2008.12.015}, doi = {10.1016/J.TCS.2008.12.015}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraHT09.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-0901-4664, author = {Jan A. Bergstra and Inge Bethke}, title = {Square root meadows}, journal = {CoRR}, volume = {abs/0901.4664}, year = {2009}, url = {http://arxiv.org/abs/0901.4664}, eprinttype = {arXiv}, eprint = {0901.4664}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0901-4664.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-1352, author = {Jan A. Bergstra and Alban Ponse}, title = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms}, journal = {CoRR}, volume = {abs/0903.1352}, year = {2009}, url = {http://arxiv.org/abs/0903.1352}, eprinttype = {arXiv}, eprint = {0903.1352}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0903-1352.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-0905-4612, author = {Jan A. Bergstra and Inge Bethke}, title = {Straight-line instruction sequence completeness for total calculation on cancellation meadows}, journal = {CoRR}, volume = {abs/0905.4612}, year = {2009}, url = {http://arxiv.org/abs/0905.4612}, eprinttype = {arXiv}, eprint = {0905.4612}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-4612.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/abs-0909-2839, author = {Jan A. Bergstra and Alban Ponse}, title = {A progression ring for interfaces of instruction sequences, threads, and services}, journal = {CoRR}, volume = {abs/0909.2839}, year = {2009}, url = {http://arxiv.org/abs/0909.2839}, eprinttype = {arXiv}, eprint = {0909.2839}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0909-2839.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/corr/abs-0912-4637, author = {Jan A. Bergstra and Mark Burgess}, title = {Local and Global Trust Based on the Concept of Promises}, journal = {CoRR}, volume = {abs/0912.4637}, year = {2009}, url = {http://arxiv.org/abs/0912.4637}, eprinttype = {arXiv}, eprint = {0912.4637}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0912-4637.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/BergstraPZ08, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, title = {Tuplix Calculus}, journal = {Sci. Ann. Comput. Sci.}, volume = {18}, pages = {35--61}, year = {2008}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&\#38;a=2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/BergstraPZ08.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/mst/BergstraT08, author = {Jan A. Bergstra and John V. Tucker}, title = {Division Safe Calculation in Totalised Fields}, journal = {Theory Comput. Syst.}, volume = {43}, number = {3-4}, pages = {410--424}, year = {2008}, url = {https://doi.org/10.1007/s00224-007-9035-4}, doi = {10.1007/S00224-007-9035-4}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/BergstraT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BergstraHT08, author = {Jan A. Bergstra and Yoram Hirshfeld and John V. Tucker}, editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich}, title = {Fields, Meadows and Abstract Data Types}, booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4800}, pages = {166--178}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78127-1\_10}, doi = {10.1007/978-3-540-78127-1\_10}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BergstraHT08.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-0802-3617, author = {Jan A. Bergstra and Sanne Nolst Trenit{\'{e}} and Mark van der Zwaag}, title = {Towards a formalization of budgets}, journal = {CoRR}, volume = {abs/0802.3617}, year = {2008}, url = {http://arxiv.org/abs/0802.3617}, eprinttype = {arXiv}, eprint = {0802.3617}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0802-3617.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/BergstraBP08, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Cancellation Meadows: a Generic Basis Theorem and Some Applications}, journal = {CoRR}, volume = {abs/0803.3969}, year = {2008}, url = {http://arxiv.org/abs/0803.3969}, eprinttype = {arXiv}, eprint = {0803.3969}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraBP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BergstraP08, author = {Jan A. Bergstra and Alban Ponse}, title = {Differential Meadows}, journal = {CoRR}, volume = {abs/0804.3336}, year = {2008}, url = {http://arxiv.org/abs/0804.3336}, eprinttype = {arXiv}, eprint = {0804.3336}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BergstraP08.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-0805-1806, author = {Jan A. Bergstra and Sanne Nolst Trenit{\'{e}} and Mark van der Zwaag}, title = {Tuplix Calculus Specifications of Financial Transfer Networks}, journal = {CoRR}, volume = {abs/0805.1806}, year = {2008}, url = {http://arxiv.org/abs/0805.1806}, eprinttype = {arXiv}, eprint = {0805.1806}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0805-1806.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-0807-3648, author = {Jan A. Bergstra and Alban Ponse}, title = {Proposition Algebra with Projective Limits}, journal = {CoRR}, volume = {abs/0807.3648}, year = {2008}, url = {http://arxiv.org/abs/0807.3648}, eprinttype = {arXiv}, eprint = {0807.3648}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0807-3648.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-0809-4635, author = {Jan A. Bergstra and Mark van der Zwaag}, title = {Mechanistic Behavior of Single-Pass Instruction Sequences}, journal = {CoRR}, volume = {abs/0809.4635}, year = {2008}, url = {http://arxiv.org/abs/0809.4635}, eprinttype = {arXiv}, eprint = {0809.4635}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0809-4635.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-0810-1151, author = {Jan A. Bergstra and Alban Ponse}, title = {An Instruction Sequence Semigroup with Repeaters}, journal = {CoRR}, volume = {abs/0810.1151}, year = {2008}, url = {http://arxiv.org/abs/0810.1151}, eprinttype = {arXiv}, eprint = {0810.1151}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0810-1151.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0810-3294, author = {Jan A. Bergstra and Mark Burgess}, title = {A static theory of promises}, journal = {CoRR}, volume = {abs/0810.3294}, year = {2008}, url = {http://arxiv.org/abs/0810.3294}, eprinttype = {arXiv}, eprint = {0810.3294}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0810-3294.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/BergstraBP07, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Decision problems for pushdown threads}, journal = {Acta Informatica}, volume = {44}, number = {2}, pages = {75--90}, year = {2007}, url = {https://doi.org/10.1007/s00236-007-0040-5}, doi = {10.1007/S00236-007-0040-5}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BergstraBP07.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/jacm/BergstraT07, author = {Jan A. Bergstra and John V. Tucker}, title = {The rational numbers as an abstract data type}, journal = {J. {ACM}}, volume = {54}, number = {2}, pages = {7}, year = {2007}, url = {https://doi.org/10.1145/1219092.1219095}, doi = {10.1145/1219092.1219095}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BergstraT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BergstraP07, author = {Jan A. Bergstra and Alban Ponse}, title = {Execution architectures for program algebra}, journal = {J. Appl. Log.}, volume = {5}, number = {1}, pages = {170--192}, year = {2007}, url = {https://doi.org/10.1016/j.jal.2005.10.013}, doi = {10.1016/J.JAL.2005.10.013}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BergstraP07.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/scp/BergstraK07, author = {Jan A. Bergstra and Paul Klint}, title = {About "trivial" software patents: The IsNot case}, journal = {Sci. Comput. Program.}, volume = {64}, number = {3}, pages = {264--285}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2006.09.003}, doi = {10.1016/J.SCICO.2006.09.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BergstraK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Bergstra07, author = {Jan A. Bergstra}, title = {Letter from the editor}, journal = {Sci. Comput. Program.}, volume = {65}, number = {1}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2006.11.001}, doi = {10.1016/J.SCICO.2006.11.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Bergstra07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0707-0744, author = {Jan A. Bergstra and Inge Bethke and Mark Burgess}, title = {A process algebra based framework for promise theory}, journal = {CoRR}, volume = {abs/0707.0744}, year = {2007}, url = {http://arxiv.org/abs/0707.0744}, eprinttype = {arXiv}, eprint = {0707.0744}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0707-0744.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0707-1059, author = {Jan A. Bergstra and Alban Ponse}, title = {Projection semantics for rigid loops}, journal = {CoRR}, volume = {abs/0707.1059}, year = {2007}, url = {http://arxiv.org/abs/0707.1059}, eprinttype = {arXiv}, eprint = {0707.1059}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0707-1059.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0707-1639, author = {Jan A. Bergstra and Alban Ponse}, title = {Interface groups and financial transfer architectures}, journal = {CoRR}, volume = {abs/0707.1639}, year = {2007}, url = {http://arxiv.org/abs/0707.1639}, eprinttype = {arXiv}, eprint = {0707.1639}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0707-1639.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/corr/abs-0712-3423, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, title = {Tuplix Calculus}, journal = {CoRR}, volume = {abs/0712.3423}, year = {2007}, url = {http://arxiv.org/abs/0712.3423}, eprinttype = {arXiv}, eprint = {0712.3423}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0712-3423.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:conf/birthday/BergstraT06, author = {Jan A. Bergstra and John V. Tucker}, editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, title = {Elementary Algebraic Specifications of the Rational Complex Numbers}, booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4060}, pages = {459--475}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780274\_24}, doi = {10.1007/11780274\_24}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BergstraT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/Bergstra06, author = {Jan A. Bergstra}, editor = {Arnold Beckmann and Ulrich Berger and Benedikt L{\"{o}}we and John V. Tucker}, title = {Elementary Algebraic Specifications of the Rational Function Field}, booktitle = {Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3988}, pages = {40--54}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780342\_5}, doi = {10.1007/11780342\_5}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/Bergstra06.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/ipl/BergstraB05, author = {Jan A. Bergstra and Inge Bethke}, title = {An upper bound for the equational specification of finite state services}, journal = {Inf. Process. Lett.}, volume = {94}, number = {6}, pages = {267--269}, year = {2005}, url = {https://doi.org/10.1016/j.ipl.2005.02.010}, doi = {10.1016/J.IPL.2005.02.010}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BergstraB05, author = {Jan A. Bergstra and Inge Bethke}, title = {Network algebra in Java}, journal = {J. Log. Algebraic Methods Program.}, volume = {62}, number = {2}, pages = {247--271}, year = {2005}, url = {https://doi.org/10.1016/j.jlap.2004.03.011}, doi = {10.1016/J.JLAP.2004.03.011}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/BergstraB05.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} }
@article{DBLP:journals/tcs/BergstraB05, author = {Jan A. Bergstra and Inge Bethke}, title = {Polarized process algebra with reactive composition}, journal = {Theor. Comput. Sci.}, volume = {343}, number = {3}, pages = {285--304}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2005.06.014}, doi = {10.1016/J.TCS.2005.06.014}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraB05.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:conf/egc/BergstraP05, author = {Jan A. Bergstra and Alban Ponse}, editor = {Peter M. A. Sloot and Alfons G. Hoekstra and Thierry Priol and Alexander Reinefeld and Marian Bubak}, title = {A Bypass of Cohen's Impossibility Result}, booktitle = {Advances in Grid Computing - {EGC} 2005, European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3470}, pages = {1097--1106}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11508380\_112}, doi = {10.1007/11508380\_112}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/egc/BergstraP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaetenB06, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Six Themes for Future Concurrency Research}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {61--64}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.090}, doi = {10.1016/J.ENTCS.2005.12.090}, timestamp = {Fri, 20 Jan 2023 12:38:53 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaetenB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bergstra06, author = {Jan A. Bergstra}, editor = {Luca Aceto and Andrew D. Gordon}, title = {On the Design Rationale of {ACP} Style Process Algebras}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {79--85}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.105}, doi = {10.1016/J.ENTCS.2005.12.105}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bergstra06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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/infsof/BergstraW03, author = {Jan A. Bergstra and Pum Walters}, title = {Operator programs and operator processes}, journal = {Inf. Softw. Technol.}, volume = {45}, number = {10}, pages = {681--689}, year = {2003}, url = {https://doi.org/10.1016/S0950-5849(03)00075-2}, doi = {10.1016/S0950-5849(03)00075-2}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/BergstraW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraPZ03, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, title = {Branching time and orthogonal bisimulation equivalence}, journal = {Theor. Comput. Sci.}, volume = {309}, number = {1-3}, pages = {313--355}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(03)00277-9}, doi = {10.1016/S0304-3975(03)00277-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraPZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/Bergstra03, author = {Jan A. Bergstra}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Machine Function Based Control Code Algebras}, booktitle = {Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3188}, pages = {17--41}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-30101-1\_2}, doi = {10.1007/978-3-540-30101-1\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/Bergstra03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BergstraB03, author = {Jan A. Bergstra and Inge Bethke}, editor = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger}, title = {Polarized Process Algebra and Program Equivalence}, booktitle = {Automata, Languages and Programming, 30th International Colloquium, {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2719}, pages = {1--21}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45061-0\_1}, doi = {10.1007/3-540-45061-0\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BergstraB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/Bergstra02, author = {Jan A. Bergstra}, title = {Molecule-oriented programming in Java}, journal = {Inf. Softw. Technol.}, volume = {44}, number = {11}, pages = {617--638}, year = {2002}, url = {https://doi.org/10.1016/S0950-5849(02)00065-4}, doi = {10.1016/S0950-5849(02)00065-4}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/Bergstra02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BergstraL02, author = {Jan A. Bergstra and M. E. Loots}, title = {Program algebra for sequential code}, journal = {J. Log. Algebraic Methods Program.}, volume = {51}, number = {2}, pages = {125--156}, year = {2002}, url = {https://doi.org/10.1016/S1567-8326(02)00018-8}, doi = {10.1016/S1567-8326(02)00018-8}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/BergstraL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BergstraP02, author = {Jan A. Bergstra and Alban Ponse}, title = {Combining programs and state machines}, journal = {J. Log. Algebraic Methods Program.}, volume = {51}, number = {2}, pages = {175--192}, year = {2002}, url = {https://doi.org/10.1016/S1567-8326(02)00020-6}, doi = {10.1016/S1567-8326(02)00020-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BergstraP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BergstraB02, author = {Jan A. Bergstra and Inge Bethke}, title = {Molecular dynamics}, journal = {J. Log. Algebraic Methods Program.}, volume = {51}, number = {2}, pages = {193--214}, year = {2002}, url = {https://doi.org/10.1016/S1567-8326(02)00021-8}, doi = {10.1016/S1567-8326(02)00021-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BergstraB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BergstraP01, author = {Jan A. Bergstra and Alban Ponse}, title = {Process algebra and conditional composition}, journal = {Inf. Process. Lett.}, volume = {80}, number = {1}, pages = {41--49}, year = {2001}, url = {https://doi.org/10.1016/S0020-0190(01)00216-2}, doi = {10.1016/S0020-0190(01)00216-2}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BergstraP01, author = {Jan A. Bergstra and Alban Ponse}, title = {Register-machine based processes}, journal = {J. {ACM}}, volume = {48}, number = {6}, pages = {1207--1241}, year = {2001}, url = {https://doi.org/10.1145/504794.504799}, doi = {10.1145/504794.504799}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BergstraP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraP01, author = {Jan A. Bergstra and Alban Ponse}, title = {Non-regular iterators in process algebra}, journal = {Theor. Comput. Sci.}, volume = {269}, number = {1-2}, pages = {203--229}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00413-8}, doi = {10.1016/S0304-3975(00)00413-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/01/BergstraFP01, author = {Jan A. Bergstra and Wan J. Fokkink and Alban Ponse}, editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka}, title = {Process Algebra with Recursive Operations}, booktitle = {Handbook of Process Algebra}, pages = {333--389}, publisher = {North-Holland / Elsevier}, year = {2001}, url = {https://doi.org/10.1016/b978-044482830-9/50023-0}, doi = {10.1016/B978-044482830-9/50023-0}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/01/BergstraFP01.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} }
@book{DBLP:books/el/01/BPS2001, editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka}, title = {Handbook of Process Algebra}, publisher = {North-Holland / Elsevier}, year = {2001}, url = {https://doi.org/10.1016/b978-0-444-82830-9.x5017-6}, doi = {10.1016/B978-0-444-82830-9.X5017-6}, isbn = {978-0-444-82830-9}, timestamp = {Fri, 28 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/01/BPS2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/X00, author = {Jan A. Bergstra and M. E. Loots}, title = {Program Algebra for Component Code}, journal = {Formal Aspects Comput.}, volume = {12}, number = {1}, pages = {1--17}, year = {2000}, url = {https://doi.org/10.1007/PL00003928}, doi = {10.1007/PL00003928}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/X00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BergstraP00, author = {Jan A. Bergstra and Alban Ponse}, title = {Process Algebra with Four-Valued Logic}, journal = {J. Appl. Non Class. Logics}, volume = {10}, number = {1}, pages = {27--53}, year = {2000}, url = {https://doi.org/10.1080/11663081.2000.10510987}, doi = {10.1080/11663081.2000.10510987}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BergstraP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaetenBR00, author = {Jos C. M. Baeten and Jan A. Bergstra and Michel A. Reniers}, editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte}, title = {Discrete time process algebra with silent step}, booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner}, pages = {535--570}, publisher = {The {MIT} Press}, year = {2000}, timestamp = {Mon, 23 Jun 2008 08:50:50 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaetenBR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BergstraP98, author = {Jan A. Bergstra and Alban Ponse}, title = {Kleene's Three-Valued Logic and Process Algebra}, journal = {Inf. Process. Lett.}, volume = {67}, number = {2}, pages = {95--103}, year = {1998}, url = {https://doi.org/10.1016/S0020-0190(98)00083-0}, doi = {10.1016/S0020-0190(98)00083-0}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BergstraP98, author = {Jan A. Bergstra and Alban Ponse}, title = {Bochvar-McCarthy Logic and Process Algebra}, journal = {Notre Dame J. Formal Log.}, volume = {39}, number = {4}, pages = {464--484}, year = {1998}, url = {https://doi.org/10.1305/ndjfl/1039118863}, doi = {10.1305/NDJFL/1039118863}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BergstraP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BergstraK98, author = {Jan A. Bergstra and Paul Klint}, title = {The Discrete Time {TOOLBUS} - {A} Software Coordination Architecture}, journal = {Sci. Comput. Program.}, volume = {31}, number = {2-3}, pages = {205--229}, year = {1998}, url = {https://doi.org/10.1016/S0167-6423(97)00021-X}, doi = {10.1016/S0167-6423(97)00021-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BergstraK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nada/BergstraP98, author = {Jan A. Bergstra and Alban Ponse}, editor = {Bernhard M{\"{o}}ller and John V. Tucker}, title = {Grid Protocol Specifications}, booktitle = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA} - New Hardware Design Methods, Survey Chapters}, series = {Lecture Notes in Computer Science}, volume = {1546}, pages = {278--308}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49254-2\_8}, doi = {10.1007/3-540-49254-2\_8}, timestamp = {Fri, 12 Jul 2019 14:39:18 +0200}, biburl = {https://dblp.org/rec/conf/nada/BergstraP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaetenB98, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Ilaria Castellani and Catuscia Palamidessi}, title = {Deadlock Behaviour in Split and {ST} Bisimulation Semantics}, booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS} 1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September 7, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {16}, number = {2}, pages = {61--74}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00117-3}, doi = {10.1016/S1571-0661(04)00117-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaetenB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BaetenB97, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time}, journal = {Fundam. Informaticae}, volume = {29}, number = {1-2}, pages = {51--76}, year = {1997}, url = {https://doi.org/10.3233/FI-1997-291203}, doi = {10.3233/FI-1997-291203}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BaetenB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/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/scp/BergstraHP97, author = {Jan A. Bergstra and Joris A. Hillebrand and Alban Ponse}, title = {Grid Protocols Based on Synchronous Communication}, journal = {Sci. Comput. Program.}, volume = {29}, number = {1-2}, pages = {199--233}, year = {1997}, url = {https://doi.org/10.1016/S0167-6423(96)00035-4}, doi = {10.1016/S0167-6423(96)00035-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BergstraHP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaetenB97, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Process Algebra with Propositional Signals}, journal = {Theor. Comput. Sci.}, volume = {177}, number = {2}, pages = {381--405}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00253-8}, doi = {10.1016/S0304-3975(96)00253-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaetenB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BergstraDFH97, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, title = {Toward a Complete Transformational Toolkit for Compilers}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {19}, number = {5}, pages = {639--684}, year = {1997}, url = {https://doi.org/10.1145/265943.265944}, doi = {10.1145/265943.265944}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BergstraDFH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB97, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Antoni W. Mazurkiewicz and J{\'{o}}zef Winkowski}, title = {Bounded Stacks, Bags and Queues}, booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1243}, pages = {104--118}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63141-0\_8}, doi = {10.1007/3-540-63141-0\_8}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fiw/BergstraB97, author = {Jan A. Bergstra and Wiet Bouma}, editor = {Petre Dini and Raouf Boutaba and Luigi Logrippo}, title = {Models for Feature Descriptions and Interactions}, booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montr{\'{e}}al, Canada}, pages = {31--45}, publisher = {{IOS} Press}, year = {1997}, timestamp = {Tue, 16 Nov 2004 10:38:12 +0100}, biburl = {https://dblp.org/rec/conf/fiw/BergstraB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/BaetenB96, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Six Issues Concerning Future Directions in Concurrency Research}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {4es}, pages = {39}, year = {1996}, url = {https://doi.org/10.1145/242224.242272}, doi = {10.1145/242224.242272}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/BaetenB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB96, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Discrete Time Process Algebra}, journal = {Formal Aspects Comput.}, volume = {8}, number = {2}, pages = {188--208}, year = {1996}, url = {https://doi.org/10.1007/BF01214556}, doi = {10.1007/BF01214556}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BergstraS96, author = {Jan A. Bergstra and Gheorghe Stefanescu}, title = {Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation}, journal = {Fundam. Informaticae}, volume = {27}, number = {1}, pages = {37--56}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-27103}, doi = {10.3233/FI-1996-27103}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BergstraS96.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} }
@inproceedings{DBLP:conf/amast/BergstraK96, author = {Jan A. Bergstra and Paul Klint}, editor = {Martin Wirsing and Maurice Nivat}, title = {The Discrete Time {TOOLBUS}}, booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1101}, pages = {286--305}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0014323}, doi = {10.1007/BFB0014323}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/BergstraK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BergstraK96, author = {Jan A. Bergstra and Paul Klint}, editor = {Paolo Ciancarini and Chris Hankin}, title = {The {TOOLBUS} Coordination Architecture}, booktitle = {Coordination Languages and Models, First International Conference, {COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1061}, pages = {75--88}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61052-9\_40}, doi = {10.1007/3-540-61052-9\_40}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BergstraK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BergstraDFH96, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, editor = {Hanne Riis Nielson}, title = {A Complete Transformational Toolkit for Compilers}, booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1058}, pages = {92--107}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61055-3\_31}, doi = {10.1007/3-540-61055-3\_31}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BergstraDFH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/BergstraT95, author = {Jan A. Bergstra and John V. Tucker}, title = {A Data Type Variety of Stack Algebras}, journal = {Ann. Pure Appl. Log.}, volume = {73}, number = {1}, pages = {11--36}, year = {1995}, url = {https://doi.org/10.1016/0168-0072(94)00038-5}, doi = {10.1016/0168-0072(94)00038-5}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/BergstraT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BergstraH95, author = {Jan A. Bergstra and Jan Heering}, title = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts}, journal = {Inf. Comput.}, volume = {119}, number = {1}, pages = {119--123}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1079}, doi = {10.1006/INCO.1995.1079}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BergstraH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaetenBS95, author = {Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka}, title = {Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities}, journal = {Inf. Comput.}, volume = {121}, number = {2}, pages = {234--255}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1135}, doi = {10.1006/INCO.1995.1135}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaetenBS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BergstraT95, author = {Jan A. Bergstra and John V. Tucker}, title = {Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras}, journal = {J. {ACM}}, volume = {42}, number = {6}, pages = {1194--1230}, year = {1995}, url = {https://doi.org/10.1145/227683.227687}, doi = {10.1145/227683.227687}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BergstraT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BergstraBR95, author = {Jan A. Bergstra and Inge Bethke and Piet Rodenburg}, title = {A propositional logic with 4 values: true, false, divergent and meaningless}, journal = {J. Appl. Non Class. Logics}, volume = {5}, number = {2}, pages = {199--217}, year = {1995}, url = {https://doi.org/10.1080/11663081.1995.10510855}, doi = {10.1080/11663081.1995.10510855}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BergstraBR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BaetenB95, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Horst Reichel}, title = {Discrete Time Process Algebra with Abstraction}, booktitle = {Fundamentals of Computation Theory, 10th International Symposium, {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {965}, pages = {1--15}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60249-6\_38}, doi = {10.1007/3-540-60249-6\_38}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/BaetenB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BergstraS95, author = {Jan A. Bergstra and Gheorghe Stefanescu}, editor = {Horst Reichel}, title = {Processes with Multiple Entries and Exits}, booktitle = {Fundamentals of Computation Theory, 10th International Symposium, {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {965}, pages = {136--145}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60249-6\_46}, doi = {10.1007/3-540-60249-6\_46}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/BergstraS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BergstraBP94, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, title = {Process Algebra with Iteration and Nesting}, journal = {Comput. J.}, volume = {37}, number = {4}, pages = {243--258}, year = {1994}, url = {https://doi.org/10.1093/comjnl/37.4.243}, doi = {10.1093/COMJNL/37.4.243}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BergstraBP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB94, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes}, journal = {Formal Aspects Comput.}, volume = {6}, number = {3}, pages = {250--268}, year = {1994}, url = {https://doi.org/10.1007/BF01215407}, doi = {10.1007/BF01215407}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BergstraS94, author = {Jan A. Bergstra and Gheorghe Stefanescu}, title = {Bisimulation is Two-Way Simulation}, journal = {Inf. Process. Lett.}, volume = {52}, number = {6}, pages = {285--287}, year = {1994}, url = {https://doi.org/10.1016/0020-0190(94)00165-0}, doi = {10.1016/0020-0190(94)00165-0}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/BenthemB94, author = {Johan van Benthem and Jan A. Bergstra}, title = {Logic of Transition Systems}, journal = {J. Log. Lang. Inf.}, volume = {3}, number = {4}, pages = {247--283}, year = {1994}, url = {https://doi.org/10.1007/BF01160018}, doi = {10.1007/BF01160018}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/BenthemB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraH94, author = {Jan A. Bergstra and Jan Heering}, title = {Which Data Types have omega-complete Initial Algebra Specifications?}, journal = {Theor. Comput. Sci.}, volume = {124}, number = {1}, pages = {149--168}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)90057-4}, doi = {10.1016/0304-3975(94)90057-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB94, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Process Algebra with Partial Choice}, booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {836}, pages = {465--480}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/978-3-540-48654-1\_34}, doi = {10.1007/978-3-540-48654-1\_34}, timestamp = {Tue, 31 Aug 2021 12:07:11 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictl/BaetenBB94, author = {Jos C. M. Baeten and Jan A. Bergstra and Roland N. Bol}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {A Real Time Process Logic}, booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn, Germany, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {827}, pages = {30--47}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0013979}, doi = {10.1007/BFB0013979}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ictl/BaetenBB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB93, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Real space process algebra}, journal = {Formal Aspects Comput.}, volume = {5}, number = {6}, pages = {481--529}, year = {1993}, url = {https://doi.org/10.1007/BF01211247}, doi = {10.1007/BF01211247}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BaetenBK93, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages}, journal = {J. {ACM}}, volume = {40}, number = {3}, pages = {653--682}, year = {1993}, url = {https://doi.org/10.1145/174130.174141}, doi = {10.1145/174130.174141}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BaetenBK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB93, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Eike Best}, title = {Non Interleaving Process Algebra}, booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {715}, pages = {308--323}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57208-2\_22}, doi = {10.1007/3-540-57208-2\_22}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/BergstraBP93, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, editor = {Egon B{\"{o}}rger and Yuri Gurevich and Karl Meinke}, title = {Process Algebra with Combinators}, booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {832}, pages = {36--65}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0049323}, doi = {10.1007/BFB0049323}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/csl/BergstraBP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BergstraS93, author = {Jan A. Bergstra and Gheorghe Stefanescu}, editor = {Zolt{\'{a}}n {\'{E}}sik}, title = {Translations Between Flowchart Schemes and Process Graphs}, booktitle = {Fundamentals of Computation Theory, 9th International Symposium, {FCT} '93, Szeged, Hungary, August 23-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {152--161}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57163-9\_11}, doi = {10.1007/3-540-57163-9\_11}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/BergstraS93.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} }
@inproceedings{DBLP:conf/concur/BaetenB92, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Rance Cleaveland}, title = {Discrete Time Process Algebra}, booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {630}, pages = {401--420}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0084806}, doi = {10.1007/BFB0084806}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenBS92, author = {Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka}, editor = {Rance Cleaveland}, title = {Axiomization Probabilistic Processes: {ACP} with Generative Probabililties (Extended Abstract)}, booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {630}, pages = {472--485}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0084810}, doi = {10.1007/BFB0084810}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenBS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/BaetenB92, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Jan Vytopil}, title = {Asynchronous Communication in Real Space Process Algebra}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {571}, pages = {473--492}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55092-5\_26}, doi = {10.1007/3-540-55092-5\_26}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/BaetenB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB91, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Real Time Process Algebra}, journal = {Formal Aspects Comput.}, volume = {3}, number = {2}, pages = {142--188}, year = {1991}, url = {https://doi.org/10.1007/BF01898401}, doi = {10.1007/BF01898401}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/BergstraMW91, author = {Jan A. Bergstra and Sjouke Mauw and Freek Wiedijk}, title = {Uniform Algebraic Specifications of Finite Sets with Equality}, journal = {Int. J. Found. Comput. Sci.}, volume = {2}, number = {1}, pages = {43--65}, year = {1991}, url = {https://doi.org/10.1142/S0129054191000042}, doi = {10.1142/S0129054191000042}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/BergstraMW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaetenB91, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Recursive Process Definitions with the State Operator}, journal = {Theor. Comput. Sci.}, volume = {82}, number = {2}, pages = {285--302}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(91)90225-Q}, doi = {10.1016/0304-3975(91)90225-Q}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaetenB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB91, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Jos C. M. Baeten and Jan Friso Groote}, title = {Real Space Process Algebra}, booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {527}, pages = {96--110}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54430-5\_83}, doi = {10.1007/3-540-54430-5\_83}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/BaetenB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/BaetenB91, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {J. W. de Bakker and Cornelis Huizing and Willem P. de Roever and Grzegorz Rozenberg}, title = {The State Operator in Real Time Process Algebra}, booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {600}, pages = {107--123}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0031989}, doi = {10.1007/BFB0031989}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/rex/BaetenB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/am/1989, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {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}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53912-3}, doi = {10.1007/3-540-53912-3}, isbn = {3-540-53912-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BergstraHK90, author = {Jan A. Bergstra and Jan Heering and Paul Klint}, title = {Module Algebra}, journal = {J. {ACM}}, volume = {37}, number = {2}, pages = {335--372}, year = {1990}, url = {https://doi.org/10.1145/77600.77621}, doi = {10.1145/77600.77621}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BergstraHK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaetenB90, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Jos C. M. Baeten and Jan Willem Klop}, title = {Process Algebra with a Zero Object}, booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {458}, pages = {83--98}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0039053}, doi = {10.1007/BFB0039053}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaetenB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaetenBKW89, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop and W. P. Weijland}, title = {Term-Rewriting Systems with Rule Priorities}, journal = {Theor. Comput. Sci.}, volume = {67}, number = {2{\&}3}, pages = {283--301}, year = {1989}, url = {https://doi.org/10.1016/0304-3975(89)90006-6}, doi = {10.1016/0304-3975(89)90006-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaetenBKW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BaetenBMV89, author = {Jos C. M. Baeten and Jan A. Bergstra and Sjouke Mauw and Gert J. Veltink}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {A Process Specification Formalism Based on Static {COLD}}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {303--335}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_27}, doi = {10.1007/3-540-53912-3\_27}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/am/BaetenBMV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Bergstra89, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Design of a Specification Language by Abstract Syntax Engineering}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {363--394}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_29}, doi = {10.1007/3-540-53912-3\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Bergstra89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/am/1987, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0015032}, doi = {10.1007/BFB0015032}, isbn = {3-540-51698-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/1987.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaetenB88, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Global Renaming Operators in Concrete Process Algebra}, journal = {Inf. Comput.}, volume = {78}, number = {3}, pages = {205--245}, year = {1988}, url = {https://doi.org/10.1016/0890-5401(88)90027-2}, doi = {10.1016/0890-5401(88)90027-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaetenB88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BergstraKO88, author = {Jan A. Bergstra and Jan Willem Klop and Ernst{-}R{\"{u}}diger Olderog}, title = {Readies and Failures in the Algebra of Communicating Processes}, journal = {{SIAM} J. Comput.}, volume = {17}, number = {6}, pages = {1134--1177}, year = {1988}, url = {https://doi.org/10.1137/0217073}, doi = {10.1137/0217073}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/BergstraKO88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/Bergstra88, author = {Jan A. Bergstra}, editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler}, title = {{ACP} with Signals}, booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {343}, pages = {11--20}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50667-5\_53}, doi = {10.1007/3-540-50667-5\_53}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/Bergstra88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/BergstraK88, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {Process theory based on bisimulation semantics}, booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {354}, pages = {50--122}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0013021}, doi = {10.1007/BFB0013021}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/rex/BergstraK88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, title = {Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator}, journal = {Comput. J.}, volume = {30}, number = {6}, pages = {498--506}, year = {1987}, url = {https://doi.org/10.1093/comjnl/30.6.498}, doi = {10.1093/COMJNL/30.6.498}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraT87, author = {Jan A. Bergstra and John V. Tucker}, title = {Algebraic Specifications of Computable and Semicomputable Data Types}, journal = {Theor. Comput. Sci.}, volume = {50}, pages = {137--181}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90123-X}, doi = {10.1016/0304-3975(87)90123-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, title = {On the Consistency of Koomen's Fair Abstraction Rule}, journal = {Theor. Comput. Sci.}, volume = {51}, pages = {129--176}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90052-1}, doi = {10.1016/0304-3975(87)90052-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BergstraK87, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {ACT\({}_{\mbox{tau}}\): {A} Universal Axiom System for Process Specification}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {447--463}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015048}, doi = {10.1007/BFB0015048}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/am/BergstraK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, editor = {Martin Wirsing}, title = {Conditional axioms and {\(\alpha\)}/{\(\beta\)}-calculus in process algebra}, booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986}, pages = {53--76}, publisher = {North-Holland}, year = {1987}, timestamp = {Thu, 10 Jan 2019 14:37:08 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/BergstraKO87, author = {Jan A. Bergstra and Jan Willem Klop and Ernst{-}R{\"{u}}diger Olderog}, editor = {Martin Wirsing}, title = {Failures without chaos: a new process semantics for fair abstraction}, booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986}, pages = {77--104}, publisher = {North-Holland}, year = {1987}, timestamp = {Thu, 10 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/BergstraKO87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages}, booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {259}, pages = {94--111}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17945-3\_5}, doi = {10.1007/3-540-17945-3\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/parle/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaetenBK87, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, editor = {Pierre Lescanne}, title = {Term Rewriting Systems with Priorities}, booktitle = {Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {256}, pages = {83--94}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17220-3\_8}, doi = {10.1007/3-540-17220-3\_8}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaetenBK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BergstraK86, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Conditional Rewrite Rules: Confluence and Termination}, journal = {J. Comput. Syst. Sci.}, volume = {32}, number = {3}, pages = {323--362}, year = {1986}, url = {https://doi.org/10.1016/0022-0000(86)90033-4}, doi = {10.1016/0022-0000(86)90033-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BergstraK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BergstraT85, author = {Jan A. Bergstra and John V. Tucker}, title = {Top-Down Design and the Algebra of Communicating Processes}, journal = {Sci. Comput. Program.}, volume = {5}, number = {2}, pages = {171--199}, year = {1985}, url = {https://doi.org/10.1016/0167-6423(85)90010-3}, doi = {10.1016/0167-6423(85)90010-3}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BergstraT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraK85, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Algebra of Communicating Processes with Abstraction}, journal = {Theor. Comput. Sci.}, volume = {37}, pages = {77--121}, year = {1985}, url = {https://doi.org/10.1016/0304-3975(85)90088-X}, doi = {10.1016/0304-3975(85)90088-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aii/BergstraK85, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Wolfgang Bibel and Klaus P. Jantke}, title = {Verification of an alternating bit protocol by means of process algebra}, booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985}, series = {Lecture Notes in Computer Science}, volume = {215}, pages = {9--23}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16444-8\_1}, doi = {10.1007/3-540-16444-8\_1}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/aii/BergstraK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BergstraT84, author = {Jan A. Bergstra and John V. Tucker}, title = {The Axiomatic Semantics of Programs Based on Hoare's Logic}, journal = {Acta Informatica}, volume = {21}, pages = {293--320}, year = {1984}, url = {https://doi.org/10.1007/BF00264252}, doi = {10.1007/BF00264252}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BergstraT84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BergstraM84, author = {Jan A. Bergstra and John{-}Jules Ch. Meyer}, title = {On Specifying Sets of Integers}, journal = {J. Inf. Process. Cybern.}, volume = {20}, number = {10/11}, pages = {531--541}, year = {1984}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BergstraM84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BergstraK84, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Process Algebra for Synchronous Communication}, journal = {Inf. Control.}, volume = {60}, number = {1-3}, pages = {109--137}, year = {1984}, url = {https://doi.org/10.1016/S0019-9958(84)80025-X}, doi = {10.1016/S0019-9958(84)80025-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BergstraK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraT84, author = {Jan A. Bergstra and John V. Tucker}, title = {Hoare's Logic for Programming Languages with two Data Types}, journal = {Theor. Comput. Sci.}, volume = {28}, pages = {215--221}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(83)90072-5}, doi = {10.1016/0304-3975(83)90072-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraT84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraK84, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Proving Program Inclusion Using Hoare's Logic}, journal = {Theor. Comput. Sci.}, volume = {30}, pages = {1--48}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90065-3}, doi = {10.1016/0304-3975(84)90065-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BakkerBKM84, author = {J. W. de Bakker and Jan A. Bergstra and Jan Willem Klop and John{-}Jules Ch. Meyer}, title = {Linear Time and Branching Time Semantics for Recursion with Merge}, journal = {Theor. Comput. Sci.}, volume = {34}, pages = {135--156}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(84)90114-2}, doi = {10.1016/0304-3975(84)90114-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BakkerBKM84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BergstraKT84, author = {Jan A. Bergstra and Jan Willem Klop and John V. Tucker}, editor = {Stephen D. Brookes and A. W. Roscoe and Glynn Winskel}, title = {Process Algebra with Asynchronous Communication Mechanisms}, booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984}, series = {Lecture Notes in Computer Science}, volume = {197}, pages = {76--95}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-15670-4\_4}, doi = {10.1007/3-540-15670-4\_4}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/concur/BergstraKT84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BergstraK84, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Jan Paredaens}, title = {The Algebra of Recursively Defined Processes and the Algebra of Regular Processes}, booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {172}, pages = {82--94}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13345-3\_7}, doi = {10.1007/3-540-13345-3\_7}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BergstraK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BergstraT83, author = {Jan A. Bergstra and J. Terlouw}, title = {Standard Model Semantics for {DSL} {A} Data Type Specification Language}, journal = {Acta Informatica}, volume = {19}, pages = {97--113}, year = {1983}, url = {https://doi.org/10.1007/BF00263930}, doi = {10.1007/BF00263930}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BergstraT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BergstraK83, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Initial Algebra Specifications for Parametrized Data Types}, journal = {J. Inf. Process. Cybern.}, volume = {19}, number = {1/2}, pages = {17--31}, year = {1983}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BergstraK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/integration/BergstraK83, author = {Jan A. Bergstra and Jan Willem Klop}, title = {A proof rule for restoring logic circuits}, journal = {Integr.}, volume = {1}, number = {2-3}, pages = {161--178}, year = {1983}, url = {https://doi.org/10.1016/S0167-9260(83)80018-2}, doi = {10.1016/S0167-9260(83)80018-2}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/BergstraK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BergstraT83, author = {Jan A. Bergstra and John V. Tucker}, title = {Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems}, journal = {{SIAM} J. Comput.}, volume = {12}, number = {2}, pages = {366--387}, year = {1983}, url = {https://doi.org/10.1137/0212024}, doi = {10.1137/0212024}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/BergstraT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraT83, author = {Jan A. Bergstra and John V. Tucker}, title = {Hoare's Logic and Peano's Arithmetic}, journal = {Theor. Comput. Sci.}, volume = {22}, pages = {265--284}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(83)90107-X}, doi = {10.1016/0304-3975(83)90107-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BakkerBKM83, author = {J. W. de Bakker and Jan A. Bergstra and Jan Willem Klop and John{-}Jules Ch. Meyer}, editor = {Josep D{\'{\i}}az}, title = {Linear Time and Branching Time Semantics for Recursion with Merge}, booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {154}, pages = {39--51}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/BFb0036896}, doi = {10.1007/BFB0036896}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BakkerBKM83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/BergstraKT83, author = {Jan A. Bergstra and Jan Willem Klop and John V. Tucker}, editor = {Edmund M. Clarke and Dexter Kozen}, title = {Algebraic Tools for System Construction}, booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {164}, pages = {34--44}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-12896-4\_353}, doi = {10.1007/3-540-12896-4\_353}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lop/BergstraKT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/BergstraT83, author = {Jan A. Bergstra and Jerzy Tiuryn}, editor = {Edmund M. Clarke and Dexter Kozen}, title = {PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness}, booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {164}, pages = {45--56}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-12896-4\_354}, doi = {10.1007/3-540-12896-4\_354}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lop/BergstraT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BergstraK82, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Strong Normalization and Perpetual Reductions in the Lambda Calculus}, journal = {J. Inf. Process. Cybern.}, volume = {18}, number = {7/8}, pages = {403--417}, year = {1982}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BergstraK82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BergstraCT82, author = {Jan A. Bergstra and Anna Chmielinska and Jerzy Tiuryn}, title = {Another Incompleteness Result for Hoare's Logic}, journal = {Inf. Control.}, volume = {52}, number = {2}, pages = {159--171}, year = {1982}, url = {https://doi.org/10.1016/S0019-9958(82)80027-2}, doi = {10.1016/S0019-9958(82)80027-2}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BergstraCT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BergstraT82, author = {Jan A. Bergstra and John V. Tucker}, title = {The Completeness of the Algebraic Specification Methods for Computable Data Types}, journal = {Inf. Control.}, volume = {54}, number = {3}, pages = {186--200}, year = {1982}, url = {https://doi.org/10.1016/S0019-9958(82)80021-1}, doi = {10.1016/S0019-9958(82)80021-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BergstraT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BergstraM82, author = {Jan A. Bergstra and John{-}Jules Ch. Meyer}, title = {A Simple Transfer Lemma for Algebraic Specifications}, journal = {Inf. Process. Lett.}, volume = {14}, number = {2}, pages = {80--85}, year = {1982}, url = {https://doi.org/10.1016/0020-0190(82)90091-6}, doi = {10.1016/0020-0190(82)90091-6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BergstraT82, author = {Jan A. Bergstra and John V. Tucker}, title = {Two Theorems About the Completeness of Hoare's Logic}, journal = {Inf. Process. Lett.}, volume = {15}, number = {4}, pages = {143--149}, year = {1982}, url = {https://doi.org/10.1016/0020-0190(82)90095-3}, doi = {10.1016/0020-0190(82)90095-3}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BergstraT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BergstraT82, author = {Jan A. Bergstra and John V. Tucker}, title = {Expressiveness and the Completeness of Hoare's Logic}, journal = {J. Comput. Syst. Sci.}, volume = {25}, number = {3}, pages = {267--284}, year = {1982}, url = {https://doi.org/10.1016/0022-0000(82)90013-7}, doi = {10.1016/0022-0000(82)90013-7}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BergstraT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraTT82, author = {Jan A. Bergstra and Jerzy Tiuryn and John V. Tucker}, title = {Floyds Principle, Correctness Theories and Program Equivalence}, journal = {Theor. Comput. Sci.}, volume = {17}, pages = {113--149}, year = {1982}, url = {https://doi.org/10.1016/0304-3975(82)90001-9}, doi = {10.1016/0304-3975(82)90001-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraTT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraT82, author = {Jan A. Bergstra and John V. Tucker}, title = {Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs}, journal = {Theor. Comput. Sci.}, volume = {17}, pages = {303--315}, year = {1982}, url = {https://doi.org/10.1016/0304-3975(82)90027-5}, doi = {10.1016/0304-3975(82)90027-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraM82, author = {Jan A. Bergstra and John{-}Jules Ch. Meyer}, title = {On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic}, journal = {Theor. Comput. Sci.}, volume = {21}, pages = {269--279}, year = {1982}, url = {https://doi.org/10.1016/0304-3975(82)90077-9}, doi = {10.1016/0304-3975(82)90077-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Bergstra82, author = {Jan A. Bergstra}, editor = {Hans{-}Dieter Ehrich and Udo W. Lipeck}, title = {Specification of Parameterized Data Types}, booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany}, publisher = {University of Dortmund}, year = {1982}, timestamp = {Fri, 19 Jul 2019 16:40:25 +0200}, biburl = {https://dblp.org/rec/conf/adt/Bergstra82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BergstraK82, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Mogens Nielsen and Erik Meineche Schmidt}, title = {Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras}, booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {140}, pages = {23--34}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/BFb0012754}, doi = {10.1007/BFB0012754}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BergstraK82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/BergstraK82, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Dines Bj{\o}rner}, title = {Formal Proof Systems for Program Equivalence}, booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982}, pages = {289--304}, publisher = {North-Holland}, year = {1982}, timestamp = {Tue, 15 Jan 2019 18:15:42 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/BergstraK82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/BergstraK82, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {A formalized proof system for total correctness of while programs}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {26--36}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_3}, doi = {10.1007/3-540-11494-7\_3}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/programm/BergstraK82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BergstraT81, author = {Jan A. Bergstra and Jerzy Tiuryn}, title = {Logic of effective definitions}, journal = {Fundam. Informaticae}, volume = {4}, number = {3}, pages = {661--674}, year = {1981}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BergstraT81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BergstraT81a, author = {Jan A. Bergstra and Jerzy Tiuryn}, title = {Algorithmic degrees of algebraic structures}, journal = {Fundam. Informaticae}, volume = {4}, number = {4}, pages = {851--862}, year = {1981}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BergstraT81a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BergstraM81, author = {Jan A. Bergstra and John{-}Jules Ch. Meyer}, title = {On the quantifier-free fragment of 'Logic of effective definitions'}, journal = {Fundam. Informaticae}, volume = {4}, number = {4}, pages = {935--956}, year = {1981}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BergstraM81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BergstraT81b, author = {Jan A. Bergstra and Jerzy Tiuryn}, title = {Regular extensions of iterative algebras and metric interpretations}, journal = {Fundam. Informaticae}, volume = {4}, number = {4}, pages = {997--1014}, year = {1981}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BergstraT81b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/BergstraM81, author = {Jan A. Bergstra and John{-}Jules Ch. Meyer}, title = {I/O-computable data structures}, journal = {{ACM} {SIGPLAN} Notices}, volume = {16}, number = {4}, pages = {27--32}, year = {1981}, url = {https://doi.org/10.1145/988131.988134}, doi = {10.1145/988131.988134}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/BergstraM81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/BergstraT81, author = {Jan A. Bergstra and J. Terlouw}, editor = {Wilfried Brauer}, title = {A Characterization of Program Equivalence in Terms of Hoare's Logic}, booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23. Oktober 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {50}, pages = {72--77}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-662-01089-1\_9}, doi = {10.1007/978-3-662-01089-1\_9}, timestamp = {Tue, 23 May 2017 01:10:33 +0200}, biburl = {https://dblp.org/rec/conf/gi/BergstraT81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BergstraT81, author = {Jan A. Bergstra and John V. Tucker}, editor = {Shimon Even and Oded Kariv}, title = {Algebraically Specified Programming Systems and Hoare's Logic}, booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {115}, pages = {348--362}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10843-2\_29}, doi = {10.1007/3-540-10843-2\_29}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BergstraT81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/BergstraCT81, author = {Jan A. Bergstra and Anna Chmielinska and Jerzy Tiuryn}, editor = {Dexter Kozen}, title = {Hoare's Logic is Incomplete When It Does Not Have To Be}, booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981}, series = {Lecture Notes in Computer Science}, volume = {131}, pages = {9--23}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/BFb0025771}, doi = {10.1007/BFB0025771}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/lop/BergstraCT81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/BergstraT81, author = {Jan A. Bergstra and John V. Tucker}, editor = {Dexter Kozen}, title = {The Refinement of Specifications and the Stabiliy of Hoare's Logic}, booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981}, series = {Lecture Notes in Computer Science}, volume = {131}, pages = {24--36}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/BFb0025772}, doi = {10.1007/BFB0025772}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lop/BergstraT81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BergstraBTW81, author = {Jan A. Bergstra and Manfred Broy and John V. Tucker and Martin Wirsing}, editor = {Jozef Gruska and Michal Chytil}, title = {On the Power of Algebraic Specifications}, booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {118}, pages = {193--204}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10856-4\_85}, doi = {10.1007/3-540-10856-4\_85}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BergstraBTW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bergstra80, author = {Jan A. Bergstra}, title = {Discourse between processes}, journal = {Notre Dame J. Formal Log.}, volume = {21}, number = {1}, pages = {131--134}, year = {1980}, url = {https://doi.org/10.1305/ndjfl/1093882945}, doi = {10.1305/NDJFL/1093882945}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bergstra80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraK80, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Invertible Terms in the Lambda Calculus}, journal = {Theor. Comput. Sci.}, volume = {11}, pages = {19--37}, year = {1980}, url = {https://doi.org/10.1016/0304-3975(80)90032-8}, doi = {10.1016/0304-3975(80)90032-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/BergstraT80, author = {Jan A. Bergstra and Jerzy Tiuryn}, title = {Regular extensions of iterative algebras and metric interpretations}, booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980}, pages = {1--10}, publisher = {Universit{\'{e}} de Lille 1}, year = {1980}, timestamp = {Wed, 03 Sep 2008 14:34:15 +0200}, biburl = {https://dblp.org/rec/conf/caap/BergstraT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BergstraT80, author = {Jan A. Bergstra and John V. Tucker}, editor = {J. W. de Bakker and Jan van Leeuwen}, title = {A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method}, booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {85}, pages = {76--90}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-10003-2\_61}, doi = {10.1007/3-540-10003-2\_61}, timestamp = {Fri, 12 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BergstraT80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Bergstra79, author = {Jan A. Bergstra}, title = {Effective Transformations on Probabilistic Data}, journal = {Math. Log. Q.}, volume = {25}, number = {13-18}, pages = {219--226}, year = {1979}, url = {https://doi.org/10.1002/malq.19790251305}, doi = {10.1002/MALQ.19790251305}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Bergstra79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/BergstraT79, author = {Jan A. Bergstra and John V. Tucker}, title = {On the adequacy of finite equational methods for data type specification}, journal = {{ACM} {SIGPLAN} Notices}, volume = {14}, number = {11}, pages = {13--18}, year = {1979}, url = {https://doi.org/10.1145/988056.988058}, doi = {10.1145/988056.988058}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/BergstraT79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AptBM79, author = {Krzysztof R. Apt and Jan A. Bergstra and Lambert G. L. T. Meertens}, title = {Recursive Assertions are not enough - or are they?}, journal = {Theor. Comput. Sci.}, volume = {8}, pages = {73--87}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90058-6}, doi = {10.1016/0304-3975(79)90058-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AptBM79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraK79, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Church-Rosser Strategies in the Lambda Calculus}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {27--38}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90004-5}, doi = {10.1016/0304-3975(79)90004-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraK79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BergstraT79, author = {Jan A. Bergstra and Jerzy Tiuryn}, editor = {Lothar Budach}, title = {Implicit definability of algebraic structures by means of program properties}, booktitle = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979}, pages = {58--63}, publisher = {Akademie-Verlag, Berlin}, year = {1979}, timestamp = {Mon, 29 Jul 2019 11:58:23 +0200}, biburl = {https://dblp.org/rec/conf/fct/BergstraT79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Bergstra78, author = {Jan A. Bergstra}, title = {What is an Abstract Datatype?}, journal = {Inf. Process. Lett.}, volume = {7}, number = {1}, pages = {42--43}, year = {1978}, url = {https://doi.org/10.1016/0020-0190(78)90038-8}, doi = {10.1016/0020-0190(78)90038-8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Bergstra78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BarendregtBKV78, author = {Henk Barendregt and Jan A. Bergstra and Jan Willem Klop and Henri Volken}, title = {Degrees of Sensible Lambda Theories}, journal = {J. Symb. Log.}, volume = {43}, number = {1}, pages = {45--55}, year = {1978}, url = {https://doi.org/10.2307/2271947}, doi = {10.2307/2271947}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/BarendregtBKV78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Bergstra78, author = {Jan A. Bergstra}, title = {Degrees of partial functions}, journal = {Notre Dame J. Formal Log.}, volume = {19}, number = {1}, pages = {152--154}, year = {1978}, url = {https://doi.org/10.1305/ndjfl/1093888219}, doi = {10.1305/NDJFL/1093888219}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Bergstra78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Bergstra78, author = {Jan A. Bergstra}, editor = {J{\'{o}}zef Winkowski}, title = {Decision Problems Concerning Parallel Programming}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {134--142}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_62}, doi = {10.1007/3-540-08921-7\_62}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Bergstra78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BergstraOW77, author = {Jan A. Bergstra and Alexander Ollongren and Theo P. van der Weide}, editor = {Marek Karpinski}, title = {An Axiomatization of the Rational Data Objects}, booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23, 1977}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {33--38}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08442-8\_67}, doi = {10.1007/3-540-08442-8\_67}, timestamp = {Mon, 02 Sep 2019 13:37:20 +0200}, biburl = {https://dblp.org/rec/conf/fct/BergstraOW77.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.