Edit Profile Bergstra, Jan A. Compute Distance To: Compute Author ID: bergstra.jan-a Published as: Bergstra, J.; Bergstra, J. A.; Bergstra, Jan; Bergstra, Jan A. Homepage: https://staff.fnwi.uva.nl/j.a.bergstra/ External Links: MGP · Wikidata · ORCID · ResearchGate · dblp · GND Documents Indexed: 230 Publications since 1976, including 26 Books Reviewing Activity: 5 Reviews all top 5 Co-Authors 12 single-authored 54 Middelburg, Cornelis A. 41 Klop, Jan Willem 39 Tucker, John V. 25 Ponse, Alban 18 Baeten, Jos C. M. 15 Bethke, Inge 11 Tiuryn, Jerzy 10 Meyer, John-Jules Charles 6 Heering, Jan 5 Ştefănescu, Gheorghe 3 de Bakker, Jacobus W. 3 Klint, Paul 3 Loots, M. E. 3 van der Weide, Theo P. 2 Barendregt, Hendrik Pieter 2 Chmielinska, Anna 2 Hirshfeld, Yoram 2 Ollongren, Alexander 2 Smolka, Scott A. 2 Terlouw, Jan 2 van der Zwaag, Mark B. 2 Volken, Henri 2 Wirsing, Martin 1 Apt, Krzysztof Rafal 1 Bol, Roland N. 1 Broy, Manfred 1 Burgess, Mark 1 Feijs, Loe M. G. 1 Fokkink, Wan J. 1 Fokkink, Willem Jan 1 Goeman, Henk J. M. 1 Klops, J. W. 1 Mauw, Sjouke 1 Meertens, Lambert G. L. T. 1 Olderog, Ernst-Rüdiger 1 Rodenburg, Piet H. 1 Rutten, Jan J. M. M. 1 Terpstra, G. A. 1 Usenko, Yaroslav S. 1 van Benthem, Johan F. A. K. 1 van de Pol, Jan Cornelis 1 Weijland, W. Peter 1 Wiedijk, Freek all top 5 Serials 24 Theoretical Computer Science 14 Scientific Annals of Computer Science 11 Fundamenta Informaticae 9 Annales Societatis Mathematicae Polonae. Series IV 8 Information Processing Letters 7 Acta Informatica 7 Formal Aspects of Computing 7 Theory of Computing Systems 7 Journal of Applied Logic 6 The Journal of Logic and Algebraic Programming 5 Information and Computation 4 International Journal of Computer Mathematics 3 Information and Control 3 Journal of the Association for Computing Machinery 3 Notre Dame Journal of Formal Logic 3 Elektronische Informationsverarbeitung und Kybernetik 3 Journal of Applied Non-Classical Logics 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Computer Science Journal of Moldova 2 Journal of the ACM 2 Lecture Notes in Computer Science 1 Revue Roumaine de Mathématiques Pures et Appliquées 1 The Computer Journal. Section A / Section B 1 The Journal of Symbolic Logic 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Annals of Pure and Applied Logic 1 International Journal of Foundations of Computer Science 1 Indagationes Mathematicae. New Series 1 Journal of Logic, Language and Information 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 ACM Transactions on Computational Logic 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 1 Atlantis Studies in Computing all top 5 Fields 218 Computer science (68-XX) 65 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 177 Publications have been cited 1,649 times in 826 Documents Cited by ▼ Year ▼ Process algebra of synchronous communication. Zbl 0597.68027Bergstra, J. A.; Klop, J. W. 177 1984 Algebra of communicating processes with abstraction. Zbl 0579.68016Bergstra, J. A.; Klop, J. W. 121 1985 Handbook of process algebra. Zbl 0971.00006Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.) 66 2001 Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 52 1986 Real time process algebra. Zbl 0719.68020Baeten, J. C. M.; Bergstra, J. A. 51 1991 Conditional rewrite rules: Confluence and termination. Zbl 0658.68031Bergstra, J. A.; Klop, J. W. 47 1986 On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 38 1987 Module algebra. Zbl 0696.68040Bergstra, J. A.; Heering, J.; Klint, P. 37 1990 Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 34 1993 Algebraic specifications of computable and semicomputable data types. Zbl 0637.68013Bergstra, J. A.; Tucker, J. V. 31 1987 Global renaming operators in concrete process algebra. Zbl 0651.68031Baeten, J. C. M.; Bergstra, J. A. 30 1988 The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019Bergstra, J. A.; Klop, J. W. 27 1984 Program algebra for sequential code. Zbl 1008.68079Bergstra, J. A.; Loots, M. E. 24 2002 Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A. 24 1995 A characterisation of computable data types by means of a finite equational specification method. Zbl 0449.68003Bergstra, J. A.; Tucker, J. V. 23 1980 Initial and final algebra semantics for data type specifications: Two characterization theorems. Zbl 0515.68016Bergstra, J. A.; Tucker, J. V. 22 1983 Process algebra for hybrid systems. Zbl 1080.68073Bergstra, J. A.; Middelburg, C. A. 21 2005 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 21 1994 Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023Bergstra, J. A.; Klop, J. W. 21 1986 A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet 20 1995 Process algebra with propositional signals. Zbl 0901.68117Baeten, J. C. M.; Bergstra, J. A. 19 1997 Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 19 1987 Algebra of communicating processes. Zbl 0605.68013Bergstra, J. A.; Klop, J. W. 19 1986 Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024Bergstra, J. A.; Klop, J. W. 19 1986 Term rewriting systems with priorities. Zbl 0657.68028Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 18 1987 Expressiveness and the completeness of Hoare’s logic. Zbl 0549.68021Bergstra, J. A.; Tucker, J. V. 18 1982 Discrete time process algebra. Zbl 0849.68033Baeten, J. C. M.; Bergstra, J. A. 17 1996 Linear time and branching time semantics for recursion with merge. Zbl 0985.68517de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. 17 1984 Term-rewriting systems with rule priorities. Zbl 0686.68018Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P. 16 1989 Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W. 16 1987 The rational numbers as an abstract data type. Zbl 1292.68105Bergstra, Jan A.; Tucker, J. V. 15 2007 A complete inference system for regular processes with silent moves. Zbl 0647.68033Bergstra, J. A.; Klop, J. W. 15 1988 Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016Bergstra, J. A.; Klop, J. W. 15 1982 Combining programs and state machines. Zbl 1008.68068Bergstra, Jan A.; Ponse, Alban 14 2002 On the power of algebraic specifications. Zbl 0462.68001Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M. 14 1981 Algebraic specification. Zbl 0711.68073Bergstra, J. A. (ed.); Heering, J. (ed.); Klint, P. (ed.) 13 1989 Meadows and the equational specification of division. Zbl 1172.68039Bergstra, J. A.; Hirshfeld, Y.; Tucker, J. V. 12 2009 Representability in lambda algebras. Zbl 0399.03013Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri 12 1976 The completeness of the algebraic specification methods for computable data types. Zbl 0513.68017Bergstra, J. A.; Tucker, J. V. 11 1982 Algebraic specifications of computable and semicomputable data structures. Zbl 0419.68029Bergstra, J. A.; Tucker, J. V. 11 1979 Thread algebra for strategic interleaving. Zbl 1131.68067Bergstra, J. A.; Middelburg, C. A. 10 2007 Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Zbl 0885.68092Bergstra, J. A.; Tucker, J. V. 10 1995 Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066Bergstra, J. A.; Klop, J. W. 10 1989 Readies and failures in the algebra of communicating processes. Zbl 0677.68089Bergstra, J. A.; Klop, J. W.; Olderog, E.-R. 10 1988 Logic of transition systems. Zbl 0827.03019van Benthem, Johan; Bergstra, Jan 9 1995 Floyd’s principle, correctness theories and program equivalence. Zbl 0474.68017Bergstra, J. A.; Tiuryn, J.; Tucker, J. V. 9 1982 Inversive meadows and divisive meadows. Zbl 1251.68144Bergstra, J. A.; Middelburg, C. A. 8 2011 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 8 2001 Top-down design and the algebra of communicating processes. Zbl 0606.68021Bergstra, J. A.; Tucker, J. V. 8 1985 Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs. Zbl 0483.68033Bergstra, J. A.; Tucker, J. V. 8 1982 Thread algebra with multi-level strategies. Zbl 1095.68061Bergstra, J. A.; Middelburg, C. A. 7 2006 Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. 7 2003 Polarized process algebra and program equivalence. Zbl 1039.68040Bergstra, Jan A.; Bethke, Inge 7 2003 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 7 2000 On sequential composition, action prefixes and process prefix. Zbl 0942.68608Baeten, J. C. M.; Bergstra, J. A. 7 1994 Real space process algebra. Zbl 0942.68607Baeten, J. C. M.; Bergstra, J. A. 7 1993 Process algebra with asynchronous communication mechanisms. Zbl 0579.68015Bergstra, J. A.; Klop, J. W.; Tucker, J. V. 7 1985 Hoare’s logic and Peano’s arithmetic. Zbl 0497.68007Bergstra, J. A.; Tucker, J. V. 7 1983 Maurer computers for pipelined instruction processing. Zbl 1141.68010Bergstra, J. A.; Middelburg, C. A. 6 2008 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 6 2007 Elementary algebraic specifications of the rational complex numbers. Zbl 1132.68485Bergstra, Jan A.; Tucker, John V. 6 2006 A thread algebra with multi-level strategic interleaving. Zbl 1113.68426Bergstra, Jan A.; Middelburg, C. A. (Kees) 6 2005 Program algebra for component code. Zbl 0964.68509Bergstra, J. A.; Loots, M. E. 6 2000 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Formal proof systems for program equivalence. Zbl 0512.68013Bergstra, J. A.; Klop, J. W. 6 1983 Initial algebra specifications for parametrized data types. Zbl 0549.68012Bergstra, J. A.; Klop, J. W. 6 1982 Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009Bergstra, Jan A.; Klop, Jan Willem 6 1982 A characterization of computable data types by means of a finite, equational specification method. Zbl 0417.68012Bergstra, J. A.; Tucker, J. V. 6 1979 Decision problems for pushdown threads. Zbl 1120.68077Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 5 2007 Splitting bisimulations and retrospective conditions. Zbl 1104.68070Bergstra, J. A.; Middelburg, C. A. 5 2006 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 5 1998 Recursive process definitions with the state operator. Zbl 0724.68035Baeten, J. C. M.; Bergstra, J. A. 5 1991 Process algebra semantics for queues. Zbl 0636.68025Bergstra, Jan; Tiuryn, Jerzy 5 1987 Two theorems about the completeness of Hoare’s logic. Zbl 0541.68008Bergstra, J. A.; Tucker, J. V. 5 1982 The refinement of specifications and the stability of Hoare’s logic. Zbl 0504.68019Bergstra, J. A.; Tucker, J. V. 5 1982 Algebraically specified programming systems and Hoare’s logic. Zbl 0465.68003Bergstra, J. A.; Tucker, J. V. 5 1981 Division by zero in non-involutive meadows. Zbl 1401.68209Bergstra, J. A.; Middelburg, C. A. 4 2015 Instruction sequence processing operators. Zbl 1279.68075Bergstra, J. A.; Middelburg, C. A. 4 2012 A thread algebra with multi-level strategic interleaving. Zbl 1127.68066Bergstra, J. A.; Middelburg, C. A. 4 2007 Preferential choice and coordination conditions. Zbl 1106.68071Bergstra, J. A.; Middelburg, C. A. 4 2007 Model theory for process algebra. Zbl 1171.68561Bergstra, Jan A.; Middelburg, C. A. (Kees) 4 2005 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Discrete time process algebra and the semantics of SDL. Zbl 1020.68063Bergstra, J. A.; Middelburg, C. A.; Usenko, Y. S. 4 2001 The discrete time TOOLBUS. – A software coordination architecture. Zbl 0941.68010Bergstra, J. A.; Klint, P. 4 1998 On specifying sets of integers. Zbl 0554.68008Bergstra, Jan A.; Meyer, John-J. Ch. 4 1984 The axiomatic semantics of programs based on Hoare’s logic. Zbl 0551.68016Bergstra, J. A.; Tucker, J. V. 4 1984 Expressiveness and the completeness of Hoare’s logic. Zbl 0437.68009Bergstra, J. A.; Tucker, J. V. 4 1980 A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification. Zbl 0421.68021Bergstra, J. A.; Tucker, J. V. 4 1980 On bounds for the specification of finite data types by means of equations and conditional equations. Zbl 0421.68020Bergstra, J. A.; Tucker, J. V. 4 1980 Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds. Zbl 0418.68019Bergstra, J. A.; Tucker, J. V. 4 1979 Recursive assertions are not enough - or are they? Zbl 0393.68016Apt, Krzysztof R.; Bergstra, Jan A.; Meertens, Lambert G. L. T. 4 1979 Division by zero in common meadows. Zbl 06448704Bergstra, Jan A.; Ponse, Alban 3 2015 A process calculus with finitary comprehended terms. Zbl 1283.68233Bergstra, J. A.; Middelburg, C. A. 3 2013 Straight-line instruction sequence completeness for total calculation on cancellation meadows. Zbl 1217.68141Bergstra, Jan A.; Bethke, Inge 3 2011 A thread calculus with molecular dynamics. Zbl 1197.68046Bergstra, J. A.; Middelburg, C. A. 3 2010 Division safe calculation in totalised fields. Zbl 1162.68479Bergstra, J. A.; Tucker, J. V. 3 2008 Instruction sequences with indirect jumps. Zbl 1349.68048Bergstra, J. A.; Middelburg, C. A. 3 2007 Synchronous cooperation for explicit multi-threading. Zbl 1133.68051Bergstra, J. A.; Middelburg, C. A. 3 2007 Polarized process algebra with reactive composition. Zbl 1077.68057Bergstra, J. A.; Bethke, I. 3 2005 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 3 1999 Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027Bergstra, J. A.; Middelburg, C. A. 1 2017 On instruction sets for Boolean registers in program algebra. Zbl 1424.68032Bergstra, J. A.; Middelburg, C. A. 1 2016 Instruction sequence size complexity of parity. Zbl 1373.68218Bergstra, J. A.; Middelburg, C. A. 1 2016 Transformation of fractions into simple fractions in divisive meadows. Zbl 1401.68210Bergstra, J. A.; Middelburg, C. A. 1 2016 Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012Bergstra, Jan A.; Ponse, Alban 1 2016 Division by zero in non-involutive meadows. Zbl 1401.68209Bergstra, J. A.; Middelburg, C. A. 4 2015 Division by zero in common meadows. Zbl 06448704Bergstra, Jan A.; Ponse, Alban 3 2015 Note on paraconsistency and reasoning about fractions. Zbl 1398.03137Bergstra, Jan A.; Bethke, Inge 1 2015 On algorithmic equivalence of instruction sequences for computing bit string functions. Zbl 1334.68313Bergstra, J. A.; Middelburg, C. A. 1 2015 Evaluation trees for proposition algebra. Zbl 1444.03110Bergstra, Jan A.; Ponse, Alban 1 2015 Equations for formally real meadows. Zbl 1350.68189Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2015 Instruction sequence based non-uniform complexity classes. Zbl 1424.68036Bergstra, Jan; Middelburg, Cornelis 1 2014 A process calculus with finitary comprehended terms. Zbl 1283.68233Bergstra, J. A.; Middelburg, C. A. 3 2013 Instruction sequence processing operators. Zbl 1279.68075Bergstra, J. A.; Middelburg, C. A. 4 2012 Proposition algebra and short-circuit logic. Zbl 1354.03035Bergstra, Jan A.; Ponse, Alban 2 2012 On the behaviours produced by instruction sequences under execution. Zbl 1256.68041Bergstra, J. A.; Middelburg, C. A. 1 2012 On the expressiveness of single-pass instruction sequences. Zbl 1278.68032Bergstra, J. A.; Middelburg, C. A. 1 2012 Inversive meadows and divisive meadows. Zbl 1251.68144Bergstra, J. A.; Middelburg, C. A. 8 2011 Straight-line instruction sequence completeness for total calculation on cancellation meadows. Zbl 1217.68141Bergstra, Jan A.; Bethke, Inge 3 2011 Proposition algebra. Zbl 1352.03040Bergstra, Jan A.; Ponse, Alban 2 2011 A thread calculus with molecular dynamics. Zbl 1197.68046Bergstra, J. A.; Middelburg, C. A. 3 2010 An interface group for process components. Zbl 1204.68134Bergstra, Jan A.; Middelburg, Cornelis A. 2 2010 On the operating unit size of load/store architectures. Zbl 1206.68114Bergstra, J. A.; Middelburg, C. A. 1 2010 Meadows and the equational specification of division. Zbl 1172.68039Bergstra, J. A.; Hirshfeld, Y.; Tucker, J. V. 12 2009 Instruction sequences with dynamically instantiated instructions. Zbl 1200.68069Bergstra, Jan A.; Middelburg, Cornelis A. 2 2009 Transmission protocols for instruction streams. Zbl 1250.68183Bergstra, J. A.; Middelburg, C. A. 2 2009 An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037Bergstra, J. A.; Ponse, A. 1 2009 Machine structure oriented control code logic. Zbl 1186.68104Bergstra, J. A.; Middelburg, C. A. 1 2009 Maurer computers for pipelined instruction processing. Zbl 1141.68010Bergstra, J. A.; Middelburg, C. A. 6 2008 Division safe calculation in totalised fields. Zbl 1162.68479Bergstra, J. A.; Tucker, J. V. 3 2008 Program algebra with a jump-shift instruction. Zbl 1158.68359Bergstra, J. A.; Middelburg, C. A. 2 2008 Thread algebra and risk assessment services. Zbl 1149.68022Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2008 Simulating Turing machines on Maurer machines. Zbl 1150.03011Bergstra, J. A.; Middelburg, C. A. 1 2008 Fields, meadows and abstract data types. Zbl 1134.68034Bergstra, Jan; Hirshfeld, Yoram; Tucker, John 1 2008 The rational numbers as an abstract data type. Zbl 1292.68105Bergstra, Jan A.; Tucker, J. V. 15 2007 Thread algebra for strategic interleaving. Zbl 1131.68067Bergstra, J. A.; Middelburg, C. A. 10 2007 Execution architectures for program algebra. Zbl 1116.68024Bergstra, Jan A.; Ponse, Alban 6 2007 Decision problems for pushdown threads. Zbl 1120.68077Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 5 2007 A thread algebra with multi-level strategic interleaving. Zbl 1127.68066Bergstra, J. A.; Middelburg, C. A. 4 2007 Preferential choice and coordination conditions. Zbl 1106.68071Bergstra, J. A.; Middelburg, C. A. 4 2007 Instruction sequences with indirect jumps. Zbl 1349.68048Bergstra, J. A.; Middelburg, C. A. 3 2007 Synchronous cooperation for explicit multi-threading. Zbl 1133.68051Bergstra, J. A.; Middelburg, C. A. 3 2007 Thread algebra with multi-level strategies. Zbl 1095.68061Bergstra, J. A.; Middelburg, C. A. 7 2006 Elementary algebraic specifications of the rational complex numbers. Zbl 1132.68485Bergstra, Jan A.; Tucker, John V. 6 2006 Splitting bisimulations and retrospective conditions. Zbl 1104.68070Bergstra, J. A.; Middelburg, C. A. 5 2006 Elementary algebraic specifications of the rational function field. Zbl 1145.68465Bergstra, J. A. 2 2006 Continuity controlled hybrid automata. Zbl 1088.68085Bergstra, J. A.; Middelburg, C. A. 2 2006 Process algebra for hybrid systems. Zbl 1080.68073Bergstra, J. A.; Middelburg, C. A. 21 2005 A thread algebra with multi-level strategic interleaving. Zbl 1113.68426Bergstra, Jan A.; Middelburg, C. A. (Kees) 6 2005 Model theory for process algebra. Zbl 1171.68561Bergstra, Jan A.; Middelburg, C. A. (Kees) 4 2005 Polarized process algebra with reactive composition. Zbl 1077.68057Bergstra, J. A.; Bethke, I. 3 2005 Strong splitting bisimulation equivalence. Zbl 1151.68504Bergstra, J. A.; Middelburg, C. A. 2 2005 Machine function based control code algebras. Zbl 1104.68407Bergstra, Jan A. 1 2004 Located actions in process algebra with timing. Zbl 1098.68085Bergstra, Jan A.; Middelburg, Cornelis A. 1 2004 Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B. 7 2003 Polarized process algebra and program equivalence. Zbl 1039.68040Bergstra, Jan A.; Bethke, Inge 7 2003 Program algebra for sequential code. Zbl 1008.68079Bergstra, J. A.; Loots, M. E. 24 2002 Combining programs and state machines. Zbl 1008.68068Bergstra, Jan A.; Ponse, Alban 14 2002 Molecular dynamics. Zbl 1008.68033Bergstra, J. A.; Bethke, I. 1 2002 Handbook of process algebra. Zbl 0971.00006Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.) 66 2001 Process algebra with recursive operations. Zbl 1027.68091Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban 8 2001 Process algebra and conditional composition. Zbl 1003.68091Bergstra, Jan A.; Ponse, Alban 4 2001 Discrete time process algebra and the semantics of SDL. Zbl 1020.68063Bergstra, J. A.; Middelburg, C. A.; Usenko, Y. S. 4 2001 Register-machine based processes. Zbl 1323.68401Bergstra, Jan A.; Ponse, Alban 2 2001 Non-regular iterators in process algebra. Zbl 0983.68138Bergstra, Jan A.; Ponse, Alban 2 2001 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 7 2000 Program algebra for component code. Zbl 0964.68509Bergstra, J. A.; Loots, M. E. 6 2000 Process algebra with five-valued conditions. Zbl 0960.68123Bergstra, Jan A.; Ponse, Alban 3 1999 Kleene’s three-valued logic and process algebra. Zbl 1338.68200Bergstra, Jan A.; Ponse, Alban 6 1998 Bochvar-McCarthy logic and process algebra. Zbl 0970.68115Bergstra, Jan A.; Ponse, Alban 5 1998 The discrete time TOOLBUS. – A software coordination architecture. Zbl 0941.68010Bergstra, J. A.; Klint, P. 4 1998 Network algebra with demonic relation operators. Zbl 0998.68060Bergstra, J. A.; Ştefănescu, Gh. 3 1998 Deadlock behaviour in split and ST bisimulation semantics. Zbl 0919.68081Baeten, J. C. M.; Bergstra, J. A. 1 1998 Process algebra with propositional signals. Zbl 0901.68117Baeten, J. C. M.; Bergstra, J. A. 19 1997 Network algebra for asynchronous dataflow. Zbl 0891.68040Bergstra, J. A.; Middelburg, C. A.; Stefǎnescu, Gh. 3 1997 Discrete time process algebra. Zbl 0849.68033Baeten, J. C. M.; Bergstra, J. A. 17 1996 Process with multiple entries and exits modulo isomorphism and modulo bisimulation. Zbl 0854.68031Bergstra, J. A.; Stefănescu, Gh. 2 1996 Algebra of timed frames. Zbl 1001.68518Bergstra, J. A.; Fokkink, W. J.; Middelburg, C. A. 1 1996 Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A. 24 1995 A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet 20 1995 Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Zbl 0885.68092Bergstra, J. A.; Tucker, J. V. 10 1995 Logic of transition systems. Zbl 0827.03019van Benthem, Johan; Bergstra, Jan 9 1995 The data type variety of stack algebras. Zbl 0821.68082Bergstra, J. A.; Tucker, J. V. 3 1995 Process algebra with combinators. Zbl 0953.68572Bergstra, J. A.; Bethke, I.; Ponse, A. 21 1994 On sequential composition, action prefixes and process prefix. Zbl 0942.68608Baeten, J. C. M.; Bergstra, J. A. 7 1994 Bisimulation is two-way simulation. Zbl 0938.68742Bergstra, J. A.; Ştefănescu, Gh. 1 1994 Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. 34 1993 Real space process algebra. Zbl 0942.68607Baeten, J. C. M.; Bergstra, J. A. 7 1993 Translations between flowchart schemes and process graphs. Zbl 0794.68053Bergstra, J. A.; Ştefănescu, Gh. 1 1993 Real time process algebra. Zbl 0719.68020Baeten, J. C. M.; Bergstra, J. A. 51 1991 Recursive process definitions with the state operator. Zbl 0724.68035Baeten, J. C. M.; Bergstra, J. A. 5 1991 Uniform algebraic specifications of finite sets with equality. Zbl 0739.68066Bergstra, J. A.; Mauw, S.; Wiedijk, F. 1 1991 Module algebra. Zbl 0696.68040Bergstra, J. A.; Heering, J.; Klint, P. 37 1990 Term-rewriting systems with rule priorities. Zbl 0686.68018Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P. 16 1989 Algebraic specification. Zbl 0711.68073Bergstra, J. A. (ed.); Heering, J. (ed.); Klint, P. (ed.) 13 1989 Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066Bergstra, J. A.; Klop, J. W. 10 1989 ACP with signals. Zbl 0708.68040Bergstra, J. A. 1 1989 Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Zbl 0745.68019Wirsing, Martin (ed.); Bergstra, Jan A. (ed.) 1 1989 Global renaming operators in concrete process algebra. Zbl 0651.68031Baeten, J. C. M.; Bergstra, J. A. 30 1988 A complete inference system for regular processes with silent moves. Zbl 0647.68033Bergstra, J. A.; Klop, J. W. 15 1988 ...and 77 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 882 Authors 79 Bergstra, Jan A. 29 Middelburg, Cornelis A. 26 Ponse, Alban 25 Aceto, Luca 24 Baeten, Jos C. M. 20 Meseguer Guaita, José 19 Ingólfsdóttir, Anna 17 Tucker, John V. 16 Fokkink, Wan 14 Luttik, Bas 14 Meyer, John-Jules Charles 14 Reniers, Michel Adriaan 13 Klop, Jan Willem 13 van Glabbeek, Robert Jan 12 Bethke, Inge 12 Groote, Jan Friso 10 Diaconescu, Răzvan 9 Kucera, Antonin 9 Lüttgen, Gerald 9 Montanari, Ugo G. 9 Wirsing, Martin 8 Schröder, Lutz 8 Vogler, Walter 7 Cleaveland, Rance 7 de Bakker, Jacobus W. 7 de Vink, Erik P. 7 Degano, Pierpaolo 7 Olderog, Ernst-Rüdiger 7 Smolka, Scott A. 6 Bernardo, Marco 6 Broy, Manfred 6 Corradini, Flavio 6 De Nicola, Rocco 6 Goncharov, Sergeĭ Savost’yanovich 6 Hoare, C. A. R. Tony 6 Khoussainov, Bakhadyr M. 6 Lee, Insup 6 Moller, Faron 6 Mossakowski, Till 6 Phillips, Iain W. 6 Priami, Corrado 6 Tini, Simone 6 Vaandrager, Frits W. 6 van Benthem, Johan F. A. K. 6 van de Pol, Jan Cornelis 6 van der Zwaag, Mark B. 5 Andova, Suzana 5 Colvin, Robert J. 5 Cuijpers, Pieter J. L. 5 Fokkink, Wan J. 5 Gorrieri, Roberto 5 Hirshfeld, Yoram 5 Höfner, Peter 5 Kaplan, Stéphane 5 Klin, Bartek 5 Martí-Oliet, Narciso 5 Mayr, Richard M. 5 Mousavi, Mohammad Reza 5 Mousavi, Mohammadreza 5 Nishida, Naoki 5 Rodenburg, Piet H. 5 Sakai, Masahiko 5 Schnoebelen, Philippe 5 Tarlecki, Andrzej 5 Tofts, Chris 5 Ulidowski, Irek 4 Alpuente, María 4 Antoy, Sergio 4 Bravetti, Mario 4 D’Argenio, Pedro Rubén 4 de Boer, Frank S. 4 Dershowitz, Nachum 4 Escobar, Santiago 4 Ésik, Zoltán 4 Ferrari, Gian Luigi 4 Gadducci, Fabio 4 Garavel, Hubert 4 Ghassemi, Fatemeh 4 Gregorio-Rodríguez, Carlos 4 Huynh, Dung T. 4 Inverardi, Paola 4 Katoen, Joost-Pieter 4 Letychevs’kyĭ, Oleksandr Adol’fovych 4 Lucas, Salvador 4 Majster-Cederbaum, Mila E. 4 Middeldorp, Aart 4 Milner, Robin 4 Möller, Bernhard 4 Parrow, Joachim 4 Rauch, Christoph 4 Roşu, Grigore 4 Schneider, Steve A. 4 Sokolsky, Oleg 4 Sui, Yuefei 4 Tian, Lu 4 Viroli, Mirko 4 Vu, Thuy Duong 4 Ying, Mingsheng 4 Zucker, Jeffery I. 3 America, Pierre ...and 782 more Authors all top 5 Cited in 80 Serials 243 Theoretical Computer Science 79 Information and Computation 46 The Journal of Logic and Algebraic Programming 43 Formal Aspects of Computing 33 Information Processing Letters 32 Acta Informatica 21 Journal of Logical and Algebraic Methods in Programming 19 MSCS. Mathematical Structures in Computer Science 15 Journal of Computer and System Sciences 14 Journal of Symbolic Computation 9 Annals of Pure and Applied Logic 8 Science of Computer Programming 8 Journal of Applied Logic 7 Theory of Computing Systems 6 Applicable Algebra in Engineering, Communication and Computing 6 Cybernetics and Systems Analysis 6 Formal Methods in System Design 5 International Journal of Computer Mathematics 5 Distributed Computing 5 RAIRO. Informatique Théorique et Applications 5 Journal of Applied Non-Classical Logics 4 Algebra and Logic 4 Information Sciences 4 The Journal of Symbolic Logic 4 Journal of Automated Reasoning 3 Synthese 3 Diagrammes 3 Annals of Mathematics and Artificial Intelligence 3 Sādhanā 3 Logical Methods in Computer Science 2 Artificial Intelligence 2 International Journal of Theoretical Physics 2 Algebra Universalis 2 Journal of Philosophical Logic 2 Notre Dame Journal of Formal Logic 2 RAIRO, Informatique Théorique 2 Studia Logica 2 International Journal of Parallel Programming 2 International Journal of Algebra and Computation 2 Indagationes Mathematicae. New Series 2 Applied Categorical Structures 2 The Bulletin of Symbolic Logic 2 RAIRO. Theoretical Informatics and Applications 2 ACM Transactions on Computational Logic 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Frontiers of Computer Science 1 Bulletin of Mathematical Biology 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Automatica 1 BIT 1 Fuzzy Sets and Systems 1 Journal of Computational and Applied Mathematics 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Mathematical Systems Theory 1 Siberian Mathematical Journal 1 Software. Practice & Experience 1 Transactions of the American Mathematical Society 1 Systems & Control Letters 1 Journal of Computer Science and Technology 1 New Generation Computing 1 International Journal of Intelligent Systems 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Archive for Mathematical Logic 1 Foundations of Computing and Decision Sciences 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 Mathematical Problems in Engineering 1 Journal of Combinatorial Optimization 1 Chaos 1 International Journal of Applied Mathematics and Computer Science 1 Journal of Intelligent and Fuzzy Systems 1 Oberwolfach Reports 1 Logica Universalis 1 The Review of Symbolic Logic 1 Science China. Information Sciences all top 5 Cited in 24 Fields 770 Computer science (68-XX) 168 Mathematical logic and foundations (03-XX) 21 General algebraic systems (08-XX) 18 Category theory; homological algebra (18-XX) 10 Systems theory; control (93-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Biology and other natural sciences (92-XX) 5 Associative rings and algebras (16-XX) 5 Operations research, mathematical programming (90-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Probability theory and stochastic processes (60-XX) 3 History and biography (01-XX) 3 Group theory and generalizations (20-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 General topology (54-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Functional analysis (46-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.