publications:
- title: "On the operating unit size of load/store architectures"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0960129509990314"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129509990314"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mscs/BergstraM10"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM10-0"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "20"
  number: "3"
  pages: "395-417"
  kind: "article"
  key: "BergstraM10-0"
- title: "Models for Feature Descriptions and Interactions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Wiet Bouma"
    link: "https://researchr.org/alias/wiet-bouma"
  year: "1997"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BergstraB97"
  cites: 0
  citedby: 0
  pages: "31-45"
  booktitle: "fiw"
  kind: "inproceedings"
  key: "BergstraB97"
- title: "Global Renaming Operators in Concrete Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1988"
  month: "September"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB88"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "78"
  number: "3"
  pages: "205-245"
  kind: "article"
  key: "BaetenB88"
- title: "Molecule-oriented programming in Java"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2002"
  tags:
  - "object-oriented programming"
  - "Java"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/Bergstra02"
  cites: 0
  citedby: 0
  journal: "INFSOF"
  volume: "44"
  number: "11"
  pages: "617-638"
  kind: "article"
  key: "Bergstra02"
- title: "Strong Normalization and Perpetual Reductions in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  researchr: "https://researchr.org/publication/BergstraK82"
  cites: 0
  citedby: 0
  journal: "eik"
  volume: "18"
  number: "7/8"
  pages: "403-417"
  kind: "article"
  key: "BergstraK82"
- title: "Discrete Time Process Algebra with Abstraction"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1995"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  - "abstraction"
  researchr: "https://researchr.org/publication/BaetenB95"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "fct"
  kind: "inproceedings"
  key: "BaetenB95"
- title: "Discrete Time Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1992"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB92"
  cites: 0
  citedby: 0
  pages: "401-420"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB92"
- title: "Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract)"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  year: "1992"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBS92"
  cites: 0
  citedby: 0
  pages: "472-485"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenBS92"
- title: "Register-machine based processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/504794.504799"
  links:
    doi: "http://doi.acm.org/10.1145/504794.504799"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BergstraP01%3A0"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "48"
  number: "6"
  pages: "1207-1241"
  kind: "article"
  key: "BergstraP01:0"
- title: "Church-Rosser Strategies in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1979"
  researchr: "https://researchr.org/publication/BergstraK79"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "9"
  pages: "27-38"
  kind: "article"
  key: "BergstraK79"
- title: "An Instruction Sequence Semigroup with Involutive Anti-Automorphisms"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "https://researchr.org/alias/alban-ponse"
  year: "2009"
  doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XIX&a=2"
  links:
    doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XIX&a=2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cuza/BergstraP09"
  researchr: "https://researchr.org/publication/BergstraP09"
  cites: 0
  citedby: 0
  journal: "cuza"
  volume: "19"
  pages: "57-92"
  kind: "article"
  key: "BergstraP09"
- title: "Axiomatizing Probabilistic Processes: ACP with Generative Probabilities"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  year: "1995"
  month: "September"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBS95"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "121"
  number: "2"
  pages: "234-255"
  kind: "article"
  key: "BaetenBS95"
- title: "Data linkage algebra, data linkage dynamics, and priority rewriting"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0804.4565"
  links:
    doi: "http://arxiv.org/abs/0804.4565"
  tags:
  - "data-flow"
  - "graph-rewriting"
  - "C++"
  - " algebra"
  - "rewriting"
  researchr: "https://researchr.org/publication/abs-0804-4565"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0804.4565"
  kind: "article"
  key: "abs-0804-4565"
- title: "Real Time Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1991"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB91%3A1"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "3"
  number: "2"
  pages: "142-188"
  kind: "article"
  key: "BaetenB91:1"
- title: "The Discrete Time TOOLBUS"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "1996"
  researchr: "https://researchr.org/publication/BergstraK96"
  cites: 0
  citedby: 0
  pages: "286-305"
  booktitle: "amast"
  kind: "inproceedings"
  key: "BergstraK96"
- title: "About  trivial  software patents: The IsNot case"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.09.003"
  abstract: "So-called “trivial” software patents undermine the patenting system and are detrimental for innovation. In this paper we use a case-based approach to get a better understanding of this phenomenon. First, we establish a baseline for studying the relation between software development and intellectual property rights by formulating a life cycle for the patenting system as well as three variations of the software life cycle: the defensive patent-aware software life cycle that prevents patent infringements, the more offensive patent-based software life cycle that aims both at preventing infringements and at creating new patents, and the IPR-based software life cycle that considers all forms of protection of intellectual property rights including copyright and secrecy. Next, we study an application for a software patent concerning the inequality operator and a granted European patent on memory management. We also briefly mention other examples of trivial patents. These examples serve to clarify the issues that arise when integrating patents in the software life cycle. In an extensive discussion, we cover the difference between expression and idea, the role of patent claims, software patents versus computer implemented inventions, the role of prior art, implications of software patents for open source software, for education, and for government-funded research. We conclude the discussion with the formulation of an “integrity axiom” for software patent authors and owners and sketch an agenda for software patent research. We conclude that patents are too important to be left to lawyers and economists and that a complete reinterpretation of the patenting system from a software engineering perspective is necessary to understand all ramifications of software patents. We end with explicit conclusions and policy recommendations."
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.09.003"
  tags:
  - "rule-based"
  - "completeness"
  - "case study"
  - "memory management"
  - "source-to-source"
  - "software engineering"
  - "context-aware"
  - "systematic-approach"
  - "open-source"
  researchr: "https://researchr.org/publication/BergstraK07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "64"
  number: "3"
  pages: "264-285"
  kind: "article"
  key: "BergstraK07"
- title: "A Data Type Variety of Stack Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1995"
  tags:
  - "data-flow"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT95%3A0"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "73"
  number: "1"
  pages: "11-36"
  kind: "article"
  key: "BergstraT95:0"
- title: "An interface group for process components"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.0834"
  links:
    doi: "http://arxiv.org/abs/0711.0834"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0711-0834"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.0834"
  kind: "article"
  key: "abs-0711-0834"
- title: "Standard Model Semantics for DSL A Data Type Specification Language"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. Terlouw"
    link: "https://researchr.org/alias/j.-terlouw"
  year: "1983"
  tags:
  - "semantics"
  - "data-flow language"
  - "modeling language"
  - "language modeling"
  - "data-flow"
  - "DSL"
  researchr: "https://researchr.org/publication/BergstraT83%3A2"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "19"
  pages: "97-113"
  kind: "article"
  key: "BergstraT83:2"
- title: "Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "semantics"
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenBK87%3A2"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "30"
  number: "6"
  pages: "498-506"
  kind: "article"
  key: "BaetenBK87:2"
- title: "Elementary Algebraic Specifications of the Rational Function Field"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780342_5"
  links:
    doi: "http://dx.doi.org/10.1007/11780342_5"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Bergstra06%3A0"
  cites: 0
  citedby: 0
  pages: "40-54"
  booktitle: "cie"
  kind: "inproceedings"
  key: "Bergstra06:0"
