×

zbMATH — the first resource for mathematics

Baeten, Jos C. M.

Compute Distance To:
Author ID: baeten.jos-c-m Recent zbMATH articles by "Baeten, Jos C. M."
Published as: Baeten, J. C. M.; Baeten, Jos C. M.; Baeten, Jos; Baeten, J.
Documents Indexed: 74 Publications since 1979, including 16 Books

Publications by Year

Citations contained in zbMATH Open

55 Publications have been cited 766 times in 454 Documents Cited by Year
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
176
1990
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
50
1986
Real time process algebra. Zbl 0719.68020
Baeten, J. C. M.; Bergstra, J. A.
50
1991
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
34
2010
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
Global renaming operators in concrete process algebra. Zbl 0651.68031
Baeten, J. C. M.; Bergstra, J. A.
28
1988
Process algebra with timing. Zbl 1021.68063
Baeten, J. C. M.; Middelburg, C. A.
26
2002
Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044
Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A.
25
1995
A brief history of process algebra. Zbl 1080.68072
Baeten, J. C. M.
24
2005
\(\Omega\) can be anything it should not be. Zbl 0417.03006
Baeten, J.; Boerboom, B.
21
1979
Process algebra with timing: Real time and discrete time. Zbl 1006.68100
Baeten, J. C. M.; Middelburg, C. A.
18
2001
Process algebra with propositional signals. Zbl 0901.68117
Baeten, J. C. M.; Bergstra, J. A.
18
1997
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Discrete time process algebra. Zbl 0849.68033
Baeten, J. C. M.; Bergstra, J. A.
17
1996
Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016
Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W.
17
1987
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
17
1987
Abstraction in probabilistic process algebra. Zbl 0978.68100
Andova, S.; Baeten, J. C. M.
16
2001
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
16
1989
Another look at abstraction in process algebra (extended abstract). Zbl 0623.68023
Baeten, J. C. M.; van Glabbeek, R. J.
13
1987
Merge and termination in process algebra. Zbl 0636.68024
Baeten, J. C. M.; van Glabbeek, R. J.
10
1987
Axiomatizing GSOS with termination. Zbl 1072.68058
Baeten, J. C. M.; de Vink, E. P.
9
2004
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
8
2005
Real space process algebra. Zbl 0942.68607
Baeten, J. C. M.; Bergstra, J. A.
7
1993
On sequential composition, action prefixes and process prefix. Zbl 0942.68608
Baeten, J. C. M.; Bergstra, J. A.
7
1994
Embedding untimed into timed process algebra: the case for explicit termination. Zbl 1088.68118
Baeten, J. C. M.
5
2003
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Zbl 1158.68028
Baeten, Jos C. M.; Bravetti, Mario
5
2008
Recursive process definitions with the state operator. Zbl 0724.68035
Baeten, J. C. M.; Bergstra, J. A.
5
1991
A process-theoretic look at automata. Zbl 1274.68155
Baeten, J. C. M.; Cuijpers, P. J. L.; Luttik, B.; van Tilburg, P. J. A.
4
2010
Axiomatizing GSOS with termination. Zbl 1054.68090
Baeten, J. C. M.; de Vink, E. P.
4
2002
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
Baeten, J. C. M. (ed.); Klop, J. W. (ed.)
3
1990
Applications of process algebra. Zbl 0716.68001
Baeten, J. C. M. (ed.)
3
1990
An algebra for process creation. Zbl 0760.68045
Baeten, Jos C. M.; Vaandrager, Frits W.
3
1992
Reactive Turing machines. Zbl 1358.68097
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
3
2013
A characterization of regular expressions under bisimulation. Zbl 1292.68102
Baeten, Jos C. M.; Corradini, Flavio; Grabmayer, Clemens
3
2007
A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification. Zbl 1151.68502
Andova, Suzana; Baeten, Jos C. M.; Willemse, Tim A. C.
3
2006
Abstraction and empty process in process algebra. Zbl 0682.68024
Baeten, J. C. M.; van Glabbeek, R. J.
3
1989
Timed process algebra (with a focus on explicit termination and relative-timing). Zbl 1105.68079
Baeten, J. C. M.; Reniers, M. A.
3
2004
Partial-order process algebra (and its relation to Petri nets). Zbl 1021.68066
Baeten, J. C. M.; Basten, T.
2
2001
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
A context-free process as a pushdown automaton. Zbl 1160.68452
Baeten, J. C. M.; Cuijpers, P. J. L.; van Tilburg, P. J. A.
2
2008
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Zbl 1362.68198
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
2
2016
Reactive Turing machines. Zbl 1342.68126
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2011
Embedding untimed into timed process algebra; the case for explicit termination. Zbl 1260.68256
Baeten, J. C. M.
1
2003
Turing meets Milner. Zbl 1364.68191
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2012
Semantics for Prolog via term rewrite systems. Zbl 0667.68109
Baeten, J. C. M.; Wejland, W. P.
1
1988
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
Deadlock behaviour in split and ST bisimulation semantics. Zbl 0919.68081
Baeten, J. C. M.; Bergstra, J. A.
1
1998
Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Zbl 1029.00041
Baeten, Jos C. M. (ed.); Lenstra, Jan Karel (ed.); Parrow, Joachim (ed.); Woeginger, Gerhard J. (ed.)
1
2003
Term rewriting analysis in process algebra. Zbl 0748.68034
Akkerman, G. J.; Baeten, J. C. M.
1
1991
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
Model-based engineering of embedded systems using the hybrid process algebra Chi. Zbl 1279.68245
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M.
1
2008
Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003
Baeten, Jos C. M.; Sangiorgi, Davide
1
2014
Unguardedness mostly means many solutions. Zbl 1216.68185
Baeten, Jos C. M.; Luttik, Bas
1
2011
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Zbl 1362.68198
Baeten, Jos C. M.; Luttik, Bas; Muller, Tim; van Tilburg, Paul
2
2016
Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003
Baeten, Jos C. M.; Sangiorgi, Davide
1
2014
Reactive Turing machines. Zbl 1358.68097
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
3
2013
Turing meets Milner. Zbl 1364.68191
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2012
Reactive Turing machines. Zbl 1342.68126
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul
1
2011
Unguardedness mostly means many solutions. Zbl 1216.68185
Baeten, Jos C. M.; Luttik, Bas
1
2011
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
34
2010
A process-theoretic look at automata. Zbl 1274.68155
Baeten, J. C. M.; Cuijpers, P. J. L.; Luttik, B.; van Tilburg, P. J. A.
4
2010
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Zbl 1158.68028
Baeten, Jos C. M.; Bravetti, Mario
5
2008
A context-free process as a pushdown automaton. Zbl 1160.68452
Baeten, J. C. M.; Cuijpers, P. J. L.; van Tilburg, P. J. A.
2
2008
Model-based engineering of embedded systems using the hybrid process algebra Chi. Zbl 1279.68245
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M.
1
2008
A characterization of regular expressions under bisimulation. Zbl 1292.68102
Baeten, Jos C. M.; Corradini, Flavio; Grabmayer, Clemens
3
2007
A complete axiomatisation of branching bisimulation for probabilistic systems with an application in protocol verification. Zbl 1151.68502
Andova, Suzana; Baeten, Jos C. M.; Willemse, Tim A. C.
3
2006
A generic process algebra. Zbl 1316.68084
Baeten, Jos C. M.; Bravetti, Mario
1
2006
A brief history of process algebra. Zbl 1080.68072
Baeten, J. C. M.
24
2005
A ground-complete axiomatization of finite state processes in process algebra. Zbl 1134.68425
Baeten, Jos C. M.; Bravetti, Mario
8
2005
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal. Zbl 1088.68523
Bortnik, E.; Trčka, N.; Wijs, A. J.; Luttik, B.; Van De Mortel-Fronczak, J. M.; Baeten, J. C. M.; Fokkink, W. J.; Rooda, J. E.
2
2005
Timing the untimed: Terminating successfully while being conservative. Zbl 1171.68559
Baeten, J. C. M.; Mousavi, M. R.; Reniers, M. A.
1
2005
Axiomatizing GSOS with termination. Zbl 1072.68058
Baeten, J. C. M.; de Vink, E. P.
9
2004
Timed process algebra (with a focus on explicit termination and relative-timing). Zbl 1105.68079
Baeten, J. C. M.; Reniers, M. A.
3
2004
Embedding untimed into timed process algebra: the case for explicit termination. Zbl 1088.68118
Baeten, J. C. M.
5
2003
Embedding untimed into timed process algebra; the case for explicit termination. Zbl 1260.68256
Baeten, J. C. M.
1
2003
Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Zbl 1029.00041
Baeten, Jos C. M.; Lenstra, Jan Karel; Parrow, Joachim; Woeginger, Gerhard J.
1
2003
Process algebra with timing. Zbl 1021.68063
Baeten, J. C. M.; Middelburg, C. A.
26
2002
Axiomatizing GSOS with termination. Zbl 1054.68090
Baeten, J. C. M.; de Vink, E. P.
4
2002
Process algebra with timing: Real time and discrete time. Zbl 1006.68100
Baeten, J. C. M.; Middelburg, C. A.
18
2001
Abstraction in probabilistic process algebra. Zbl 0978.68100
Andova, S.; Baeten, J. C. M.
16
2001
Partial-order process algebra (and its relation to Petri nets). Zbl 1021.68066
Baeten, J. C. M.; Basten, T.
2
2001
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.
18
1997
Discrete time process algebra. Zbl 0849.68033
Baeten, J. C. M.; Bergstra, J. A.
17
1996
Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044
Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A.
25
1995
On sequential composition, action prefixes and process prefix. Zbl 0942.68608
Baeten, J. C. M.; Bergstra, J. A.
7
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
An algebra for process creation. Zbl 0760.68045
Baeten, Jos C. M.; Vaandrager, Frits W.
3
1992
Real time process algebra. Zbl 0719.68020
Baeten, J. C. M.; Bergstra, J. A.
50
1991
Recursive process definitions with the state operator. Zbl 0724.68035
Baeten, J. C. M.; Bergstra, J. A.
5
1991
Term rewriting analysis in process algebra. Zbl 0748.68034
Akkerman, G. J.; Baeten, J. C. M.
1
1991
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
176
1990
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
Baeten, J. C. M.; Klop, J. W.
3
1990
Applications of process algebra. Zbl 0716.68001
Baeten, J. C. M.
3
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
Abstraction and empty process in process algebra. Zbl 0682.68024
Baeten, J. C. M.; van Glabbeek, R. J.
3
1989
Global renaming operators in concrete process algebra. Zbl 0651.68031
Baeten, J. C. M.; Bergstra, J. A.
28
1988
Semantics for Prolog via term rewrite systems. Zbl 0667.68109
Baeten, J. C. M.; Wejland, W. P.
1
1988
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016
Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W.
17
1987
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
17
1987
Another look at abstraction in process algebra (extended abstract). Zbl 0623.68023
Baeten, J. C. M.; van Glabbeek, R. J.
13
1987
Merge and termination in process algebra. Zbl 0636.68024
Baeten, J. C. M.; van Glabbeek, R. J.
10
1987
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
50
1986
\(\Omega\) can be anything it should not be. Zbl 0417.03006
Baeten, J.; Boerboom, B.
21
1979
all top 5

