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: "Mathematical Structures in Computer Science" 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: "Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada" editor: - name: "Petre Dini" link: "https://researchr.org/alias/petre-dini" - name: "Raouf Boutaba" link: "https://researchr.org/alias/raouf-boutaba" - name: "Luigi Logrippo" link: "https://researchr.org/alias/luigi-logrippo" publisher: "IOS Press" isbn: "90-5199-347-1" 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: "Inf. Comput." 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: "Information \\& Software Technology" 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: "Elektronische Informationsverarbeitung und Kybernetik" 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: "Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings" editor: - name: "Horst Reichel" link: "https://researchr.org/alias/horst-reichel" volume: "965" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60249-6" 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 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings" editor: - name: "Rance Cleaveland" link: "https://researchr.org/alias/rance-cleaveland" volume: "630" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55822-5" 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 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings" editor: - name: "Rance Cleaveland" link: "https://researchr.org/alias/rance-cleaveland" volume: "630" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55822-5" 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: "Journal of the ACM" 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: "Theoretical Computer Science" 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: "Sci. Ann. Cuza Univ." 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: "Inf. Comput." 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" note: "informal publication" 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: "Formal Asp. Comput." 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: "Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" volume: "1101" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61463-X" 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: "Science of Computer Programming" 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: "Annals of Pure and Applied Logic" 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" note: "informal publication" 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 Informatica" 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: "Comput. J." 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: "Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings" editor: - name: "Arnold Beckmann" link: "https://researchr.org/alias/arnold-beckmann" - name: "Ulrich Berger" link: "https://researchr.org/alias/ulrich-berger" - name: "Benedikt Löwe" link: "https://researchr.org/alias/benedikt-l%C3%B6we" - name: "John V. Tucker" link: "https://researchr.org/alias/john-v.-tucker" volume: "3988" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35466-2" 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: "J. Applied Logic" 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: "Theoretical Computer Science" 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: "Sci. Ann. Cuza Univ." 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: "J. Comput. Syst. Sci." 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: "Notre Dame Journal of Formal Logic" 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: "Journal of Logic, Language and Information" 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: "Proof, Language, and Interaction, Essays in Honour of Robin Milner" editor: - name: "Gordon D. Plotkin" link: "https://researchr.org/alias/gordon-d.-plotkin" - name: "Colin Stirling" link: "https://researchr.org/alias/colin-stirling" - name: "Mads Tofte" link: "https://researchr.org/alias/mads-tofte" publisher: "The MIT Press" isbn: "978-0-262-16188-6" 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: "Journal of the ACM" 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: "Science of Computer Programming" 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: "Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977" editor: - name: "Marek Karpinski" link: "https://researchr.org/alias/marek-karpinski" volume: "56" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-08442-8" 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: "Fundamenta Informaticae" 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 Informatica" 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" note: "informal publication" 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: "Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978" editor: - name: "Józef Winkowski" link: "https://researchr.org/alias/j%C3%B3zef-winkowski" volume: "64" series: "Lecture Notes in Computer Science" publisher: "Springer" 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: "International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings" editor: - name: "Mariangiola Dezani-Ciancaglini" link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" volume: "137" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11494-7" 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: "Theory Comput. Syst." 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: "Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" volume: "85" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10003-2" 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: "Theory Comput. Syst." 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: "Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures" editor: - name: "Frank S. de Boer" link: "https://researchr.org/alias/frank-s.-de-boer" - name: "Marcello M. Bonsangue" link: "https://researchr.org/alias/marcello-m.-bonsangue" - name: "Susanne Graf" link: "https://researchr.org/alias/susanne-graf" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" volume: "3188" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22942-6" 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: "Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings" editor: - name: "Horst Reichel" link: "https://researchr.org/alias/horst-reichel" volume: "965" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60249-6" 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: "Electronic Notes in Theoretical Computer Science" 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" note: "informal publication" 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" note: "informal publication" 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" note: "informal publication" 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: "Theoretical Computer Science" 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: "Theoretical Computer Science" 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: "SIAM Journal on Computing" 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: "Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings" editor: - name: "Edmund M. Clarke" link: "https://researchr.org/alias/edmund-m.-clarke" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" volume: "164" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-12896-4" 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: "Theoretical Computer Science" 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" note: "informal publication" 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" note: "informal publication" 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: "Theoretical Computer Science" 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: "Computer Science Logic, 7th Workshop, CSL 93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers" editor: - name: "Egon Börger" link: "https://researchr.org/alias/egon-b%C3%B6rger" - name: "Yuri Gurevich" link: "https://researchr.org/alias/yuri-gurevich" - name: "Karl Meinke" link: "https://researchr.org/alias/karl-meinke" volume: "832" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58277-0" 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: "Theoretical Computer Science" 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: "Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings" editor: - name: "Josep Díaz" link: "https://researchr.org/alias/josep-d%C3%ADaz" volume: "154" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-12317-2" 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: "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday" editor: - name: "Kokichi Futatsugi" link: "https://researchr.org/alias/kokichi-futatsugi" - name: "Jean-Pierre Jouannaud" link: "https://researchr.org/alias/jean-pierre-jouannaud" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" volume: "4060" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35462-X" 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: "Fundamenta Informaticae" 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: "Inf. Comput." 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 Computing Surveys" 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: "Journal of Logic and Algebraic Programming" 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: "Mathematical Methods of Specification and Synthesis of Software Systems 85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985" editor: - name: "Wolfgang Bibel" link: "https://researchr.org/alias/wolfgang-bibel" - name: "Klaus P. Jantke" link: "https://researchr.org/alias/klaus-p.-jantke" volume: "215" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-16444-8" 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: "Electronic Notes in Theoretical Computer Science" 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" note: "informal publication" 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: "Science of Computer Programming" 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: "Inf. Process. Lett." 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" note: "informal publication" 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" note: "informal publication" 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: "Theoretical Computer Science" 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: "Journal of Logic and Algebraic Programming" 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: "Fundamenta Informaticae" 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: "Inf. Process. Lett." 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: "Fundamenta Informaticae" 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" note: "informal publication" 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: "ACM Transactions on Programming Languages and Systems" 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: "Journal of the ACM" 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: "Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings" editor: - name: "Pierre Lescanne" link: "https://researchr.org/alias/pierre-lescanne" volume: "256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-17220-3" 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: "Journal of Logic and Algebraic Programming" 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: "Inf. Process. Lett." 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 90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Willem Klop" link: "https://researchr.org/alias/jan-willem-klop" volume: "458" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-53048-7" 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: "Future Generation Comp. Syst." 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: "Journal of Applied Non-Classical Logics" 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: "Fundamenta Informaticae" 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: "Sci. Ann. Cuza Univ." 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: "Journal of Logic and Algebraic Programming" 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: "Inf. Process. Lett." 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 Languages and Models, First International Conference, COORDINATION 96, Cesena, Italy, April 15-17, 1996, Proceedings" editor: - name: "Paolo Ciancarini" link: "https://researchr.org/alias/paolo-ciancarini" - name: "Chris Hankin" link: "https://researchr.org/alias/chris-hankin" volume: "1061" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61052-9" 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: "Theory Comput. Syst." 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: "Theoretical Computer Science" 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: "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: "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: "Comput. J." 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" note: "informal publication" 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: "Inf. Comput." 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" note: "informal publication" 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" note: "informal publication" 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: "Theoretical Computer Science" 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: "Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings" editor: - name: "Hanne Riis Nielson" link: "https://researchr.org/alias/hanne-riis-nielson" volume: "1058" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61055-3" 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" note: "informal publication" 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" note: "informal publication" 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: "Journal of Symbolic Logic" 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: "Theoretical Computer Science" 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 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings" editor: - name: "Eike Best" link: "https://researchr.org/alias/eike-best" volume: "715" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57208-2" 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: "Fundamenta Informaticae" 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: "Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings" editor: - name: "Jozef Gruska" link: "https://researchr.org/alias/jozef-gruska" - name: "Michal Chytil" link: "https://researchr.org/alias/michal-chytil" volume: "118" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10856-4" 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: "Theoretical Computer Science" 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: "Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Cornelis Huizing" link: "https://researchr.org/alias/cornelis-huizing" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "600" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55564-1" 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: "Fundamenta Informaticae" 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: "Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings" editor: - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Erik Meineche Schmidt" link: "https://researchr.org/alias/erik-meineche-schmidt" volume: "140" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11576-5" 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: "Theoretical Computer Science" 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" note: "informal publication" 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" note: "informal publication" 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: "Fundamenta Informaticae" 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: "Electronic Notes in Theoretical Computer Science" 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: "Elektronische Informationsverarbeitung und Kybernetik" 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: "Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday" editor: - name: "Aart Middeldorp" link: "http://cl-informatik.uibk.ac.at/~ami/" - name: "Vincent van Oostrom" link: "https://researchr.org/alias/vincent-van-oostrom" - name: "Femke van Raamsdonk" link: "https://researchr.org/alias/femke-van-raamsdonk" - name: "Roel C. de Vrijer" link: "https://researchr.org/alias/roel-c.-de-vrijer" volume: "3838" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-30911-X" 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" note: "informal publication" 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: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings" editor: - name: "Shimon Even" link: "https://researchr.org/alias/shimon-even" - name: "Oded Kariv" link: "https://researchr.org/alias/oded-kariv" volume: "115" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-10843-2" 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: "Formal Asp. Comput." 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: "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: "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: "SIAM Journal on Computing" 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: "Inf. Process. Lett." 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: "Int. J. Found. Comput. Sci." 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: "Theoretical Computer Science" 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: "Science of Computer Programming" 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: "J. Comput. Syst. Sci." 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: "Inf. Comput." 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: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981" editor: - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" volume: "131" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11212-X" 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: "New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings" editor: - name: "S. Barry Cooper" link: "https://researchr.org/alias/s.-barry-cooper" - name: "Benedikt Löwe" link: "https://researchr.org/alias/benedikt-l%C3%B6we" - name: "Leen Torenvliet" link: "https://researchr.org/alias/leen-torenvliet" volume: "3526" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26179-6" 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: "Electronic Notes in Theoretical Computer Science" 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, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "A. J. Nijman" link: "https://researchr.org/alias/a.-j.-nijman" - name: "Philip C. Treleaven" link: "https://researchr.org/alias/philip-c.-treleaven" volume: "259" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-17945-3" 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: "Theoretical Computer Science" 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: "Theoretical Computer Science" 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: "International Workshop on Algebraic and Logic Programming" editor: - name: "Jan Grabowski" link: "https://researchr.org/alias/jan-grabowski" - name: "Pierre Lescanne" link: "https://researchr.org/alias/pierre-lescanne" - name: "Wolfgang Wechler" link: "https://researchr.org/alias/wolfgang-wechler" volume: "343" number: "1" series: "Lecture Notes in Computer Science" address: "Gaussig, GDR" publisher: "Springer" isbn: "3-540-50667-5" 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: "Theoretical Computer Science" 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 Informatica" 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: "Theoretical Computer Science" 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: "Journal of Logic and Algebraic Programming" 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" note: "informal publication" 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: "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: "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: "Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings" editor: - name: "Edmund M. Clarke" link: "https://researchr.org/alias/edmund-m.-clarke" - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" volume: "164" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-12896-4" 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: "Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings" editor: - name: "Jan Paredaens" link: "https://researchr.org/alias/jan-paredaens" volume: "172" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-13345-3" 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: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Neil Harman" link: "https://researchr.org/alias/neil-harman" - name: "Markus Roggenbach" link: "https://researchr.org/alias/markus-roggenbach" - name: "Jan J. M. M. Rutten" link: "https://researchr.org/alias/jan-j.-m.-m.-rutten" volume: "3629" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-28620-9" 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: "Fundamenta Informaticae" 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: "Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980" publisher: "Université de Lille 1" 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: "Journal of the ACM" 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" note: "informal publication" 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" note: "informal publication" 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: "Advances in Grid Computing - EGC 2005, European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers" editor: - name: "Peter M. A. Sloot" link: "https://researchr.org/alias/peter-m.-a.-sloot" - name: "Alfons G. Hoekstra" link: "https://researchr.org/alias/alfons-g.-hoekstra" - name: "Thierry Priol" link: "https://researchr.org/alias/thierry-priol" - name: "Alexander Reinefeld" link: "https://researchr.org/alias/alexander-reinefeld" - name: "Marian Bubak" link: "https://researchr.org/alias/marian-bubak" volume: "3470" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26918-5" 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: "A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "803" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58043-3" 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: "Theoretical Computer Science" 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 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" volume: "527" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54430-5" 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: "Science of Computer Programming" 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: "J. Applied Logic" 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: "ACM Trans. Comput. Log." 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: "Inf. Comput." 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" note: "informal publication" 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: "Theoretical Computer Science" 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 - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings" editor: - name: "Wilfried Brauer" link: "https://researchr.org/alias/wilfried-brauer" volume: "50" series: "Informatik-Fachberichte" publisher: "Springer" isbn: "3-540-10884-X" 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" note: "informal publication" 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: "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings" editor: - name: "J. W. de Bakker" link: "https://researchr.org/alias/j.-w.-de-bakker" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "354" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-51080-X" 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 97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings" editor: - name: "Antoni W. Mazurkiewicz" link: "https://researchr.org/alias/antoni-w.-mazurkiewicz" - name: "Józef Winkowski" link: "https://researchr.org/alias/j%C3%B3zef-winkowski" volume: "1243" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63141-0" 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: "Fundamenta Informaticae" 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: "Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters" editor: - name: "Bernhard Möller" link: "https://researchr.org/alias/bernhard-m%C3%B6ller" - name: "J. V. Tucker" link: "https://researchr.org/alias/j.-v.-tucker" volume: "1546" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65461-5" 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" note: "informal publication" 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: "Temporal Logic, First International Conference, ICTL 94, Bonn, Germany, July 11-14, 1994, Proceedings" editor: - name: "Dov M. Gabbay" link: "https://researchr.org/alias/dov-m.-gabbay" - name: "Hans Jürgen Ohlbach" link: "https://researchr.org/alias/hans-j%C3%BCrgen-ohlbach" volume: "827" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58241-X" 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: "Inf. Comput." 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: "Theoretical Computer Science" 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: "Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings" editor: - name: "Martin Leucker" link: "https://researchr.org/alias/martin-leucker" - name: "Carroll Morgan" link: "https://researchr.org/alias/carroll-morgan" volume: "5684" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03465-7" 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" note: "informal publication" 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: "Inf. Process. Lett." 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: "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday" editor: - name: "Arnon Avron" link: "https://researchr.org/alias/arnon-avron" - name: "Nachum Dershowitz" link: "https://researchr.org/alias/nachum-dershowitz" - name: "Alexander Rabinovich" link: "https://researchr.org/alias/alexander-rabinovich" volume: "4800" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78126-4" 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: "Information \\& Software Technology" 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: "Theoretical Computer Science" 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 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings" editor: - name: "Bengt Jonsson" link: "https://researchr.org/alias/bengt-jonsson" - name: "Joachim Parrow" link: "https://researchr.org/alias/joachim-parrow" volume: "836" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58329-7" 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" note: "informal publication" 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: "Theoretical Computer Science" 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 Informatica" 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: "Formal Asp. Comput." 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: "Journal of Logic and Algebraic Programming" 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" note: "informal publication" 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: "Journal of Applied Non-Classical Logics" 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: "J. Applied Logic" 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" note: "informal publication" 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: "Elektronische Informationsverarbeitung und Kybernetik" 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: "Formal Asp. Comput." 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: "Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Karel Lenstra" link: "https://researchr.org/alias/jan-karel-lenstra" - name: "Joachim Parrow" link: "https://researchr.org/alias/joachim-parrow" - name: "Gerhard J. Woeginger" link: "https://researchr.org/alias/gerhard-j.-woeginger" volume: "2719" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40493-7" 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: "Inf. Process. Lett." 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 Informatica" 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: "Formal Asp. Comput." 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" note: "informal publication" 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: "Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings" editor: - name: "Zoltán Ésik" link: "https://researchr.org/alias/zolt%C3%A1n-%C3%A9sik" volume: "710" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57163-9" 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" note: "informal publication" 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: "Mathematical Structures in Computer Science" 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" note: "informal publication" 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: "Fundamenta Informaticae" 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: "Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984" editor: - name: "Stephen D. Brookes" link: "https://researchr.org/alias/stephen-d.-brookes" - name: "A. W. Roscoe" link: "https://researchr.org/alias/a.-w.-roscoe" - name: "Glynn Winskel" link: "https://researchr.org/alias/glynn-winskel" volume: "197" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-15670-4" 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: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings" editor: - name: "Jan Vytopil" link: "https://researchr.org/alias/jan-vytopil" volume: "571" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55092-5" 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: "Inf. Comput." 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: "Journal of the ACM" 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" note: "informal publication" 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: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981" editor: - name: "Dexter Kozen" link: "https://researchr.org/alias/dexter-kozen" volume: "131" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-11212-X" 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"