- title: "Program algebra with a jump-shift instruction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jal.2008.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2008.07.001"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM08a"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "6"
  number: "4"
  pages: "553-563"
  kind: "article"
  key: "BergstraM08a"
- title: "Process Algebra with Propositional Signals"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00253-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00253-8"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB97%3A1"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "177"
  number: "2"
  pages: "381-405"
  kind: "article"
  key: "BaetenB97:1"
- title: "Instruction Sequences with Indirect Jumps"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XVII&a=1"
  links:
    doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XVII&a=1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cuza/BergstraM07"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM07-0"
  cites: 0
  citedby: 0
  journal: "cuza"
  volume: "17"
  pages: "19-46"
  kind: "article"
  key: "BergstraM07-0"
- title: "Expressiveness and the Completeness of Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1982"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT82%3A2"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "25"
  number: "3"
  pages: "267-284"
  kind: "article"
  key: "BergstraT82:2"
- title: "Bochvar-McCarthy Logic and Process Algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1998"
  tags:
  - "process algebra"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraP98%3A0"
  cites: 0
  citedby: 0
  journal: "ndjfl"
  volume: "39"
  number: "4"
  pages: "464-484"
  kind: "article"
  key: "BergstraP98:0"
- title: "Logic of Transition Systems"
  author:
  - name: "Johan van Benthem"
    link: "https://researchr.org/alias/johan-van-benthem"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1994"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BenthemB94"
  cites: 0
  citedby: 0
  journal: "jolli"
  volume: "3"
  number: "4"
  pages: "247-283"
  kind: "article"
  key: "BenthemB94"
- title: "Discrete time process algebra with silent step"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2000"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenBR00"
  cites: 0
  citedby: 0
  pages: "535-570"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "BaetenBR00"
- title: "The rational numbers as an abstract data type"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1219092.1219095"
  links:
    doi: "http://doi.acm.org/10.1145/1219092.1219095"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/BergstraT07"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "54"
  number: "2"
  pages: "7"
  kind: "article"
  key: "BergstraT07"
- title: "The Discrete Time TOOLBUS - A Software Coordination Architecture"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "1998"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/BergstraK98"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "31"
  number: "2-3"
  pages: "205-229"
  kind: "article"
  key: "BergstraK98"
- title: "An Axiomatization of the Rational Data Objects"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alexander Ollongren"
    link: "https://researchr.org/alias/alexander-ollongren"
  - name: "Theo P. van der Weide"
    link: "https://researchr.org/alias/theo-p.-van-der-weide"
  year: "1977"
  tags:
  - "meta-model"
  - "data-flow"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BergstraOW77"
  cites: 0
  citedby: 0
  pages: "33-38"
  booktitle: "fct"
  kind: "inproceedings"
  key: "BergstraOW77"
- title: "On the quantifier-free fragment of  Logic of effective definitions "
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1981"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraM81"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "4"
  number: "4"
  pages: "935-956"
  kind: "article"
  key: "BergstraM81"
- title: "Machine structure oriented control code logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00236-009-0099-2"
  links:
    doi: "http://dx.doi.org/10.1007/s00236-009-0099-2"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraM09-0"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "46"
  number: "5"
  pages: "375-401"
  kind: "article"
  key: "BergstraM09-0"
- title: "Timed tuplix calculus and the Wesseling and van den Berg equation"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0901.3003"
  links:
    doi: "http://arxiv.org/abs/0901.3003"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0901-3003"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0901.3003"
  kind: "article"
  key: "abs-0901-3003"
- title: "Decision Problems Concerning Parallel Programming"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1978"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/Bergstra78%3A0"
  cites: 0
  citedby: 0
  pages: "134-142"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "Bergstra78:0"
- title: "A formalized proof system for total correctness of while programs"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  researchr: "https://researchr.org/publication/BergstraK82%3A1"
  cites: 0
  citedby: 0
  pages: "26-36"
  booktitle: "programm"
  kind: "inproceedings"
  key: "BergstraK82:1"
- title: "Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "https://researchr.org/alias/inge-bethke"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s00224-010-9272-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-010-9272-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mst/BergstraB11"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/BergstraB11"
  cites: 0
  citedby: 0
  journal: "mst"
  volume: "48"
  number: "4"
  pages: "840-864"
  kind: "article"
  key: "BergstraB11"
- title: "A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1980"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/BergstraT80%3A0"
  cites: 0
  citedby: 0
  pages: "76-90"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraT80:0"
- title: "A Thread Algebra with Multi-Level Strategic Interleaving"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00224-006-1337-4"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-006-1337-4"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM07%3A1"
  cites: 0
  citedby: 0
  journal: "mst"
  volume: "41"
  number: "1"
  pages: "3-32"
  kind: "article"
  key: "BergstraM07:1"
- title: "Machine Function Based Control Code Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=17"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=17"
  tags:
  - "rule-based"
  - " algebra"
  researchr: "https://researchr.org/publication/Bergstra03"
  cites: 0
  citedby: 0
  pages: "17-41"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "Bergstra03"
- title: "Processes with Multiple Entries and Exits"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Gheorghe Stefanescu"
    link: "https://researchr.org/alias/gheorghe-stefanescu"
  year: "1995"
  researchr: "https://researchr.org/publication/BergstraS95"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "fct"
  kind: "inproceedings"
  key: "BergstraS95"
- title: "On the Design Rationale of ACP Style Process Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.105"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.105"
  tags:
  - "process algebra"
  - " algebra"
  - "design"
  researchr: "https://researchr.org/publication/Bergstra06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "162"
  pages: "79-85"
  kind: "article"
  key: "Bergstra06"
- title: "Towards a formalization of budgets"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sanne Nolst Trenité"
    link: "https://researchr.org/alias/sanne-nolst-trenit%C3%A9"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2008"
  doi: "http://arxiv.org/abs/0802.3617"
  links:
    doi: "http://arxiv.org/abs/0802.3617"
  researchr: "https://researchr.org/publication/abs-0802-3617"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0802.3617"
  kind: "article"
  key: "abs-0802-3617"
- title: "An Instruction Sequence Semigroup with Involutive Anti-Automorphisms"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2009"
  doi: "http://arxiv.org/abs/0903.1352"
  links:
    doi: "http://arxiv.org/abs/0903.1352"
  researchr: "https://researchr.org/publication/abs-0903-1352"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0903.1352"
  kind: "article"
  key: "abs-0903-1352"
- title: "An Instruction Sequence Semigroup with Repeaters"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2008"
  doi: "http://arxiv.org/abs/0810.1151"
  links:
    doi: "http://arxiv.org/abs/0810.1151"
  researchr: "https://researchr.org/publication/abs-0810-1151"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0810.1151"
  kind: "article"
  key: "abs-0810-1151"
- title: "Non-regular iterators in process algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00413-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00413-8"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraP01"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "269"
  number: "1-2"
  pages: "203-229"
  kind: "article"
  key: "BergstraP01"