Cited by 510 Authors

28 Bergstra, Jan A.
24 Aceto, Luca
24 Baeten, Jos C. M.
21 Fokkink, Willem Jan
19 Ingólfsdóttir, Anna
17 Reniers, Michel Adriaan
16 Middelburg, Cornelis A.
15 Luttik, Bas
14 Groote, Jan Friso
14 van Glabbeek, Robert Jan
11 Kucera, Antonin
11 Ponse, Alban
8 Bravetti, Mario
7 Bernardo, Marco
7 Gorrieri, Roberto
7 Klop, Jan Willem
7 Lüttgen, Gerald
7 Ulidowski, Irek
6 Andova, Suzana
6 Cleaveland, Rance
6 Corradini, Flavio
6 Hennessy, Matthew C. B.
6 Katoen, Joost-Pieter
6 Phillips, Iain W.
6 Smolka, Scott A.
5 Cuijpers, Pieter J. L.
5 D’Argenio, Pedro Rubén
5 de Vink, Erik P.
5 Gregorio-Rodríguez, Carlos
5 Hermanns, Holger
5 Moller, Faron
5 Sangiorgi, Davide
5 Vogler, Walter
4 Baier, Christel
4 Cimini, Matteo
4 de Frutos-Escrig, David
4 Georgievska, Sonja
4 Hirshfeld, Yoram
4 Höfner, Peter
4 Huynh, Dung T.
4 Mayr, Richard
4 Rensink, Arend
4 Rooda, Jacobus E.
4 Schnoebelen, Philippe
4 Tian, Lu
4 Tini, Simone
4 Vaandrager, Frits W.
4 Valero, Valentín
4 van de Pol, Jan Cornelis
3 Basten, Twan
3 Best, Eike
3 De Nicola, Rocco
3 Deng, Yuxin
3 Fu, Yuxi
3 Hoare, C. A. R. Tony
3 Koutny, Maciej
3 Lee, Insup
3 Lucanu, Dorel
3 McCaig, Chris
3 Mousavi, Mohammadreza
3 Norman, Rachel
3 Palamidessi, Catuscia
3 Schiffelers, R. R. H.
3 Shankland, Carron
3 Tofts, Chris
3 Trčka, Nikola
3 van Beek, D. A.
3 Viroli, Mirko
3 Ying, Mingsheng
2 Aldini, Alessandro
2 Attie, Paul C.
2 Barbosa, Luís Soares
2 Bezem, Marc
2 Bloom, Bard
2 Bonchi, Filippo
2 Bonsangue, Marcello Maria
2 Brázdil, Tomáš
2 Brémond-Grégoire, Patrice
2 Busi, Nadia
2 Cambronero, María Emilia
2 Castiglioni, Valentina
2 Caucal, Didier
2 Colvin, Robert J.
2 Costa, José Félix
2 Cuartero, Fernando
2 Dai, Guiping
2 Davies, Jim
2 de Vrijer, Roel
2 Desharnais, Josée
2 Durier, Adrien
2 Ésik, Zoltán
2 Garavel, Hubert
2 Gazda, Maciej W.
2 Goldin, Dina Q.
2 Goncharov, Sergeĭ Savost’yanovich
2 Goriac, Eugen-Ioan
2 Groenewegen, Luuk P. J.
2 Guerra, Hélia
2 Gupta, Vineet
2 Hayes, Ian J.
...and 410 more Authors
all top 5

