@article{BergstraM10-0, title = {On the operating unit size of load/store architectures}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2010}, doi = {10.1017/S0960129509990314}, url = {http://dx.doi.org/10.1017/S0960129509990314}, 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}, } @inproceedings{BergstraB97, title = {Models for Feature Descriptions and Interactions}, author = {Jan A. Bergstra and 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 = {Petre Dini and Raouf Boutaba and Luigi Logrippo}, publisher = {IOS Press}, isbn = {90-5199-347-1}, } @article{BaetenB88, title = {Global Renaming Operators in Concrete Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @article{Bergstra02, title = {Molecule-oriented programming in Java}, author = {Jan A. Bergstra}, 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}, } @article{BergstraK82, title = {Strong Normalization and Perpetual Reductions in the Lambda Calculus}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{BaetenB95, title = {Discrete Time Process Algebra with Abstraction}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Horst Reichel}, volume = {965}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60249-6}, } @inproceedings{BaetenB92, title = {Discrete Time Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Rance Cleaveland}, volume = {630}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55822-5}, } @inproceedings{BaetenBS92, title = {Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract)}, author = {Jos C. M. Baeten and Jan A. Bergstra and 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 = {Rance Cleaveland}, volume = {630}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55822-5}, } @article{BergstraP01:0, title = {Register-machine based processes}, author = {Jan A. Bergstra and Alban Ponse}, year = {2001}, doi = {10.1145/504794.504799}, url = {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}, } @article{BergstraK79, title = {Church-Rosser Strategies in the Lambda Calculus}, author = {Jan A. Bergstra and Jan Willem Klop}, year = {1979}, researchr = {https://researchr.org/publication/BergstraK79}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {9}, pages = {27-38}, } @article{BergstraP09, title = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms}, author = {Jan A. Bergstra and Alban Ponse}, year = {2009}, url = {http://www.infoiasi.ro/bin/Annals/Article?v=XIX&a=2}, researchr = {https://researchr.org/publication/BergstraP09}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {19}, pages = {57-92}, } @article{BaetenBS95, title = {Axiomatizing Probabilistic Processes: ACP with Generative Probabilities}, author = {Jos C. M. Baeten and Jan A. Bergstra and 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}, } @article{abs-0804-4565, title = {Data linkage algebra, data linkage dynamics, and priority rewriting}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0804.4565}, note = {informal publication}, 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}, } @article{BaetenB91:1, title = {Real Time Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @inproceedings{BergstraK96, title = {The Discrete Time TOOLBUS}, author = {Jan A. Bergstra and Paul Klint}, 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 = {Martin Wirsing and Maurice Nivat}, volume = {1101}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61463-X}, } @article{BergstraK07, title = {About trivial software patents: The IsNot case}, author = {Jan A. Bergstra and Paul Klint}, year = {2007}, doi = {10.1016/j.scico.2006.09.003}, url = {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}, } @article{BergstraT95:0, title = {A Data Type Variety of Stack Algebras}, author = {Jan A. Bergstra and 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}, } @article{abs-0711-0834, title = {An interface group for process components}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.0834}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0711-0834}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.0834}, } @article{BergstraT83:2, title = {Standard Model Semantics for DSL A Data Type Specification Language}, author = {Jan A. Bergstra and 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}, } @article{BaetenBK87:2, title = {Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{Bergstra06:0, title = {Elementary Algebraic Specifications of the Rational Function Field}, author = {Jan A. Bergstra}, year = {2006}, doi = {10.1007/11780342_5}, url = {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 = {Arnold Beckmann and Ulrich Berger and Benedikt Löwe and John V. Tucker}, volume = {3988}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35466-2}, } @article{BergstraM08a, title = {Program algebra with a jump-shift instruction}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, doi = {10.1016/j.jal.2008.07.001}, url = {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}, } @article{BaetenB97:1, title = {Process Algebra with Propositional Signals}, author = {Jos C. M. Baeten and Jan A. Bergstra}, year = {1997}, doi = {10.1016/S0304-3975(96)00253-8}, url = {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}, } @article{BergstraM07-0, title = {Instruction Sequences with Indirect Jumps}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://www.infoiasi.ro/bin/Annals/Article?v=XVII&a=1}, tags = {C++}, researchr = {https://researchr.org/publication/BergstraM07-0}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {17}, pages = {19-46}, } @article{BergstraT82:2, title = {Expressiveness and the Completeness of Hoare s Logic}, author = {Jan A. Bergstra and 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}, } @article{BergstraP98:0, title = {Bochvar-McCarthy Logic and Process Algebra}, author = {Jan A. Bergstra and Alban Ponse}, 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}, } @article{BenthemB94, title = {Logic of Transition Systems}, author = {Johan van Benthem and Jan A. Bergstra}, 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}, } @inproceedings{BaetenBR00, title = {Discrete time process algebra with silent step}, author = {Jos C. M. Baeten and Jan A. Bergstra and 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 = {Gordon D. Plotkin and Colin Stirling and Mads Tofte}, publisher = {The MIT Press}, isbn = {978-0-262-16188-6}, } @article{BergstraT07, title = {The rational numbers as an abstract data type}, author = {Jan A. Bergstra and J. V. Tucker}, year = {2007}, doi = {10.1145/1219092.1219095}, url = {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}, } @article{BergstraK98, title = {The Discrete Time TOOLBUS - A Software Coordination Architecture}, author = {Jan A. Bergstra and Paul Klint}, 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}, } @inproceedings{BergstraOW77, title = {An Axiomatization of the Rational Data Objects}, author = {Jan A. Bergstra and Alexander Ollongren and 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 = {Marek Karpinski}, volume = {56}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-08442-8}, } @article{BergstraM81, title = {On the quantifier-free fragment of Logic of effective definitions }, author = {Jan A. Bergstra and 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}, } @article{BergstraM09-0, title = {Machine structure oriented control code logic}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, doi = {10.1007/s00236-009-0099-2}, url = {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}, } @article{abs-0901-3003, title = {Timed tuplix calculus and the Wesseling and van den Berg equation}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0901.3003}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0901-3003}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0901.3003}, } @inproceedings{Bergstra78:0, title = {Decision Problems Concerning Parallel Programming}, author = {Jan A. Bergstra}, 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 = {Józef Winkowski}, volume = {64}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{BergstraK82:1, title = {A formalized proof system for total correctness of while programs}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {Mariangiola Dezani-Ciancaglini and Ugo Montanari}, volume = {137}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11494-7}, } @article{BergstraB11, title = {Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows}, author = {Jan A. Bergstra and Inge Bethke}, year = {2011}, doi = {10.1007/s00224-010-9272-9}, url = {http://dx.doi.org/10.1007/s00224-010-9272-9}, tags = {completeness}, researchr = {https://researchr.org/publication/BergstraB11}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {48}, number = {4}, pages = {840-864}, } @inproceedings{BergstraT80:0, title = {A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method}, author = {Jan A. Bergstra and 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 = {J. W. de Bakker and Jan van Leeuwen}, volume = {85}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10003-2}, } @article{BergstraM07:1, title = {A Thread Algebra with Multi-Level Strategic Interleaving}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, doi = {10.1007/s00224-006-1337-4}, url = {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}, } @inproceedings{Bergstra03, title = {Machine Function Based Control Code Algebras}, author = {Jan A. Bergstra}, year = {2003}, url = {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 = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, volume = {3188}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22942-6}, } @inproceedings{BergstraS95, title = {Processes with Multiple Entries and Exits}, author = {Jan A. Bergstra and 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 = {Horst Reichel}, volume = {965}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60249-6}, } @article{Bergstra06, title = {On the Design Rationale of ACP Style Process Algebras}, author = {Jan A. Bergstra}, year = {2006}, doi = {10.1016/j.entcs.2005.12.105}, url = {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}, } @article{abs-0802-3617, title = {Towards a formalization of budgets}, author = {Jan A. Bergstra and Sanne Nolst Trenité and Mark van der Zwaag}, year = {2008}, url = {http://arxiv.org/abs/0802.3617}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0802-3617}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0802.3617}, } @article{abs-0903-1352, title = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms}, author = {Jan A. Bergstra and Alban Ponse}, year = {2009}, url = {http://arxiv.org/abs/0903.1352}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0903-1352}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0903.1352}, } @article{abs-0810-1151, title = {An Instruction Sequence Semigroup with Repeaters}, author = {Jan A. Bergstra and Alban Ponse}, year = {2008}, url = {http://arxiv.org/abs/0810.1151}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0810-1151}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0810.1151}, } @article{BergstraP01, title = {Non-regular iterators in process algebra}, author = {Jan A. Bergstra and Alban Ponse}, year = {2001}, doi = {10.1016/S0304-3975(00)00413-8}, url = {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}, } @article{BergstraB05:0, title = {Polarized process algebra with reactive composition}, author = {Jan A. Bergstra and Inge Bethke}, year = {2005}, doi = {10.1016/j.tcs.2005.06.014}, url = {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}, } @article{BergstraT83:0, title = {Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems}, author = {Jan A. Bergstra and 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}, } @inproceedings{BergstraKT83, title = {Algebraic Tools for System Construction}, author = {Jan A. Bergstra and Jan Willem Klop and 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 = {Edmund M. Clarke and Dexter Kozen}, volume = {164}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-12896-4}, } @article{BergstraK80, title = {Invertible Terms in the Lambda Calculus}, author = {Jan A. Bergstra and Jan Willem Klop}, year = {1980}, researchr = {https://researchr.org/publication/BergstraK80}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {11}, pages = {19-37}, } @article{abs-0905-2257, title = {A protocol for instruction stream processing}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0905.2257}, note = {informal publication}, tags = {protocol, C++, stream processing}, researchr = {https://researchr.org/publication/abs-0905-2257}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0905.2257}, } @article{abs-0810-1106, title = {On the expressiveness of single-pass instruction sequences}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0810.1106}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0810-1106}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0810.1106}, } @article{AptBM79, title = {Recursive Assertions are not enough - or are they?}, author = {Krzysztof R. Apt and Jan A. Bergstra and 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}, } @inproceedings{BergstraBP93, title = {Process Algebra with Combinators}, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, 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 = {Egon Börger and Yuri Gurevich and Karl Meinke}, volume = {832}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58277-0}, } @article{BergstraT83, title = {Hoare s Logic and Peano s Arithmetic}, author = {Jan A. Bergstra and 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}, } @inproceedings{BakkerBKM83, title = {Linear Time and Branching Time Semantics for Recursion with Merge}, author = {J. W. de Bakker and Jan A. Bergstra and Jan Willem Klop and 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 = {Josep Díaz}, volume = {154}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-12317-2}, } @inproceedings{BergstraT06, title = {Elementary Algebraic Specifications of the Rational Complex Numbers}, author = {Jan A. Bergstra and John V. Tucker}, year = {2006}, doi = {10.1007/11780274_24}, url = {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 = {Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer}, volume = {4060}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35462-X}, } @article{BergstraM04, title = {Located Actions in Process Algebra with Timing}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2004}, url = {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}, } @article{BergstraH95, title = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts}, author = {Jan A. Bergstra and Jan Heering}, 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}, } @article{BaetenB96, title = {Six Issues Concerning Future Directions in Concurrency Research}, author = {Jos C. M. Baeten and Jan A. Bergstra}, year = {1996}, tags = {C++}, researchr = {https://researchr.org/publication/BaetenB96}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {28}, number = {4es}, pages = {39}, } @article{BergstraL02, title = {Program algebra for sequential code}, author = {Jan A. Bergstra and M. E. Loots}, year = {2002}, doi = {10.1016/S1567-8326(02)00018-8}, url = {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}, } @inproceedings{BergstraK85:0, title = {Verification of an alternating bit protocol by means of process algebra}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {Wolfgang Bibel and Klaus P. Jantke}, volume = {215}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-16444-8}, } @article{BergstraM08:1, title = {Parallel Processes with Implicit Computational Capital}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, doi = {10.1016/j.entcs.2008.04.004}, url = {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}, } @article{abs-0802-1578, title = {Thread extraction for polyadic instruction sequences}, author = {Jan A. Bergstra and Kees Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0802.1578}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0802-1578}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0802.1578}, } @article{BergstraHP97, title = {Grid Protocols Based on Synchronous Communication}, author = {Jan A. Bergstra and Joris A. Hillebrand and Alban Ponse}, 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}, } @article{BergstraP01:1, title = {Process algebra and conditional composition}, author = {Jan A. Bergstra and Alban Ponse}, year = {2001}, doi = {10.1016/S0020-0190(01)00216-2}, url = {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}, } @article{abs-0712-3423, title = {Tuplix Calculus}, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, year = {2007}, url = {http://arxiv.org/abs/0712.3423}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0712-3423}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0712.3423}, } @article{abs-0902-2859, title = {Transmission protocols for instruction streams}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0902.2859}, note = {informal publication}, tags = {protocol, C++}, researchr = {https://researchr.org/publication/abs-0902-2859}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0902.2859}, } @article{BergstraT84, title = {Hoare s Logic for Programming Languages with two Data Types}, author = {Jan A. Bergstra and 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}, } @article{BergstraB05, title = {Network algebra in Java}, author = {Jan A. Bergstra and Inge Bethke}, year = {2005}, doi = {10.1016/j.jlap.2004.03.011}, url = {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}, } @article{BergstraM09-1, title = {Instruction Sequences with Dynamically Instantiated Instructions}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, doi = {10.3233/FI-2009-165}, url = {http://dx.doi.org/10.3233/FI-2009-165}, tags = {C++}, researchr = {https://researchr.org/publication/BergstraM09-1}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {96}, number = {1-2}, pages = {27-48}, } @article{Bergstra78, title = {What is an Abstract Datatype?}, author = {Jan A. Bergstra}, year = {1978}, researchr = {https://researchr.org/publication/Bergstra78}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {7}, number = {1}, pages = {42-43}, } @article{BaetenB97:0, title = {Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @article{abs-0712-1658, title = {Program algebra with a jump-shift instruction}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0712.1658}, note = {informal publication}, tags = {C++, algebra}, researchr = {https://researchr.org/publication/abs-0712-1658}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0712.1658}, } @article{BergstraDFH97, title = {Toward a Complete Transformational Toolkit for Compilers}, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, year = {1997}, doi = {10.1145/265943.265944}, url = {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}, } @article{BaetenBK93, title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, year = {1993}, doi = {10.1145/174130.174141}, url = {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}, } @inproceedings{BaetenBK87:1, title = {Term Rewriting Systems with Priorities}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, 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 = {Pierre Lescanne}, volume = {256}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-17220-3}, } @article{BergstraB02, title = {Molecular dynamics}, author = {Jan A. Bergstra and Inge Bethke}, year = {2002}, doi = {10.1016/S1567-8326(02)00021-8}, url = {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}, } @article{BergstraB05:1, title = {An upper bound for the equational specification of finite state services}, author = {Jan A. Bergstra and Inge Bethke}, year = {2005}, doi = {10.1016/j.ipl.2005.02.010}, url = {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}, } @inproceedings{BaetenB90, title = {Process Algebra with a Zero Object}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Jos C. M. Baeten and Jan Willem Klop}, volume = {458}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53048-7}, } @article{BergstraM08:0, title = {Distributed strategic interleaving with load balancing}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, doi = {10.1016/j.future.2007.08.001}, url = {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}, } @article{BergstraBR95, title = {A propositional logic with 4 values: true, false, divergent and meaningless}, author = {Jan A. Bergstra and Inge Bethke and 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}, } @article{BergstraT81, title = {Logic of effective definitions}, author = {Jan A. Bergstra and 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}, } @article{BergstraPZ08, title = {Tuplix Calculus}, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, year = {2008}, url = {http://www.infoiasi.ro/bin/Annals/Article?v=XVIII&a=2}, researchr = {https://researchr.org/publication/BergstraPZ08}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {18}, pages = {35-61}, } @article{BergstraM06:1, title = {Continuity controlled hybrid automata}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2006}, doi = {10.1016/j.jlap.2005.10.002}, url = {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}, } @article{BergstraS94, title = {Bisimulation is Two-Way Simulation}, author = {Jan A. Bergstra and 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}, } @inproceedings{BergstraK96:0, title = {The TOOLBUS Coordination Architecture}, author = {Jan A. Bergstra and Paul Klint}, 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 = {Paolo Ciancarini and Chris Hankin}, volume = {1061}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61052-9}, } @article{BergstraT08, title = {Division Safe Calculation in Totalised Fields}, author = {Jan A. Bergstra and John V. Tucker}, year = {2008}, doi = {10.1007/s00224-007-9035-4}, url = {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}, } @article{BergstraK85, title = {Algebra of Communicating Processes with Abstraction}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{BaetenBMV89, title = {A Process Specification Formalism Based on Static COLD}, author = {Jos C. M. Baeten and Jan A. Bergstra and Sjouke Mauw and 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 = {Jan A. Bergstra and Loe M. G. Feijs}, volume = {490}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53912-3}, } @article{BergstraBP94, title = {Process Algebra with Iteration and Nesting}, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, 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}, } @article{abs-0711-0829, title = {Instruction sequences with indirect jumps}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.0829}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0711-0829}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.0829}, } @article{BergstraM10-1, title = {A thread calculus with molecular dynamics}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2010}, doi = {10.1016/j.ic.2010.01.004}, url = {http://dx.doi.org/10.1016/j.ic.2010.01.004}, tags = {C++}, researchr = {https://researchr.org/publication/BergstraM10-1}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {208}, number = {7}, pages = {817-844}, } @article{abs-0803-0378, title = {Thread algebra for sequential poly-threading}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0803.0378}, note = {informal publication}, tags = {C++, algebra}, researchr = {https://researchr.org/publication/abs-0803-0378}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0803.0378}, } @article{abs-0809-0352, title = {Instruction sequences and non-uniform complexity theory}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0809.0352}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0809-0352}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0809.0352}, } @article{BaetenBKW89, title = {Term-Rewriting Systems with Rule Priorities}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop and 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}, } @inproceedings{BergstraDFH96, title = {A Complete Transformational Toolkit for Compilers}, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, 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 = {Hanne Riis Nielson}, volume = {1058}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61055-3}, } @article{abs-0906-3083, title = {Instruction sequence notations with probabilistic instructions}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0906.3083}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0906-3083}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0906.3083}, } @article{abs-0711-0838, title = {On the operating unit size of load/store architectures}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.0838}, note = {informal publication}, tags = {architecture, C++}, researchr = {https://researchr.org/publication/abs-0711-0838}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.0838}, } @article{BarendregtBKV78, title = {Degrees of Sensible Lambda Theories}, author = {Henk Barendregt and Jan A. Bergstra and Jan Willem Klop and 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}, } @article{BergstraT87, title = {Algebraic Specifications of Computable and Semicomputable Data Types}, author = {Jan A. Bergstra and 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}, } @inproceedings{BaetenB93, title = {Non Interleaving Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Eike Best}, volume = {715}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57208-2}, } @article{BergstraM07, title = {Maurer Computers with Single-Thread Control}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {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}, } @inproceedings{BergstraBTW81, title = {On the Power of Algebraic Specifications}, author = {Jan A. Bergstra and Manfred Broy and J. V. Tucker and 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 = {Jozef Gruska and Michal Chytil}, volume = {118}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10856-4}, } @article{BergstraK84, title = {Proving Program Inclusion Using Hoare s Logic}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{BaetenB91:0, title = {The State Operator in Real Time Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {J. W. de Bakker and Cornelis Huizing and Willem P. de Roever and Grzegorz Rozenberg}, volume = {600}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55564-1}, } @article{BergstraM10, title = {An Interface Group for Process Components}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2010}, doi = {10.3233/FI-2010-254}, url = {http://dx.doi.org/10.3233/FI-2010-254}, tags = {C++}, researchr = {https://researchr.org/publication/BergstraM10}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {99}, number = {4}, pages = {355-382}, } @inproceedings{BergstraK82:0, title = {Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {Mogens Nielsen and Erik Meineche Schmidt}, volume = {140}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11576-5}, } @article{BergstraTT82, title = {Floyds Principle, Correctness Theories and Program Equivalence}, author = {Jan A. Bergstra and Jerzy Tiuryn and J. V. Tucker}, year = {1982}, researchr = {https://researchr.org/publication/BergstraTT82}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {17}, pages = {113-149}, } @article{abs-0903-2914, title = {A process calculus with finitary comprehended terms}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0903.2914}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0903-2914}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0903.2914}, } @article{abs-0707-1059, title = {Projection semantics for rigid loops}, author = {Jan A. Bergstra and Alban Ponse}, year = {2007}, url = {http://arxiv.org/abs/0707.1059}, note = {informal publication}, tags = {semantics}, researchr = {https://researchr.org/publication/abs-0707-1059}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0707.1059}, } @article{BergstraT81a, title = {Algorithmic degrees of algebraic structures}, author = {Jan A. Bergstra and 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}, } @article{BaetenB98, title = {Deadlock Behaviour in Split and ST Bisimulation Semantics}, author = {Jos C. M. Baeten and Jan A. Bergstra}, year = {1998}, url = {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}, } @inproceedings{Bergstra82, title = {Specification of Parameterized Data Types}, author = {Jan A. Bergstra}, year = {1982}, tags = {data-flow}, researchr = {https://researchr.org/publication/Bergstra82}, cites = {0}, citedby = {0}, booktitle = {ADT}, } @article{BergstraK83, title = {Initial Algebra Specifications for Parametrized Data Types}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{BergstraM05:0, title = {Model Theory for Process Algebra}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2005}, doi = {10.1007/11601548_21}, url = {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 = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer}, volume = {3838}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30911-X}, } @article{abs-0711-4217, title = {Instruction Sequences with Dynamically Instantiated Instructions}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.4217}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0711-4217}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.4217}, } @inproceedings{BergstraT81:1, title = {Algebraically Specified Programming Systems and Hoare s Logic}, author = {Jan A. Bergstra and 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 = {Shimon Even and Oded Kariv}, volume = {115}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10843-2}, } @article{BaetenB94:0, title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @inproceedings{BergstraK87, title = {ACT::tau::: A Universal Axiom System for Process Specification}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {Martin Wirsing and Jan A. Bergstra}, volume = {394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51698-0}, } @article{BergstraKO88, title = {Readies and Failures in the Algebra of Communicating Processes}, author = {Jan A. Bergstra and Jan Willem Klop and Ernst-Rüdiger 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}, } @article{BergstraP98, title = {Kleene s Three-Valued Logic and Process Algebra}, author = {Jan A. Bergstra and Alban Ponse}, year = {1998}, doi = {10.1016/S0020-0190(98)00083-0}, url = {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}, } @article{BergstraMW91, title = {Uniform Algebraic Specifications of Finite Sets with Equality}, author = {Jan A. Bergstra and Sjouke Mauw and Freek Wiedijk}, 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}, } @article{BergstraT82:0, title = {Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs}, author = {Jan A. Bergstra and 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}, } @article{BergstraT85, title = {Top-Down Design and the Algebra of Communicating Processes}, author = {Jan A. Bergstra and 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}, } @article{BergstraK86, title = {Conditional Rewrite Rules: Confluence and Termination}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @article{BergstraK84:0, title = {Process Algebra for Synchronous Communication}, author = {Jan A. Bergstra and Jan Willem Klop}, 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}, } @inproceedings{BergstraCT81, title = {Hoare s Logic is Incomplete When It Does Not Have To Be}, author = {Jan A. Bergstra and Anna Chmielinska and 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 = {Dexter Kozen}, volume = {131}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11212-X}, } @inproceedings{BergstraM05:2, title = {A Thread Algebra with Multi-level Strategic Interleaving}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2005}, doi = {10.1007/11494645_5}, url = {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 = {S. Barry Cooper and Benedikt Löwe and Leen Torenvliet}, volume = {3526}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26179-6}, } @article{BaetenB06, title = {Six Themes for Future Concurrency Research}, author = {Jos C. M. Baeten and Jan A. Bergstra}, year = {2006}, doi = {10.1016/j.entcs.2005.12.090}, url = {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}, } @inproceedings{BaetenBK87:0, title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, 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 = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven}, volume = {259}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-17945-3}, } @article{BergstraHT09, title = {Meadows and the equational specification of division}, author = {Jan A. Bergstra and Yoram Hirshfeld and J. V. Tucker}, year = {2009}, doi = {10.1016/j.tcs.2008.12.015}, url = {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}, } @article{BaetenB91:2, title = {Recursive Process Definitions with the State Operator}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @inproceedings{Bergstra88, title = {ACP with Signals}, author = {Jan A. Bergstra}, year = {1988}, researchr = {https://researchr.org/publication/Bergstra88}, cites = {0}, citedby = {0}, pages = {11-20}, booktitle = {International Workshop on Algebraic and Logic Programming}, editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler}, volume = {343}, number = {1}, series = {Lecture Notes in Computer Science}, address = {Gaussig, GDR}, publisher = {Springer}, isbn = {3-540-50667-5}, } @article{BaetenBK87, title = {On the Consistency of Koomen s Fair Abstraction Rule}, author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop}, 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}, } @article{BergstraT84:0, title = {The Axiomatic Semantics of Programs Based on Hoare s Logic}, author = {Jan A. Bergstra and 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}, } @article{BergstraH94, title = {Which Data Types have omega-complete Initial Algebra Specifications?}, author = {Jan A. Bergstra and Jan Heering}, 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}, } @article{BergstraM07:2, title = {Preferential choice and coordination conditions}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, doi = {10.1016/j.jlap.2006.08.004}, url = {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}, } @article{abs-0810-3294, title = {A static theory of promises}, author = {Jan A. Bergstra and Mark Burgess}, year = {2008}, url = {http://arxiv.org/abs/0810.3294}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0810-3294}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0810.3294}, } @inproceedings{Bergstra89, title = {Design of a Specification Language by Abstract Syntax Engineering}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Jan A. Bergstra and Loe M. G. Feijs}, volume = {490}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53912-3}, } @inproceedings{BergstraT83:1, title = {PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness}, author = {Jan A. Bergstra and 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 = {Edmund M. Clarke and Dexter Kozen}, volume = {164}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-12896-4}, } @inproceedings{BergstraK84:1, title = {The Algebra of Recursively Defined Processes and the Algebra of Regular Processes}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {Jan Paredaens}, volume = {172}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-13345-3}, } @inproceedings{BergstraM05:1, title = {Strong Splitting Bisimulation Equivalence}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2005}, doi = {10.1007/11548133_6}, url = {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 = {José Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten}, volume = {3629}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-28620-9}, } @misc{homepages-b-JanABergstra, title = {Home Page}, author = {Jan A. Bergstra}, researchr = {https://researchr.org/publication/homepages-b-JanABergstra}, cites = {0}, citedby = {0}, howpublished = {http://carol.science.uva.nl/~janb/}, } @article{BergstraS96, title = {Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation}, author = {Jan A. Bergstra and Gheorghe Stefanescu}, year = {1996}, researchr = {https://researchr.org/publication/BergstraS96}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {27}, number = {1}, pages = {37-56}, } @inproceedings{BergstraT80, title = {Regular extensions of iterative algebras and metric interpretations}, author = {Jan A. Bergstra and 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}, } @article{BergstraT95, title = {Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras}, author = {Jan A. Bergstra and J. V. Tucker}, year = {1995}, doi = {10.1145/227683.227687}, url = {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}, } @article{abs-0905-4612, title = {Straight-line instruction sequence completeness for total calculation on cancellation meadows}, author = {Jan A. Bergstra and Inge Bethke}, year = {2009}, url = {http://arxiv.org/abs/0905.4612}, note = {informal publication}, tags = {completeness}, researchr = {https://researchr.org/publication/abs-0905-4612}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0905.4612}, } @article{abs-0711-0840, title = {A thread calculus with molecular dynamics}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.0840}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0711-0840}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.0840}, } @inproceedings{BergstraP05, title = {A Bypass of Cohen s Impossibility Result}, author = {Jan A. Bergstra and Alban Ponse}, year = {2005}, doi = {10.1007/11508380_112}, url = {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 = {Peter M. A. Sloot and Alfons G. Hoekstra and Thierry Priol and Alexander Reinefeld and Marian Bubak}, volume = {3470}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26918-5}, } @inproceedings{BergstraPW93, title = {Process Algebra with Backtracking}, author = {Jan A. Bergstra and Alban Ponse and 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 = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, volume = {803}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58043-3}, } @article{BakkerBKM84, title = {Linear Time and Branching Time Semantics for Recursion with Merge}, author = {J. W. de Bakker and Jan A. Bergstra and Jan Willem Klop and 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}, } @inproceedings{BaetenB91, title = {Real Space Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Jos C. M. Baeten and Jan Friso Groote}, volume = {527}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54430-5}, } @article{Bergstra07, title = {Letter from the editor}, author = {Jan A. Bergstra}, year = {2007}, doi = {10.1016/j.scico.2006.11.001}, url = {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}, } @article{BergstraM08:2, title = {Simulating Turing machines on Maurer machines}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, doi = {10.1016/j.jal.2007.04.001}, url = {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}, } @article{BergstraP11-0, title = {Proposition algebra}, author = {Jan A. Bergstra and Alban Ponse}, year = {2011}, doi = {10.1145/1929954.1929958}, url = {http://doi.acm.org/10.1145/1929954.1929958}, tags = { algebra}, researchr = {https://researchr.org/publication/BergstraP11-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {12}, number = {3}, pages = {21}, } @article{BergstraT82, title = {The Completeness of the Algebraic Specification Methods for Computable Data Types}, author = {Jan A. Bergstra and 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}, } @article{abs-0806-4034, title = {Data linkage dynamics with shedding}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0806.4034}, note = {informal publication}, tags = {data-flow, C++}, researchr = {https://researchr.org/publication/abs-0806-4034}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0806.4034}, } @article{BergstraM82:0, title = {On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic}, author = {Jan A. Bergstra and 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}, } @inproceedings{BergstraT81:0, title = {A Characterization of Program Equivalence in Terms of Hoare s Logic}, author = {Jan A. Bergstra and 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 = {Wilfried Brauer}, volume = {50}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-10884-X}, } @article{abs-0707-1639, title = {Interface groups and financial transfer architectures}, author = {Jan A. Bergstra and Alban Ponse}, year = {2007}, url = {http://arxiv.org/abs/0707.1639}, note = {informal publication}, tags = {architecture}, researchr = {https://researchr.org/publication/abs-0707-1639}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0707.1639}, } @inproceedings{BergstraK88, title = {Process theory based on bisimulation semantics}, author = {Jan A. Bergstra and Jan Willem Klop}, 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 = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, volume = {354}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51080-X}, } @inproceedings{BaetenB97, title = {Bounded Stacks, Bags and Queues}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Antoni W. Mazurkiewicz and Józef Winkowski}, volume = {1243}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63141-0}, } @article{BergstraM06:0, title = {Thread Algebra with Multi-Level Strategies}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2006}, url = {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}, } @inproceedings{BergstraP98:1, title = {Grid Protocol Specifications}, author = {Jan A. Bergstra and Alban Ponse}, year = {1998}, url = {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 = {Bernhard Möller and J. V. Tucker}, volume = {1546}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65461-5}, } @article{abs-0801-2226, title = {Programming an interpreter using molecular dynamics}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0801.2226}, note = {informal publication}, tags = {interpreter, C++, programming}, researchr = {https://researchr.org/publication/abs-0801-2226}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0801.2226}, } @inproceedings{BaetenBB94, title = {A Real Time Process Logic}, author = {Jos C. M. Baeten and Jan A. Bergstra and 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 = {Dov M. Gabbay and Hans Jürgen Ohlbach}, volume = {827}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58241-X}, } @article{BergstraCT82, title = {Another Incompleteness Result for Hoare s Logic}, author = {Jan A. Bergstra and Anna Chmielinska and 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}, } @article{BergstraP11, title = {A calculus for four-valued sequential logic}, author = {Jan A. Bergstra and Jaco van de Pol}, year = {2011}, doi = {10.1016/j.tcs.2011.02.035}, url = {http://dx.doi.org/10.1016/j.tcs.2011.02.035}, tags = {logic}, researchr = {https://researchr.org/publication/BergstraP11}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {412}, number = {28}, pages = {3122-3128}, } @inproceedings{BergstraM09, title = {Transmission Protocols for Instruction Streams}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, doi = {10.1007/978-3-642-03466-4_8}, url = {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 = {Martin Leucker and Carroll Morgan}, volume = {5684}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03465-7}, } @article{abs-0901-3012, title = {Meadow Enriched ACP Process Algebras}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2009}, url = {http://arxiv.org/abs/0901.3012}, note = {informal publication}, tags = {process algebra, C++, algebra}, researchr = {https://researchr.org/publication/abs-0901-3012}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0901.3012}, } @article{BergstraM82, title = {A Simple Transfer Lemma for Algebraic Specifications}, author = {Jan A. Bergstra and 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}, } @inproceedings{BergstraHT08, title = {Fields, Meadows and Abstract Data Types}, author = {Jan A. Bergstra and Yoram Hirshfeld and John Tucker}, year = {2008}, doi = {10.1007/978-3-540-78127-1_10}, url = {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 = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich}, volume = {4800}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-78126-4}, } @article{BergstraW03, title = {Operator programs and operator processes}, author = {Jan A. Bergstra and Pum Walters}, year = {2003}, doi = {10.1016/S0950-5849(03)00075-2}, url = {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}, } @article{BergstraPZ03, title = {Branching time and orthogonal bisimulation equivalence}, author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag}, year = {2003}, doi = {10.1016/S0304-3975(03)00277-9}, url = {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}, } @inproceedings{BergstraT79, title = {Implicit definability of algebraic structures by means of program properties}, author = {Jan A. Bergstra and Jerzy Tiuryn}, year = {1979}, tags = { algebra}, researchr = {https://researchr.org/publication/BergstraT79}, cites = {0}, citedby = {0}, pages = {58-63}, booktitle = {FCT}, } @inproceedings{BaetenB94, title = {Process Algebra with Partial Choice}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Bengt Jonsson and Joachim Parrow}, volume = {836}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58329-7}, } @article{abs-0807-3648, title = {Proposition Algebra with Projective Limits}, author = {Jan A. Bergstra and Alban Ponse}, year = {2008}, url = {http://arxiv.org/abs/0807.3648}, note = {informal publication}, tags = { algebra}, researchr = {https://researchr.org/publication/abs-0807-3648}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0807.3648}, } @article{BergstraM05, title = {Process algebra for hybrid systems}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2005}, doi = {10.1016/j.tcs.2004.04.019}, url = {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}, } @article{BergstraBP07, title = {Decision problems for pushdown threads}, author = {Jan A. Bergstra and Inge Bethke and Alban Ponse}, year = {2007}, doi = {10.1007/s00236-007-0040-5}, url = {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}, } @article{BaetenB96:0, title = {Discrete Time Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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}, } @article{BergstraP02, title = {Combining programs and state machines}, author = {Jan A. Bergstra and Alban Ponse}, year = {2002}, doi = {10.1016/S1567-8326(02)00020-6}, url = {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}, } @article{abs-0707-0744, title = {A process algebra based framework for promise theory}, author = {Jan A. Bergstra and Inge Bethke and Mark Burgess}, year = {2007}, url = {http://arxiv.org/abs/0707.0744}, note = {informal publication}, tags = {rule-based, process algebra, algebra}, researchr = {https://researchr.org/publication/abs-0707-0744}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0707.0744}, } @article{BergstraP00, title = {Process Algebra with Four-Valued Logic}, author = {Jan A. Bergstra and Alban Ponse}, 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}, } @article{BergstraP07, title = {Execution architectures for program algebra}, author = {Jan A. Bergstra and Alban Ponse}, year = {2007}, doi = {10.1016/j.jal.2005.10.013}, url = {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}, } @article{abs-0811-0436, title = {Instruction sequences for the production of processes}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, url = {http://arxiv.org/abs/0811.0436}, note = {informal publication}, tags = {C++}, researchr = {https://researchr.org/publication/abs-0811-0436}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0811.0436}, } @article{BergstraM84, title = {On Specifying Sets of Integers}, author = {Jan A. Bergstra and 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}, } @article{X00, title = {Program Algebra for Component Code}, author = {Jan A. Bergstra and M. E. Loots}, year = {2000}, url = {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}, } @inproceedings{BergstraB03, title = {Polarized Process Algebra and Program Equivalence}, author = {Jan A. Bergstra and Inge Bethke}, year = {2003}, url = {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 = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger}, volume = {2719}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40493-7}, } @article{BergstraT82:1, title = {Two Theorems About the Completeness of Hoare s Logic}, author = {Jan A. Bergstra and 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}, } @article{BergstraM07:3, title = {Synchronous cooperation for explicit multi-threading}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, doi = {10.1007/s00236-007-0057-9}, url = {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}, } @article{BergstraM07:0, title = {Thread algebra for strategic interleaving}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, doi = {10.1007/s00165-007-0024-9}, url = {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}, } @article{abs-0805-1806, title = {Tuplix Calculus Specifications of Financial Transfer Networks}, author = {Jan A. Bergstra and Sanne Nolst Trenité and Mark van der Zwaag}, year = {2008}, url = {http://arxiv.org/abs/0805.1806}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0805-1806}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0805.1806}, } @inproceedings{BergstraS93, title = {Translations Between Flowchart Schemes and Process Graphs}, author = {Jan A. Bergstra and 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 = {Zoltán Ésik}, volume = {710}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57163-9}, } @article{abs-0901-4664, title = {Square root meadows}, author = {Jan A. Bergstra and Inge Bethke}, year = {2009}, url = {http://arxiv.org/abs/0901.4664}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0901-4664}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0901.4664}, } @article{BergstraM08, title = {Maurer computers for pipelined instruction processing}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2008}, doi = {10.1017/S0960129507006548}, url = {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}, } @article{abs-0809-4635, title = {Mechanistic Behavior of Single-Pass Instruction Sequences}, author = {Jan A. Bergstra and Mark van der Zwaag}, year = {2008}, url = {http://arxiv.org/abs/0809.4635}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0809-4635}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0809.4635}, } @article{BergstraT81b, title = {Regular extensions of iterative algebras and metric interpretations}, author = {Jan A. Bergstra and 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}, } @inproceedings{BergstraKT84, title = {Process Algebra with Asynchronous Communication Mechanisms}, author = {Jan A. Bergstra and Jan Willem Klop and 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 = {Stephen D. Brookes and A. W. Roscoe and Glynn Winskel}, volume = {197}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-15670-4}, } @inproceedings{BaetenB92:0, title = {Asynchronous Communication in Real Space Process Algebra}, author = {Jos C. M. Baeten and Jan A. Bergstra}, 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 = {Jan Vytopil}, volume = {571}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55092-5}, } @article{BergstraM06, title = {Splitting bisimulations and retrospective conditions}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2006}, doi = {10.1016/j.ic.2006.03.003}, url = {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}, } @article{BergstraHK90, title = {Module Algebra}, author = {Jan A. Bergstra and Jan Heering and Paul Klint}, year = {1990}, month = {April}, doi = {10.1145/77600.77621}, url = {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}, } @article{abs-0711-0836, title = {Machine structure oriented control code logic}, author = {Jan A. Bergstra and C. A. Middelburg}, year = {2007}, url = {http://arxiv.org/abs/0711.0836}, note = {informal publication}, tags = {C++, logic}, researchr = {https://researchr.org/publication/abs-0711-0836}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0711.0836}, } @inproceedings{BergstraT81:2, title = {The Refinement of Specifications and the Stabiliy of Hoare s Logic}, author = {Jan A. Bergstra and 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 = {Dexter Kozen}, volume = {131}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11212-X}, } @proceedings{am:1989, 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 = {Jan A. Bergstra and Loe M. G. Feijs}, volume = {490}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53912-3}, } @proceedings{am:1987, 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 = {Martin Wirsing and Jan A. Bergstra}, volume = {394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51698-0}, }