- title: "Polarized process algebra with reactive composition"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.014"
  tags:
  - "composition"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB05%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "343"
  number: "3"
  pages: "285-304"
  kind: "article"
  key: "BergstraB05:0"
- title: "Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1983"
  tags:
  - "semantics"
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT83%3A0"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "12"
  number: "2"
  pages: "366-387"
  kind: "article"
  key: "BergstraT83:0"
- title: "Algebraic Tools for System Construction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1983"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKT83"
  cites: 0
  citedby: 0
  pages: "34-44"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BergstraKT83"
- title: "Invertible Terms in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1980"
  researchr: "https://researchr.org/publication/BergstraK80"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "11"
  pages: "19-37"
  kind: "article"
  key: "BergstraK80"
- title: "A protocol for instruction stream processing"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0905.2257"
  links:
    doi: "http://arxiv.org/abs/0905.2257"
  tags:
  - "protocol"
  - "C++"
  - "stream processing"
  researchr: "https://researchr.org/publication/abs-0905-2257"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0905.2257"
  kind: "article"
  key: "abs-0905-2257"
- title: "On the expressiveness of single-pass instruction sequences"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0810.1106"
  links:
    doi: "http://arxiv.org/abs/0810.1106"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0810-1106"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0810.1106"
  kind: "article"
  key: "abs-0810-1106"
- title: "Recursive Assertions are not enough - or are they?"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  year: "1979"
  researchr: "https://researchr.org/publication/AptBM79"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "8"
  pages: "73-87"
  kind: "article"
  key: "AptBM79"
- title: "Process Algebra with Combinators"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1993"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraBP93"
  cites: 0
  citedby: 0
  pages: "36-65"
  booktitle: "csl"
  kind: "inproceedings"
  key: "BergstraBP93"
- title: "Hoare s Logic and Peano s Arithmetic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1983"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT83"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "22"
  pages: "265-284"
  kind: "article"
  key: "BergstraT83"
- title: "Linear Time and Branching Time Semantics for Recursion with Merge"
  author:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1983"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BakkerBKM83"
  cites: 0
  citedby: 0
  pages: "39-51"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BakkerBKM83"
- title: "Elementary Algebraic Specifications of the Rational Complex Numbers"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John V. Tucker"
    link: "https://researchr.org/alias/john-v.-tucker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780274_24"
  links:
    doi: "http://dx.doi.org/10.1007/11780274_24"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT06"
  cites: 0
  citedby: 0
  pages: "459-475"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "BergstraT06"
- title: "Located Actions in Process Algebra with Timing"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2004"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=61&issue=3&spage=183"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=61&issue=3&spage=183"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM04"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "61"
  number: "3-4"
  pages: "183-211"
  kind: "article"
  key: "BergstraM04"
- title: "Homomorphism Preserving Algebraic Specifications Require Hidden Sorts"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "1995"
  month: "May"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraH95"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "119"
  number: "1"
  pages: "119-123"
  kind: "article"
  key: "BergstraH95"
- title: "Six Issues Concerning Future Directions in Concurrency Research"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1996"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB96"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "28"
  number: "4es"
  pages: "39"
  kind: "article"
  key: "BaetenB96"
- title: "Program algebra for sequential code"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "M. E. Loots"
    link: "https://researchr.org/alias/m.-e.-loots"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00018-8"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00018-8"
  tags:
  - "e-science"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraL02"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "51"
  number: "2"
  pages: "125-156"
  kind: "article"
  key: "BergstraL02"
- title: "Verification of an alternating bit protocol by means of process algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1985"
  tags:
  - "protocol"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK85%3A0"
  cites: 0
  citedby: 0
  pages: "9-23"
  booktitle: "aii"
  kind: "inproceedings"
  key: "BergstraK85:0"
- title: "Parallel Processes with Implicit Computational Capital"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.004"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM08%3A1"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "209"
  pages: "55-81"
  kind: "article"
  key: "BergstraM08:1"
- title: "Thread extraction for polyadic instruction sequences"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Kees Middelburg"
    link: "https://researchr.org/alias/kees-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0802.1578"
  links:
    doi: "http://arxiv.org/abs/0802.1578"
  researchr: "https://researchr.org/publication/abs-0802-1578"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0802.1578"
  kind: "article"
  key: "abs-0802-1578"
- title: "Grid Protocols Based on Synchronous Communication"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Joris A. Hillebrand"
    link: "https://researchr.org/alias/joris-a.-hillebrand"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1997"
  tags:
  - "rule-based"
  - "protocol"
  researchr: "https://researchr.org/publication/BergstraHP97"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "29"
  number: "1-2"
  pages: "199-233"
  kind: "article"
  key: "BergstraHP97"
- title: "Process algebra and conditional composition"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(01)00216-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(01)00216-2"
  tags:
  - "composition"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraP01%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "80"
  number: "1"
  pages: "41-49"
  kind: "article"
  key: "BergstraP01:1"
- title: "Tuplix Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2007"
  doi: "http://arxiv.org/abs/0712.3423"
  links:
    doi: "http://arxiv.org/abs/0712.3423"
  researchr: "https://researchr.org/publication/abs-0712-3423"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0712.3423"
  kind: "article"
  key: "abs-0712-3423"
- title: "Transmission protocols for instruction streams"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0902.2859"
  links:
    doi: "http://arxiv.org/abs/0902.2859"
  tags:
  - "protocol"
  - "C++"
  researchr: "https://researchr.org/publication/abs-0902-2859"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0902.2859"
  kind: "article"
  key: "abs-0902-2859"
- title: "Hoare s Logic for Programming Languages with two Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1984"
  tags:
  - "programming languages"
  - "data-flow language"
  - "data-flow programming"
  - "data-flow"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT84"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "28"
  pages: "215-221"
  kind: "article"
  key: "BergstraT84"
- title: "Network algebra in Java"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.011"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.011"
  tags:
  - "Java"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB05"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "62"
  number: "2"
  pages: "247-271"
  kind: "article"
  key: "BergstraB05"
- title: "Instruction Sequences with Dynamically Instantiated Instructions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/FI-2009-165"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2009-165"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/BergstraM09"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM09-1"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "96"
  number: "1-2"
  pages: "27-48"
  kind: "article"
  key: "BergstraM09-1"
- title: "What is an Abstract Datatype?"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1978"
  researchr: "https://researchr.org/publication/Bergstra78"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "7"
  number: "1"
  pages: "42-43"
  kind: "article"
  key: "Bergstra78"
- title: "Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1997"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB97%3A0"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "29"
  number: "1-2"
  pages: "51-76"
  kind: "article"
  key: "BaetenB97:0"
- title: "Program algebra with a jump-shift instruction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0712.1658"
  links:
    doi: "http://arxiv.org/abs/0712.1658"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0712-1658"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0712.1658"
  kind: "article"
  key: "abs-0712-1658"