Cited in 50 Serials

130 Theoretical Computer Science
56 Information and Computation
34 The Journal of Logic and Algebraic Programming
26 Formal Aspects of Computing
21 Information Processing Letters
11 MSCS. Mathematical Structures in Computer Science
11 Journal of Logical and Algebraic Methods in Programming
9 Acta Informatica
7 Science of Computer Programming
6 International Journal of Theoretical Physics
6 Logical Methods in Computer Science
5 Journal of Computer and System Sciences
5 Journal of Symbolic Computation
4 International Journal of Computer Mathematics
3 Information Sciences
3 Distributed Computing
2 Bulletin of Mathematical Biology
2 Notre Dame Journal of Formal Logic
2 Annals of Pure and Applied Logic
2 Journal of Automated Reasoning
2 Discrete Event Dynamic Systems
2 RAIRO. Informatique Théorique et Applications
2 Applicable Algebra in Engineering, Communication and Computing
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 RAIRO. Theoretical Informatics and Applications
2 Journal of Applied Logic
1 International Journal of Systems Science
1 Fuzzy Sets and Systems
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 Journal of Computer Science and Technology
1 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 The Bulletin of Symbolic Logic
1 ACM Transactions on Modeling and Computer Simulation
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Higher-Order and Symbolic Computation
1 Concurrency and Computation: Practice & Experience
1 Sādhanā
1 ACM Transactions on Computational Logic
1 New Mathematics and Natural Computation
1 Science China. Information Sciences
1 Journal of Theoretical Biology

Citations by Year