×

zbMATH — the first resource for mathematics

Bergstra, Jan A.

Compute Distance To:
Author ID: bergstra.jan-a Recent zbMATH articles by "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

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

Publications by Year

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.68027
Bergstra, J. A.; Klop, J. W.
177
1984
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
121
1985
Handbook of process algebra. Zbl 0971.00006
Bergstra, 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.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
52
1986
Real time process algebra. Zbl 0719.68020
Baeten, J. C. M.; Bergstra, J. A.
51
1991
Conditional rewrite rules: Confluence and termination. Zbl 0658.68031
Bergstra, J. A.; Klop, J. W.
47
1986
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
38
1987
Module algebra. Zbl 0696.68040
Bergstra, J. A.; Heering, J.; Klint, P.
37
1990
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
34
1993
Algebraic specifications of computable and semicomputable data types. Zbl 0637.68013
Bergstra, J. A.; Tucker, J. V.
31
1987
Global renaming operators in concrete process algebra. Zbl 0651.68031
Baeten, J. C. M.; Bergstra, J. A.
30
1988
The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019
Bergstra, J. A.; Klop, J. W.
27
1984
Program algebra for sequential code. Zbl 1008.68079
Bergstra, J. A.; Loots, M. E.
24
2002
Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044
Baeten, 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.68003
Bergstra, J. A.; Tucker, J. V.
23
1980
Initial and final algebra semantics for data type specifications: Two characterization theorems. Zbl 0515.68016
Bergstra, J. A.; Tucker, J. V.
22
1983
Process algebra for hybrid systems. Zbl 1080.68073
Bergstra, J. A.; Middelburg, C. A.
21
2005
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
21
1994
Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023
Bergstra, J. A.; Klop, J. W.
21
1986
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
20
1995
Process algebra with propositional signals. Zbl 0901.68117
Baeten, J. C. M.; Bergstra, J. A.
19
1997
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
19
1987
Algebra of communicating processes. Zbl 0605.68013
Bergstra, J. A.; Klop, J. W.
19
1986
Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024
Bergstra, J. A.; Klop, J. W.
19
1986
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Expressiveness and the completeness of Hoare’s logic. Zbl 0549.68021
Bergstra, J. A.; Tucker, J. V.
18
1982
Discrete time process algebra. Zbl 0849.68033
Baeten, J. C. M.; Bergstra, J. A.
17
1996
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
17
1984
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, 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.68016
Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W.
16
1987
The rational numbers as an abstract data type. Zbl 1292.68105
Bergstra, Jan A.; Tucker, J. V.
15
2007
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
15
1988
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016
Bergstra, J. A.; Klop, J. W.
15
1982
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
On the power of algebraic specifications. Zbl 0462.68001
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M.
14
1981
Algebraic specification. Zbl 0711.68073
Bergstra, J. A. (ed.); Heering, J. (ed.); Klint, P. (ed.)
13
1989
Meadows and the equational specification of division. Zbl 1172.68039
Bergstra, J. A.; Hirshfeld, Y.; Tucker, J. V.
12
2009
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
12
1976
The completeness of the algebraic specification methods for computable data types. Zbl 0513.68017
Bergstra, J. A.; Tucker, J. V.
11
1982
Algebraic specifications of computable and semicomputable data structures. Zbl 0419.68029
Bergstra, J. A.; Tucker, J. V.
11
1979
Thread algebra for strategic interleaving. Zbl 1131.68067
Bergstra, J. A.; Middelburg, C. A.
10
2007
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Zbl 0885.68092
Bergstra, J. A.; Tucker, J. V.
10
1995
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
10
1989
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
10
1988
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
9
1995
Floyd’s principle, correctness theories and program equivalence. Zbl 0474.68017
Bergstra, J. A.; Tiuryn, J.; Tucker, J. V.
9
1982
Inversive meadows and divisive meadows. Zbl 1251.68144
Bergstra, J. A.; Middelburg, C. A.
8
2011
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
8
2001
Top-down design and the algebra of communicating processes. Zbl 0606.68021
Bergstra, 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.68033
Bergstra, J. A.; Tucker, J. V.
8
1982
Thread algebra with multi-level strategies. Zbl 1095.68061
Bergstra, J. A.; Middelburg, C. A.
7
2006
Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B.
7
2003
Polarized process algebra and program equivalence. Zbl 1039.68040
Bergstra, Jan A.; Bethke, Inge
7
2003
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
7
2000
On sequential composition, action prefixes and process prefix. Zbl 0942.68608
Baeten, J. C. M.; Bergstra, J. A.
7
1994
Real space process algebra. Zbl 0942.68607
Baeten, J. C. M.; Bergstra, J. A.
7
1993
Process algebra with asynchronous communication mechanisms. Zbl 0579.68015
Bergstra, J. A.; Klop, J. W.; Tucker, J. V.
7
1985
Hoare’s logic and Peano’s arithmetic. Zbl 0497.68007
Bergstra, J. A.; Tucker, J. V.
7
1983
Maurer computers for pipelined instruction processing. Zbl 1141.68010
Bergstra, J. A.; Middelburg, C. A.
6
2008
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
6
2007
Elementary algebraic specifications of the rational complex numbers. Zbl 1132.68485
Bergstra, Jan A.; Tucker, John V.
6
2006
A thread algebra with multi-level strategic interleaving. Zbl 1113.68426
Bergstra, Jan A.; Middelburg, C. A. (Kees)
6
2005
Program algebra for component code. Zbl 0964.68509
Bergstra, J. A.; Loots, M. E.
6
2000
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
1998
Formal proof systems for program equivalence. Zbl 0512.68013
Bergstra, J. A.; Klop, J. W.
6
1983
Initial algebra specifications for parametrized data types. Zbl 0549.68012
Bergstra, J. A.; Klop, J. W.
6
1982
Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009
Bergstra, Jan A.; Klop, Jan Willem
6
1982
A characterization of computable data types by means of a finite, equational specification method. Zbl 0417.68012
Bergstra, J. A.; Tucker, J. V.
6
1979
Decision problems for pushdown threads. Zbl 1120.68077
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
5
2007
Splitting bisimulations and retrospective conditions. Zbl 1104.68070
Bergstra, J. A.; Middelburg, C. A.
5
2006
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
5
1998
Recursive process definitions with the state operator. Zbl 0724.68035
Baeten, J. C. M.; Bergstra, J. A.
5
1991
Process algebra semantics for queues. Zbl 0636.68025
Bergstra, Jan; Tiuryn, Jerzy
5
1987
Two theorems about the completeness of Hoare’s logic. Zbl 0541.68008
Bergstra, J. A.; Tucker, J. V.
5
1982
The refinement of specifications and the stability of Hoare’s logic. Zbl 0504.68019
Bergstra, J. A.; Tucker, J. V.
5
1982
Algebraically specified programming systems and Hoare’s logic. Zbl 0465.68003
Bergstra, J. A.; Tucker, J. V.
5
1981
Division by zero in non-involutive meadows. Zbl 1401.68209
Bergstra, J. A.; Middelburg, C. A.
4
2015
Instruction sequence processing operators. Zbl 1279.68075
Bergstra, J. A.; Middelburg, C. A.
4
2012
A thread algebra with multi-level strategic interleaving. Zbl 1127.68066
Bergstra, J. A.; Middelburg, C. A.
4
2007
Preferential choice and coordination conditions. Zbl 1106.68071
Bergstra, J. A.; Middelburg, C. A.
4
2007
Model theory for process algebra. Zbl 1171.68561
Bergstra, Jan A.; Middelburg, C. A. (Kees)
4
2005
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Discrete time process algebra and the semantics of SDL. Zbl 1020.68063
Bergstra, J. A.; Middelburg, C. A.; Usenko, Y. S.
4
2001
The discrete time TOOLBUS. – A software coordination architecture. Zbl 0941.68010
Bergstra, J. A.; Klint, P.
4
1998
On specifying sets of integers. Zbl 0554.68008
Bergstra, Jan A.; Meyer, John-J. Ch.
4
1984
The axiomatic semantics of programs based on Hoare’s logic. Zbl 0551.68016
Bergstra, J. A.; Tucker, J. V.
4
1984
Expressiveness and the completeness of Hoare’s logic. Zbl 0437.68009
Bergstra, 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.68021
Bergstra, 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.68020
Bergstra, J. A.; Tucker, J. V.
4
1980
Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds. Zbl 0418.68019
Bergstra, J. A.; Tucker, J. V.
4
1979
Recursive assertions are not enough - or are they? Zbl 0393.68016
Apt, Krzysztof R.; Bergstra, Jan A.; Meertens, Lambert G. L. T.
4
1979
Division by zero in common meadows. Zbl 06448704
Bergstra, Jan A.; Ponse, Alban
3
2015
A process calculus with finitary comprehended terms. Zbl 1283.68233
Bergstra, J. A.; Middelburg, C. A.
3
2013
Straight-line instruction sequence completeness for total calculation on cancellation meadows. Zbl 1217.68141
Bergstra, Jan A.; Bethke, Inge
3
2011
A thread calculus with molecular dynamics. Zbl 1197.68046
Bergstra, J. A.; Middelburg, C. A.
3
2010
Division safe calculation in totalised fields. Zbl 1162.68479
Bergstra, J. A.; Tucker, J. V.
3
2008
Instruction sequences with indirect jumps. Zbl 1349.68048
Bergstra, J. A.; Middelburg, C. A.
3
2007
Synchronous cooperation for explicit multi-threading. Zbl 1133.68051
Bergstra, J. A.; Middelburg, C. A.
3
2007
Polarized process algebra with reactive composition. Zbl 1077.68057
Bergstra, J. A.; Bethke, I.
3
2005
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
3
1999
Axioms for behavioural congruence of single-pass instruction sequences. Zbl 1424.68027
Bergstra, J. A.; Middelburg, C. A.
1
2017
On instruction sets for Boolean registers in program algebra. Zbl 1424.68032
Bergstra, J. A.; Middelburg, C. A.
1
2016
Instruction sequence size complexity of parity. Zbl 1373.68218
Bergstra, J. A.; Middelburg, C. A.
1
2016
Transformation of fractions into simple fractions in divisive meadows. Zbl 1401.68210
Bergstra, J. A.; Middelburg, C. A.
1
2016
Fracpairs and fractions over a reduced commutative ring. Zbl 1348.13012
Bergstra, Jan A.; Ponse, Alban
1
2016
Division by zero in non-involutive meadows. Zbl 1401.68209
Bergstra, J. A.; Middelburg, C. A.
4
2015
Division by zero in common meadows. Zbl 06448704
Bergstra, Jan A.; Ponse, Alban
3
2015
Note on paraconsistency and reasoning about fractions. Zbl 1398.03137
Bergstra, Jan A.; Bethke, Inge
1
2015
On algorithmic equivalence of instruction sequences for computing bit string functions. Zbl 1334.68313
Bergstra, J. A.; Middelburg, C. A.
1
2015
Evaluation trees for proposition algebra. Zbl 1444.03110
Bergstra, Jan A.; Ponse, Alban
1
2015
Equations for formally real meadows. Zbl 1350.68189
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2015
Instruction sequence based non-uniform complexity classes. Zbl 1424.68036
Bergstra, Jan; Middelburg, Cornelis
1
2014
A process calculus with finitary comprehended terms. Zbl 1283.68233
Bergstra, J. A.; Middelburg, C. A.
3
2013
Instruction sequence processing operators. Zbl 1279.68075
Bergstra, J. A.; Middelburg, C. A.
4
2012
Proposition algebra and short-circuit logic. Zbl 1354.03035
Bergstra, Jan A.; Ponse, Alban
2
2012
On the behaviours produced by instruction sequences under execution. Zbl 1256.68041
Bergstra, J. A.; Middelburg, C. A.
1
2012
On the expressiveness of single-pass instruction sequences. Zbl 1278.68032
Bergstra, J. A.; Middelburg, C. A.
1
2012
Inversive meadows and divisive meadows. Zbl 1251.68144
Bergstra, J. A.; Middelburg, C. A.
8
2011
Straight-line instruction sequence completeness for total calculation on cancellation meadows. Zbl 1217.68141
Bergstra, Jan A.; Bethke, Inge
3
2011
Proposition algebra. Zbl 1352.03040
Bergstra, Jan A.; Ponse, Alban
2
2011
A thread calculus with molecular dynamics. Zbl 1197.68046
Bergstra, J. A.; Middelburg, C. A.
3
2010
An interface group for process components. Zbl 1204.68134
Bergstra, Jan A.; Middelburg, Cornelis A.
2
2010
On the operating unit size of load/store architectures. Zbl 1206.68114
Bergstra, J. A.; Middelburg, C. A.
1
2010
Meadows and the equational specification of division. Zbl 1172.68039
Bergstra, J. A.; Hirshfeld, Y.; Tucker, J. V.
12
2009
Instruction sequences with dynamically instantiated instructions. Zbl 1200.68069
Bergstra, Jan A.; Middelburg, Cornelis A.
2
2009
Transmission protocols for instruction streams. Zbl 1250.68183
Bergstra, J. A.; Middelburg, C. A.
2
2009
An instruction sequence semigroup with involutive anti-automorphisms. Zbl 1424.68037
Bergstra, J. A.; Ponse, A.
1
2009
Machine structure oriented control code logic. Zbl 1186.68104
Bergstra, J. A.; Middelburg, C. A.
1
2009
Maurer computers for pipelined instruction processing. Zbl 1141.68010
Bergstra, J. A.; Middelburg, C. A.
6
2008
Division safe calculation in totalised fields. Zbl 1162.68479
Bergstra, J. A.; Tucker, J. V.
3
2008
Program algebra with a jump-shift instruction. Zbl 1158.68359
Bergstra, J. A.; Middelburg, C. A.
2
2008
Thread algebra and risk assessment services. Zbl 1149.68022
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
1
2008
Simulating Turing machines on Maurer machines. Zbl 1150.03011
Bergstra, J. A.; Middelburg, C. A.
1
2008
Fields, meadows and abstract data types. Zbl 1134.68034
Bergstra, Jan; Hirshfeld, Yoram; Tucker, John
1
2008
The rational numbers as an abstract data type. Zbl 1292.68105
Bergstra, Jan A.; Tucker, J. V.
15
2007
Thread algebra for strategic interleaving. Zbl 1131.68067
Bergstra, J. A.; Middelburg, C. A.
10
2007
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
6
2007
Decision problems for pushdown threads. Zbl 1120.68077
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
5
2007
A thread algebra with multi-level strategic interleaving. Zbl 1127.68066
Bergstra, J. A.; Middelburg, C. A.
4
2007
Preferential choice and coordination conditions. Zbl 1106.68071
Bergstra, J. A.; Middelburg, C. A.
4
2007
Instruction sequences with indirect jumps. Zbl 1349.68048
Bergstra, J. A.; Middelburg, C. A.
3
2007
Synchronous cooperation for explicit multi-threading. Zbl 1133.68051
Bergstra, J. A.; Middelburg, C. A.
3
2007
Thread algebra with multi-level strategies. Zbl 1095.68061
Bergstra, J. A.; Middelburg, C. A.
7
2006
Elementary algebraic specifications of the rational complex numbers. Zbl 1132.68485
Bergstra, Jan A.; Tucker, John V.
6
2006
Splitting bisimulations and retrospective conditions. Zbl 1104.68070
Bergstra, J. A.; Middelburg, C. A.
5
2006
Elementary algebraic specifications of the rational function field. Zbl 1145.68465
Bergstra, J. A.
2
2006
Continuity controlled hybrid automata. Zbl 1088.68085
Bergstra, J. A.; Middelburg, C. A.
2
2006
Process algebra for hybrid systems. Zbl 1080.68073
Bergstra, J. A.; Middelburg, C. A.
21
2005
A thread algebra with multi-level strategic interleaving. Zbl 1113.68426
Bergstra, Jan A.; Middelburg, C. A. (Kees)
6
2005
Model theory for process algebra. Zbl 1171.68561
Bergstra, Jan A.; Middelburg, C. A. (Kees)
4
2005
Polarized process algebra with reactive composition. Zbl 1077.68057
Bergstra, J. A.; Bethke, I.
3
2005
Strong splitting bisimulation equivalence. Zbl 1151.68504
Bergstra, J. A.; Middelburg, C. A.
2
2005
Machine function based control code algebras. Zbl 1104.68407
Bergstra, Jan A.
1
2004
Located actions in process algebra with timing. Zbl 1098.68085
Bergstra, Jan A.; Middelburg, Cornelis A.
1
2004
Branching time and orthogonal bisimulation equivalence. Zbl 1070.68100
Bergstra, Jan A.; Ponse, Alban; van der Zwaag, Mark B.
7
2003
Polarized process algebra and program equivalence. Zbl 1039.68040
Bergstra, Jan A.; Bethke, Inge
7
2003
Program algebra for sequential code. Zbl 1008.68079
Bergstra, J. A.; Loots, M. E.
24
2002
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
Molecular dynamics. Zbl 1008.68033
Bergstra, J. A.; Bethke, I.
1
2002
Handbook of process algebra. Zbl 0971.00006
Bergstra, Jan A. (ed.); Ponse, Alban (ed.); Smolka, Scott A. (ed.)
66
2001
Process algebra with recursive operations. Zbl 1027.68091
Bergstra, Jan A.; Fokkink, Wan; Ponse, Alban
8
2001
Process algebra and conditional composition. Zbl 1003.68091
Bergstra, Jan A.; Ponse, Alban
4
2001
Discrete time process algebra and the semantics of SDL. Zbl 1020.68063
Bergstra, J. A.; Middelburg, C. A.; Usenko, Y. S.
4
2001
Register-machine based processes. Zbl 1323.68401
Bergstra, Jan A.; Ponse, Alban
2
2001
Non-regular iterators in process algebra. Zbl 0983.68138
Bergstra, Jan A.; Ponse, Alban
2
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
7
2000
Program algebra for component code. Zbl 0964.68509
Bergstra, J. A.; Loots, M. E.
6
2000
Process algebra with five-valued conditions. Zbl 0960.68123
Bergstra, Jan A.; Ponse, Alban
3
1999
Kleene’s three-valued logic and process algebra. Zbl 1338.68200
Bergstra, Jan A.; Ponse, Alban
6
1998
Bochvar-McCarthy logic and process algebra. Zbl 0970.68115
Bergstra, Jan A.; Ponse, Alban
5
1998
The discrete time TOOLBUS. – A software coordination architecture. Zbl 0941.68010
Bergstra, J. A.; Klint, P.
4
1998
Network algebra with demonic relation operators. Zbl 0998.68060
Bergstra, J. A.; Ştefănescu, Gh.
3
1998
Deadlock behaviour in split and ST bisimulation semantics. Zbl 0919.68081
Baeten, J. C. M.; Bergstra, J. A.
1
1998
Process algebra with propositional signals. Zbl 0901.68117
Baeten, J. C. M.; Bergstra, J. A.
19
1997
Network algebra for asynchronous dataflow. Zbl 0891.68040
Bergstra, J. A.; Middelburg, C. A.; Stefǎnescu, Gh.
3
1997
Discrete time process algebra. Zbl 0849.68033
Baeten, J. C. M.; Bergstra, J. A.
17
1996
Process with multiple entries and exits modulo isomorphism and modulo bisimulation. Zbl 0854.68031
Bergstra, J. A.; Stefănescu, Gh.
2
1996
Algebra of timed frames. Zbl 1001.68518
Bergstra, J. A.; Fokkink, W. J.; Middelburg, C. A.
1
1996
Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044
Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A.
24
1995
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
20
1995
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Zbl 0885.68092
Bergstra, J. A.; Tucker, J. V.
10
1995
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
9
1995
The data type variety of stack algebras. Zbl 0821.68082
Bergstra, J. A.; Tucker, J. V.
3
1995
Process algebra with combinators. Zbl 0953.68572
Bergstra, J. A.; Bethke, I.; Ponse, A.
21
1994
On sequential composition, action prefixes and process prefix. Zbl 0942.68608
Baeten, J. C. M.; Bergstra, J. A.
7
1994
Bisimulation is two-way simulation. Zbl 0938.68742
Bergstra, J. A.; Ştefănescu, Gh.
1
1994
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
34
1993
Real space process algebra. Zbl 0942.68607
Baeten, J. C. M.; Bergstra, J. A.
7
1993
Translations between flowchart schemes and process graphs. Zbl 0794.68053
Bergstra, J. A.; Ştefănescu, Gh.
1
1993
Real time process algebra. Zbl 0719.68020
Baeten, J. C. M.; Bergstra, J. A.
51
1991
Recursive process definitions with the state operator. Zbl 0724.68035
Baeten, J. C. M.; Bergstra, J. A.
5
1991
Uniform algebraic specifications of finite sets with equality. Zbl 0739.68066
Bergstra, J. A.; Mauw, S.; Wiedijk, F.
1
1991
Module algebra. Zbl 0696.68040
Bergstra, J. A.; Heering, J.; Klint, P.
37
1990
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
16
1989
Algebraic specification. Zbl 0711.68073
Bergstra, J. A. (ed.); Heering, J. (ed.); Klint, P. (ed.)
13
1989
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
10
1989
ACP with signals. Zbl 0708.68040
Bergstra, J. A.
1
1989
Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Zbl 0745.68019
Wirsing, Martin (ed.); Bergstra, Jan A. (ed.)
1
1989
Global renaming operators in concrete process algebra. Zbl 0651.68031
Baeten, J. C. M.; Bergstra, J. A.
30
1988
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
15
1988
...and 77 more Documents
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

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.