- title: "Toward a Complete Transformational Toolkit for Compilers"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "T. B. Dinesh"
    link: "https://researchr.org/alias/t.-b.-dinesh"
  - name: "John Field"
    link: "http://www.research.ibm.com/people/j/jfield/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/265943.265944"
  links:
    doi: "http://doi.acm.org/10.1145/265943.265944"
  tags:
  - "completeness"
  - "compiler"
  - "transformation"
  researchr: "https://researchr.org/publication/BergstraDFH97"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "19"
  number: "5"
  pages: "639-684"
  kind: "article"
  key: "BergstraDFH97"
- title: "Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/174130.174141"
  links:
    doi: "http://doi.acm.org/10.1145/174130.174141"
  tags:
  - "C++"
  - "context-aware"
  researchr: "https://researchr.org/publication/BaetenBK93"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "40"
  number: "3"
  pages: "653-682"
  kind: "article"
  key: "BaetenBK93"
- title: "Term Rewriting Systems with Priorities"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BaetenBK87%3A1"
  cites: 0
  citedby: 0
  pages: "83-94"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "BaetenBK87:1"
- title: "Molecular dynamics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00021-8"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00021-8"
  researchr: "https://researchr.org/publication/BergstraB02"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "51"
  number: "2"
  pages: "193-214"
  kind: "article"
  key: "BergstraB02"
- title: "An upper bound for the equational specification of finite state services"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.010"
  researchr: "https://researchr.org/publication/BergstraB05%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "94"
  number: "6"
  pages: "267-269"
  kind: "article"
  key: "BergstraB05:1"
- title: "Process Algebra with a Zero Object"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1990"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BaetenB90"
  cites: 0
  citedby: 0
  pages: "83-98"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB90"
- title: "Distributed strategic interleaving with load balancing"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.future.2007.08.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.future.2007.08.001"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM08%3A0"
  cites: 0
  citedby: 0
  journal: "fgcs"
  volume: "24"
  number: "6"
  pages: "530-548"
  kind: "article"
  key: "BergstraM08:0"
- title: "A propositional logic with 4 values: true, false, divergent and meaningless"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Piet Rodenburg"
    link: "https://researchr.org/alias/piet-rodenburg"
  year: "1995"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraBR95"
  cites: 0
  citedby: 0
  journal: "jancl"
  volume: "5"
  number: "2"
  pages: "199-217"
  kind: "article"
  key: "BergstraBR95"
- title: "Logic of effective definitions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1981"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT81"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "4"
  number: "3"
  pages: "661-674"
  kind: "article"
  key: "BergstraT81"
- title: "Tuplix Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "https://researchr.org/alias/alban-ponse"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2008"
  doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XVIII&a=2"
  links:
    doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XVIII&a=2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cuza/BergstraPZ08"
  researchr: "https://researchr.org/publication/BergstraPZ08"
  cites: 0
  citedby: 0
  journal: "cuza"
  volume: "18"
  pages: "35-61"
  kind: "article"
  key: "BergstraPZ08"
- title: "Continuity controlled hybrid automata"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.10.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2005.10.002"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM06%3A1"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "68"
  number: "1-2"
  pages: "5-53"
  kind: "article"
  key: "BergstraM06:1"
- title: "Bisimulation is Two-Way Simulation"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Gheorghe Stefanescu"
    link: "https://researchr.org/alias/gheorghe-stefanescu"
  year: "1994"
  researchr: "https://researchr.org/publication/BergstraS94"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "52"
  number: "6"
  pages: "285-287"
  kind: "article"
  key: "BergstraS94"
- title: "The TOOLBUS Coordination Architecture"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "1996"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BergstraK96%3A0"
  cites: 0
  citedby: 0
  pages: "75-88"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "BergstraK96:0"
- title: "Division Safe Calculation in Totalised Fields"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John V. Tucker"
    link: "https://researchr.org/alias/john-v.-tucker"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00224-007-9035-4"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-007-9035-4"
  researchr: "https://researchr.org/publication/BergstraT08"
  cites: 0
  citedby: 0
  journal: "mst"
  volume: "43"
  number: "3-4"
  pages: "410-424"
  kind: "article"
  key: "BergstraT08"
- title: "Algebra of Communicating Processes with Abstraction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1985"
  tags:
  - "process algebra"
  - " algebra"
  - "abstraction"
  researchr: "https://researchr.org/publication/BergstraK85"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "37"
  pages: "77-121"
  kind: "article"
  key: "BergstraK85"
- title: "A Process Specification Formalism Based on Static COLD"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Gert J. Veltink"
    link: "https://researchr.org/alias/gert-j.-veltink"
  year: "1989"
  tags:
  - "rule-based"
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBMV89"
  cites: 0
  citedby: 0
  pages: "303-335"
  booktitle: "am"
  kind: "inproceedings"
  key: "BaetenBMV89"
- title: "Process Algebra with Iteration and Nesting"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1994"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraBP94"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "37"
  number: "4"
  pages: "243-258"
  kind: "article"
  key: "BergstraBP94"
- title: "Instruction sequences with indirect jumps"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.0829"
  links:
    doi: "http://arxiv.org/abs/0711.0829"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0711-0829"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.0829"
  kind: "article"
  key: "abs-0711-0829"
- title: "A thread calculus with molecular dynamics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.ic.2010.01.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2010.01.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iandc/BergstraM10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM10-1"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "208"
  number: "7"
  pages: "817-844"
  kind: "article"
  key: "BergstraM10-1"
- title: "Thread algebra for sequential poly-threading"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0803.0378"
  links:
    doi: "http://arxiv.org/abs/0803.0378"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0803-0378"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0803.0378"
  kind: "article"
  key: "abs-0803-0378"
- title: "Instruction sequences and non-uniform complexity theory"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0809.0352"
  links:
    doi: "http://arxiv.org/abs/0809.0352"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0809-0352"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0809.0352"
  kind: "article"
  key: "abs-0809-0352"
- title: "Term-Rewriting Systems with Rule Priorities"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "W. P. Weijland"
    link: "https://researchr.org/alias/w.-p.-weijland"
  year: "1989"
  tags:
  - "rule-based"
  - "term rewriting"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BaetenBKW89"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "67"
  number: "2&3"
  pages: "283-301"
  kind: "article"
  key: "BaetenBKW89"
- title: "A Complete Transformational Toolkit for Compilers"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "T. B. Dinesh"
    link: "https://researchr.org/alias/t.-b.-dinesh"
  - name: "John Field"
    link: "http://www.research.ibm.com/people/j/jfield/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "1996"
  tags:
  - "completeness"
  - "compiler"
  - "transformation"
  researchr: "https://researchr.org/publication/BergstraDFH96"
  cites: 0
  citedby: 0
  pages: "92-107"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "BergstraDFH96"
- title: "Instruction sequence notations with probabilistic instructions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0906.3083"
  links:
    doi: "http://arxiv.org/abs/0906.3083"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0906-3083"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0906.3083"
  kind: "article"
  key: "abs-0906-3083"
- title: "On the operating unit size of load/store architectures"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.0838"
  links:
    doi: "http://arxiv.org/abs/0711.0838"
  tags:
  - "architecture"
  - "C++"
  researchr: "https://researchr.org/publication/abs-0711-0838"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.0838"
  kind: "article"
  key: "abs-0711-0838"
- title: "Degrees of Sensible Lambda Theories"
  author:
  - name: "Henk Barendregt"
    link: "https://researchr.org/alias/henk-barendregt"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Henri Volken"
    link: "https://researchr.org/alias/henri-volken"
  year: "1978"
  researchr: "https://researchr.org/publication/BarendregtBKV78"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "43"
  number: "1"
  pages: "45-55"
  kind: "article"
  key: "BarendregtBKV78"
- title: "Algebraic Specifications of Computable and Semicomputable Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1987"
  tags:
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT87"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "50"
  pages: "137-181"
  kind: "article"
  key: "BergstraT87"
- title: "Non Interleaving Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1993"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB93"
  cites: 0
  citedby: 0
  pages: "308-323"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB93"
- title: "Maurer Computers with Single-Thread Control"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://iospress.metapress.com/content/g3751255kk1n6l3t/"
  links:
    doi: "http://iospress.metapress.com/content/g3751255kk1n6l3t/"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM07"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "80"
  number: "4"
  pages: "333-362"
  kind: "article"
  key: "BergstraM07"
- title: "On the Power of Algebraic Specifications"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  year: "1981"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraBTW81"
  cites: 0
  citedby: 0
  pages: "193-204"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "BergstraBTW81"
- title: "Proving Program Inclusion Using Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraK84"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "30"
  pages: "1-48"
  kind: "article"
  key: "BergstraK84"
- title: "The State Operator in Real Time Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1991"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB91%3A0"
  cites: 0
  citedby: 0
  pages: "107-123"
  booktitle: "rex"
  kind: "inproceedings"
  key: "BaetenB91:0"
- title: "An Interface Group for Process Components"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2010"
  doi: "http://dx.doi.org/10.3233/FI-2010-254"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2010-254"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/BergstraM10"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM10"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "99"
  number: "4"
  pages: "355-382"
  kind: "article"
  key: "BergstraM10"
- title: "Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  tags:
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK82%3A0"
  cites: 0
  citedby: 0
  pages: "23-34"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraK82:0"
- title: "Floyds Principle, Correctness Theories and Program Equivalence"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1982"
  researchr: "https://researchr.org/publication/BergstraTT82"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "17"
  pages: "113-149"
  kind: "article"
  key: "BergstraTT82"
- title: "A process calculus with finitary comprehended terms"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0903.2914"
  links:
    doi: "http://arxiv.org/abs/0903.2914"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0903-2914"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0903.2914"
  kind: "article"
  key: "abs-0903-2914"
- title: "Projection semantics for rigid loops"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2007"
  doi: "http://arxiv.org/abs/0707.1059"
  links:
    doi: "http://arxiv.org/abs/0707.1059"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/abs-0707-1059"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0707.1059"
  kind: "article"
  key: "abs-0707-1059"
- title: "Algorithmic degrees of algebraic structures"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1981"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT81a"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "4"
  number: "4"
  pages: "851-862"
  kind: "article"
  key: "BergstraT81a"
- title: "Deadlock Behaviour in Split and ST Bisimulation Semantics"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/40/25/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/40/25/show/Products/notes/index.htt#002"
  tags:
  - "semantics"
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB98"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "16"
  number: "2"
  pages: "61-74"
  kind: "article"
  key: "BaetenB98"
- title: "Specification of Parameterized Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1982"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Bergstra82"
  cites: 0
  citedby: 0
  booktitle: "adt"
  kind: "inproceedings"
  key: "Bergstra82"
- title: "Initial Algebra Specifications for Parametrized Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1983"
  tags:
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK83"
  cites: 0
  citedby: 0
  journal: "eik"
  volume: "19"
  number: "1/2"
  pages: "17-31"
  kind: "article"
  key: "BergstraK83"
- title: "Model Theory for Process Algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11601548_21"
  links:
    doi: "http://dx.doi.org/10.1007/11601548_21"
  tags:
  - "meta-model"
  - "process algebra"
  - "C++"
  - " algebra"
  - "Meta-Environment"
  - "process modeling"
  researchr: "https://researchr.org/publication/BergstraM05%3A0"
  cites: 0
  citedby: 0
  pages: "445-495"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "BergstraM05:0"
- title: "Instruction Sequences with Dynamically Instantiated Instructions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.4217"
  links:
    doi: "http://arxiv.org/abs/0711.4217"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0711-4217"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.4217"
  kind: "article"
  key: "abs-0711-4217"
- title: "Algebraically Specified Programming Systems and Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1981"
  tags:
  - "logic programming"
  - " algebra"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT81%3A1"
  cites: 0
  citedby: 0
  pages: "348-362"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraT81:1"
- title: "On Sequential Compoisiton, Action Prefixes and Process Prefixes"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1994"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB94%3A0"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "6"
  number: "3"
  pages: "250-268"
  kind: "article"
  key: "BaetenB94:0"
- title: "ACT::tau::: A Universal Axiom System for Process Specification"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  researchr: "https://researchr.org/publication/BergstraK87"
  cites: 0
  citedby: 0
  pages: "447-463"
  booktitle: "am"
  kind: "inproceedings"
  key: "BergstraK87"
- title: "Readies and Failures in the Algebra of Communicating Processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  year: "1988"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKO88"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "17"
  number: "6"
  pages: "1134-1177"
  kind: "article"
  key: "BergstraKO88"
- title: "Kleene s Three-Valued Logic and Process Algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0020-0190(98)00083-0"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(98)00083-0"
  tags:
  - "process algebra"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraP98"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "67"
  number: "2"
  pages: "95-103"
  kind: "article"
  key: "BergstraP98"
- title: "Uniform Algebraic Specifications of Finite Sets with Equality"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Freek Wiedijk"
    link: "http://www.cs.ru.nl/~freek/"
  year: "1991"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraMW91"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "2"
  number: "1"
  pages: "43-65"
  kind: "article"
  key: "BergstraMW91"
- title: "Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1982"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT82%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "17"
  pages: "303-315"
  kind: "article"
  key: "BergstraT82:0"
- title: "Top-Down Design and the Algebra of Communicating Processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1985"
  tags:
  - "process algebra"
  - " algebra"
  - "design"
  researchr: "https://researchr.org/publication/BergstraT85"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "5"
  number: "2"
  pages: "171-199"
  kind: "article"
  key: "BergstraT85"
- title: "Conditional Rewrite Rules: Confluence and Termination"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1986"
  tags:
  - "rule-based"
  - "termination"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  researchr: "https://researchr.org/publication/BergstraK86"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "32"
  number: "3"
  pages: "323-362"
  kind: "article"
  key: "BergstraK86"
- title: "Process Algebra for Synchronous Communication"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  month: "January/February/March"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK84%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "60"
  number: "1-3"
  pages: "109-137"
  kind: "article"
  key: "BergstraK84:0"
- title: "Hoare s Logic is Incomplete When It Does Not Have To Be"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Anna Chmielinska"
    link: "https://researchr.org/alias/anna-chmielinska"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1981"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraCT81"
  cites: 0
  citedby: 0
  pages: "9-23"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BergstraCT81"
- title: "A Thread Algebra with Multi-level Strategic Interleaving"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11494645_5"
  links:
    doi: "http://dx.doi.org/10.1007/11494645_5"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM05%3A2"
  cites: 0
  citedby: 0
  pages: "35-48"
  booktitle: "cie"
  kind: "inproceedings"
  key: "BergstraM05:2"
- title: "Six Themes for Future Concurrency Research"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.090"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.090"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "162"
  pages: "61-64"
  kind: "article"
  key: "BaetenB06"
- title: "Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "C++"
  - "context-aware"
  researchr: "https://researchr.org/publication/BaetenBK87%3A0"
  cites: 0
  citedby: 0
  pages: "94-111"
  booktitle: "parle"
  kind: "inproceedings"
  key: "BaetenBK87:0"
- title: "Meadows and the equational specification of division"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Yoram Hirshfeld"
    link: "https://researchr.org/alias/yoram-hirshfeld"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.12.015"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.12.015"
  researchr: "https://researchr.org/publication/BergstraHT09"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "410"
  number: "12-13"
  pages: "1261-1271"
  kind: "article"
  key: "BergstraHT09"
- title: "Recursive Process Definitions with the State Operator"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1991"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB91%3A2"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "82"
  number: "2"
  pages: "285-302"
  kind: "article"
  key: "BaetenB91:2"
- title: "ACP with Signals"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1988"
  researchr: "https://researchr.org/publication/Bergstra88"
  cites: 0
  citedby: 0
  pages: "11-20"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Bergstra88"
- title: "On the Consistency of Koomen s Fair Abstraction Rule"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "rule-based"
  - "rules"
  - "C++"
  - "consistency"
  - "abstraction"
  researchr: "https://researchr.org/publication/BaetenBK87"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "51"
  pages: "129-176"
  kind: "article"
  key: "BaetenBK87"
- title: "The Axiomatic Semantics of Programs Based on Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1984"
  tags:
  - "semantics"
  - "rule-based"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT84%3A0"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "21"
  pages: "293-320"
  kind: "article"
  key: "BergstraT84:0"
- title: "Which Data Types have omega-complete Initial Algebra Specifications?"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  year: "1994"
  tags:
  - "completeness"
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraH94"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "124"
  number: "1"
  pages: "149-168"
  kind: "article"
  key: "BergstraH94"
- title: "Preferential choice and coordination conditions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jlap.2006.08.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2006.08.004"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM07%3A2"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "70"
  number: "2"
  pages: "172-200"
  kind: "article"
  key: "BergstraM07:2"
- title: "A static theory of promises"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Mark Burgess"
    link: "https://researchr.org/alias/mark-burgess"
  year: "2008"
  doi: "http://arxiv.org/abs/0810.3294"
  links:
    doi: "http://arxiv.org/abs/0810.3294"
  researchr: "https://researchr.org/publication/abs-0810-3294"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0810.3294"
  kind: "article"
  key: "abs-0810-3294"
- title: "Design of a Specification Language by Abstract Syntax Engineering"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1989"
  tags:
  - "abstract syntax"
  - "language engineering"
  - "language design"
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/Bergstra89"
  cites: 0
  citedby: 0
  pages: "363-394"
  booktitle: "am"
  kind: "inproceedings"
  key: "Bergstra89"
- title: "PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1983"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT83%3A1"
  cites: 0
  citedby: 0
  pages: "45-56"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BergstraT83:1"
- title: "The Algebra of Recursively Defined Processes and the Algebra of Regular Processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK84%3A1"
  cites: 0
  citedby: 0
  pages: "82-94"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraK84:1"
- title: "Strong Splitting Bisimulation Equivalence"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_6"
  links:
    doi: "http://dx.doi.org/10.1007/11548133_6"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM05%3A1"
  cites: 0
  citedby: 0
  pages: "83-97"
  booktitle: "calco"
  kind: "inproceedings"
  key: "BergstraM05:1"
- title: "Home Page"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  researchr: "https://researchr.org/publication/homepages-b-JanABergstra"
  cites: 0
  citedby: 0
  howpublished: "http://carol.science.uva.nl/~janb/"
  kind: "misc"
  key: "homepages-b-JanABergstra"
- title: "Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Gheorghe Stefanescu"
    link: "https://researchr.org/alias/gheorghe-stefanescu"
  year: "1996"
  researchr: "https://researchr.org/publication/BergstraS96"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "27"
  number: "1"
  pages: "37-56"
  kind: "article"
  key: "BergstraS96"
- title: "Regular extensions of iterative algebras and metric interpretations"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1980"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT80"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "caap"
  kind: "inproceedings"
  key: "BergstraT80"
- title: "Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/227683.227687"
  links:
    doi: "http://doi.acm.org/10.1145/227683.227687"
  tags:
  - "completeness"
  - "term rewriting"
  - "graph-rewriting"
  - "algebraic specification"
  - " algebra"
  - "rewriting"
  researchr: "https://researchr.org/publication/BergstraT95"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "42"
  number: "6"
  pages: "1194-1230"
  kind: "article"
  key: "BergstraT95"
- title: "Straight-line instruction sequence completeness for total calculation on cancellation meadows"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2009"
  doi: "http://arxiv.org/abs/0905.4612"
  links:
    doi: "http://arxiv.org/abs/0905.4612"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/abs-0905-4612"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0905.4612"
  kind: "article"
  key: "abs-0905-4612"
- title: "A thread calculus with molecular dynamics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.0840"
  links:
    doi: "http://arxiv.org/abs/0711.0840"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0711-0840"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.0840"
  kind: "article"
  key: "abs-0711-0840"
- title: "A Bypass of Cohen s Impossibility Result"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11508380_112"
  links:
    doi: "http://dx.doi.org/10.1007/11508380_112"
  researchr: "https://researchr.org/publication/BergstraP05"
  cites: 0
  citedby: 0
  pages: "1097-1106"
  booktitle: "egc"
  kind: "inproceedings"
  key: "BergstraP05"
- title: "Process Algebra with Backtracking"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  - name: "Jos van Wamel"
    link: "https://researchr.org/alias/jos-van-wamel"
  year: "1993"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraPW93"
  cites: 0
  citedby: 0
  pages: "46-91"
  booktitle: "rex"
  kind: "inproceedings"
  key: "BergstraPW93"
- title: "Linear Time and Branching Time Semantics for Recursion with Merge"
  author:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1984"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BakkerBKM84"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "34"
  pages: "135-156"
  kind: "article"
  key: "BakkerBKM84"
- title: "Real Space Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1991"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB91"
  cites: 0
  citedby: 0
  pages: "96-110"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB91"
- title: "Letter from the editor"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.11.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.11.001"
  researchr: "https://researchr.org/publication/Bergstra07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "65"
  number: "1"
  kind: "article"
  key: "Bergstra07"
- title: "Simulating Turing machines on Maurer machines"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jal.2007.04.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2007.04.001"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM08%3A2"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "6"
  number: "1"
  pages: "1-23"
  kind: "article"
  key: "BergstraM08:2"
- title: "Proposition algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "https://researchr.org/alias/alban-ponse"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1929954.1929958"
  links:
    doi: "http://doi.acm.org/10.1145/1929954.1929958"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tocl/BergstraP11"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraP11-0"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "12"
  number: "3"
  pages: "21"
  kind: "article"
  key: "BergstraP11-0"
- title: "The Completeness of the Algebraic Specification Methods for Computable Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1982"
  month: "September"
  tags:
  - "completeness"
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT82"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "54"
  number: "3"
  pages: "186-200"
  kind: "article"
  key: "BergstraT82"
- title: "Data linkage dynamics with shedding"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0806.4034"
  links:
    doi: "http://arxiv.org/abs/0806.4034"
  tags:
  - "data-flow"
  - "C++"
  researchr: "https://researchr.org/publication/abs-0806-4034"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0806.4034"
  kind: "article"
  key: "abs-0806-4034"
- title: "On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1982"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraM82%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "21"
  pages: "269-279"
  kind: "article"
  key: "BergstraM82:0"
- title: "A Characterization of Program Equivalence in Terms of Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. Terlouw"
    link: "https://researchr.org/alias/j.-terlouw"
  year: "1981"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT81%3A0"
  cites: 0
  citedby: 0
  pages: "72-77"
  booktitle: "gi"
  kind: "inproceedings"
  key: "BergstraT81:0"
- title: "Interface groups and financial transfer architectures"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2007"
  doi: "http://arxiv.org/abs/0707.1639"
  links:
    doi: "http://arxiv.org/abs/0707.1639"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/abs-0707-1639"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0707.1639"
  kind: "article"
  key: "abs-0707-1639"
- title: "Process theory based on bisimulation semantics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1988"
  tags:
  - "semantics"
  - "rule-based"
  researchr: "https://researchr.org/publication/BergstraK88"
  cites: 0
  citedby: 0
  pages: "50-122"
  booktitle: "rex"
  kind: "inproceedings"
  key: "BergstraK88"
- title: "Bounded Stacks, Bags and Queues"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1997"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenB97"
  cites: 0
  citedby: 0
  pages: "104-118"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB97"
- title: "Thread Algebra with Multi-Level Strategies"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2006"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=71&issue=2&spage=153"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=71&issue=2&spage=153"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM06%3A0"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "71"
  number: "2-3"
  pages: "153-182"
  kind: "article"
  key: "BergstraM06:0"
- title: "Grid Protocol Specifications"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1546/15460278.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1546/15460278.htm"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BergstraP98%3A1"
  cites: 0
  citedby: 0
  pages: "278-308"
  booktitle: "nada"
  kind: "inproceedings"
  key: "BergstraP98:1"
- title: "Programming an interpreter using molecular dynamics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0801.2226"
  links:
    doi: "http://arxiv.org/abs/0801.2226"
  tags:
  - "interpreter"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/abs-0801-2226"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0801.2226"
  kind: "article"
  key: "abs-0801-2226"
- title: "A Real Time Process Logic"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  year: "1994"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/BaetenBB94"
  cites: 0
  citedby: 0
  pages: "30-47"
  booktitle: "ictl"
  kind: "inproceedings"
  key: "BaetenBB94"
- title: "Another Incompleteness Result for Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Anna Chmielinska"
    link: "https://researchr.org/alias/anna-chmielinska"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1982"
  month: "February"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraCT82"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "52"
  number: "2"
  pages: "159-171"
  kind: "article"
  key: "BergstraCT82"
- title: "A calculus for four-valued sequential logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.035"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.035"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/BergstraP11"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraP11"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "412"
  number: "28"
  pages: "3122-3128"
  kind: "article"
  key: "BergstraP11"
- title: "Transmission Protocols for Instruction Streams"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03466-4_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03466-4_8"
  tags:
  - "protocol"
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM09"
  cites: 0
  citedby: 0
  pages: "127-139"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "BergstraM09"
- title: "Meadow Enriched ACP Process Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2009"
  doi: "http://arxiv.org/abs/0901.3012"
  links:
    doi: "http://arxiv.org/abs/0901.3012"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0901-3012"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0901.3012"
  kind: "article"
  key: "abs-0901-3012"
- title: "A Simple Transfer Lemma for Algebraic Specifications"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1982"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM82"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "14"
  number: "2"
  pages: "80-85"
  kind: "article"
  key: "BergstraM82"
- title: "Fields, Meadows and Abstract Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Yoram Hirshfeld"
    link: "https://researchr.org/alias/yoram-hirshfeld"
  - name: "John Tucker"
    link: "https://researchr.org/alias/john-tucker"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78127-1_10"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/BergstraHT08"
  cites: 0
  citedby: 0
  pages: "166-178"
  booktitle: "birthday"
  kind: "inproceedings"
  key: "BergstraHT08"
- title: "Operator programs and operator processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Pum Walters"
    link: "https://researchr.org/alias/pum-walters"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0950-5849(03)00075-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0950-5849(03)00075-2"
  researchr: "https://researchr.org/publication/BergstraW03"
  cites: 0
  citedby: 0
  journal: "INFSOF"
  volume: "45"
  number: "10"
  pages: "681-689"
  kind: "article"
  key: "BergstraW03"
- title: "Branching time and orthogonal bisimulation equivalence"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0304-3975(03)00277-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(03)00277-9"
  researchr: "https://researchr.org/publication/BergstraPZ03"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "309"
  number: "1-3"
  pages: "313-355"
  kind: "article"
  key: "BergstraPZ03"
- title: "Implicit definability of algebraic structures by means of program properties"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1979"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT79"
  cites: 0
  citedby: 0
  pages: "58-63"
  booktitle: "fct"
  kind: "inproceedings"
  key: "BergstraT79"
- title: "Process Algebra with Partial Choice"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1994"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB94"
  cites: 0
  citedby: 0
  pages: "465-480"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BaetenB94"
- title: "Proposition Algebra with Projective Limits"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2008"
  doi: "http://arxiv.org/abs/0807.3648"
  links:
    doi: "http://arxiv.org/abs/0807.3648"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0807-3648"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0807.3648"
  kind: "article"
  key: "abs-0807-3648"
- title: "Process algebra for hybrid systems"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.04.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.04.019"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM05"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "335"
  number: "2-3"
  pages: "215-280"
  kind: "article"
  key: "BergstraM05"
- title: "Decision problems for pushdown threads"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00236-007-0040-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00236-007-0040-5"
  researchr: "https://researchr.org/publication/BergstraBP07"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "44"
  number: "2"
  pages: "75-90"
  kind: "article"
  key: "BergstraBP07"
- title: "Discrete Time Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1996"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB96%3A0"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "8"
  number: "2"
  pages: "188-208"
  kind: "article"
  key: "BaetenB96:0"
- title: "Combining programs and state machines"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00020-6"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00020-6"
  tags:
  - "state machines"
  researchr: "https://researchr.org/publication/BergstraP02"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "51"
  number: "2"
  pages: "175-192"
  kind: "article"
  key: "BergstraP02"
- title: "A process algebra based framework for promise theory"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Mark Burgess"
    link: "https://researchr.org/alias/mark-burgess"
  year: "2007"
  doi: "http://arxiv.org/abs/0707.0744"
  links:
    doi: "http://arxiv.org/abs/0707.0744"
  tags:
  - "rule-based"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0707-0744"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0707.0744"
  kind: "article"
  key: "abs-0707-0744"
- title: "Process Algebra with Four-Valued Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2000"
  tags:
  - "process algebra"
  - " algebra"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraP00"
  cites: 0
  citedby: 0
  journal: "jancl"
  volume: "10"
  number: "1"
  pages: "27-53"
  kind: "article"
  key: "BergstraP00"
- title: "Execution architectures for program algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jal.2005.10.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2005.10.013"
  tags:
  - "architecture"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraP07"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "5"
  number: "1"
  pages: "170-192"
  kind: "article"
  key: "BergstraP07"
- title: "Instruction sequences for the production of processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://arxiv.org/abs/0811.0436"
  links:
    doi: "http://arxiv.org/abs/0811.0436"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/abs-0811-0436"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0811.0436"
  kind: "article"
  key: "abs-0811-0436"
- title: "On Specifying Sets of Integers"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1984"
  researchr: "https://researchr.org/publication/BergstraM84"
  cites: 0
  citedby: 0
  journal: "eik"
  volume: "20"
  number: "10/11"
  pages: "531-541"
  kind: "article"
  key: "BergstraM84"
- title: "Program Algebra for Component Code"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "M. E. Loots"
    link: "https://researchr.org/alias/m.-e.-loots"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/0012001/00120001.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/0012001/00120001.htm"
  tags:
  - "e-science"
  - " algebra"
  researchr: "https://researchr.org/publication/X00"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "12"
  number: "1"
  pages: "1-17"
  kind: "article"
  key: "X00"
- title: "Polarized Process Algebra and Program Equivalence"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB03"
  cites: 0
  citedby: 0
  pages: "1-21"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraB03"
- title: "Two Theorems About the Completeness of Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1982"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT82%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "15"
  number: "4"
  pages: "143-149"
  kind: "article"
  key: "BergstraT82:1"
- title: "Synchronous cooperation for explicit multi-threading"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00236-007-0057-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00236-007-0057-9"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM07%3A3"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "44"
  number: "7-8"
  pages: "525-569"
  kind: "article"
  key: "BergstraM07:3"
- title: "Thread algebra for strategic interleaving"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00165-007-0024-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-007-0024-9"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraM07%3A0"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "19"
  number: "4"
  pages: "445-474"
  kind: "article"
  key: "BergstraM07:0"
- title: "Tuplix Calculus Specifications of Financial Transfer Networks"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sanne Nolst Trenité"
    link: "https://researchr.org/alias/sanne-nolst-trenit%C3%A9"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2008"
  doi: "http://arxiv.org/abs/0805.1806"
  links:
    doi: "http://arxiv.org/abs/0805.1806"
  researchr: "https://researchr.org/publication/abs-0805-1806"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0805.1806"
  kind: "article"
  key: "abs-0805-1806"
- title: "Translations Between Flowchart Schemes and Process Graphs"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Gheorghe Stefanescu"
    link: "https://researchr.org/alias/gheorghe-stefanescu"
  year: "1993"
  tags:
  - "translation"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/BergstraS93"
  cites: 0
  citedby: 0
  pages: "152-161"
  booktitle: "fct"
  kind: "inproceedings"
  key: "BergstraS93"
- title: "Square root meadows"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2009"
  doi: "http://arxiv.org/abs/0901.4664"
  links:
    doi: "http://arxiv.org/abs/0901.4664"
  researchr: "https://researchr.org/publication/abs-0901-4664"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0901.4664"
  kind: "article"
  key: "abs-0901-4664"
- title: "Maurer computers for pipelined instruction processing"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0960129507006548"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129507006548"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM08"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "18"
  number: "2"
  pages: "373-409"
  kind: "article"
  key: "BergstraM08"
- title: "Mechanistic Behavior of Single-Pass Instruction Sequences"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Mark van der Zwaag"
    link: "https://researchr.org/alias/mark-van-der-zwaag"
  year: "2008"
  doi: "http://arxiv.org/abs/0809.4635"
  links:
    doi: "http://arxiv.org/abs/0809.4635"
  researchr: "https://researchr.org/publication/abs-0809-4635"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0809.4635"
  kind: "article"
  key: "abs-0809-4635"
- title: "Regular extensions of iterative algebras and metric interpretations"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  year: "1981"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraT81b"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "4"
  number: "4"
  pages: "997-1014"
  kind: "article"
  key: "BergstraT81b"
- title: "Process Algebra with Asynchronous Communication Mechanisms"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1984"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKT84"
  cites: 0
  citedby: 0
  pages: "76-95"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BergstraKT84"
- title: "Asynchronous Communication in Real Space Process Algebra"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  year: "1992"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenB92%3A0"
  cites: 0
  citedby: 0
  pages: "473-492"
  booktitle: "ftrtft"
  kind: "inproceedings"
  key: "BaetenB92:0"
- title: "Splitting bisimulations and retrospective conditions"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.ic.2006.03.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2006.03.003"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BergstraM06"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "204"
  number: "7"
  pages: "1083-1138"
  kind: "article"
  key: "BergstraM06"
- title: "Module Algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  year: "1990"
  month: "April"
  doi: "http://doi.acm.org/10.1145/77600.77621"
  abstract: "An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature. Four different models of module algebra are discussed and compared."
  links:
    doi: "http://doi.acm.org/10.1145/77600.77621"
  tags:
  - "rule-based"
  - "meta-model"
  - "modeling"
  - " algebra"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BergstraHK90"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "37"
  number: "2"
  pages: "335-372"
  kind: "article"
  key: "BergstraHK90"
- title: "Machine structure oriented control code logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  year: "2007"
  doi: "http://arxiv.org/abs/0711.0836"
  links:
    doi: "http://arxiv.org/abs/0711.0836"
  tags:
  - "C++"
  - "logic"
  researchr: "https://researchr.org/publication/abs-0711-0836"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0711.0836"
  kind: "article"
  key: "abs-0711-0836"
- title: "The Refinement of Specifications and the Stabiliy of Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1981"
  tags:
  - "refinement"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraT81%3A2"
  cites: 0
  citedby: 0
  pages: "24-36"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BergstraT81:2"
- title: "Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]"
  year: "1991"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/am%3A1989"
  cites: 0
  citedby: 0
  booktitle: "Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]"
  editor:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  volume: "490"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53912-3"
  kind: "proceedings"
  key: "am:1989"
- title: "Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]"
  year: "1989"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/am%3A1987"
  cites: 0
  citedby: 0
  booktitle: "Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  volume: "394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51698-0"
  kind: "proceedings"
  key: "am:1987"