Jos C. M. Baeten

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 10

Top Venues

CoRR

CALCO

EXPRESS/SOS

Math. Struct. Comput. Sci.

Publications

Jos C. M. Baeten, Bas Luttik
Sequential Value Passing Yields a Kleene Theorem for Processes. Logics and Type Systems in Theory and Practice (2024)
Jos C. M. Baeten, Bas Luttik
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). EXPRESS/SOS (2023)
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. Log. Methods Comput. Sci. 19 (1) (2023)
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. CoRR (2022)
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. CALCO (2021)
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR (2020)
Astrid Belder, Bas Luttik, Jos C. M. Baeten
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. CALCO (2019)
Jos C. M. Baeten, Bas Luttik, Fei Yang
Sequential Composition in the Presence of Intermediate Termination. CoRR (2017)
Jos C. M. Baeten, Bas Luttik, Fei Yang
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). EXPRESS/SOS (2017)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
Expressiveness modulo bisimilarity of regular expressions with parallel composition. Math. Struct. Comput. Sci. 26 (6) (2016)
Jos C. M. Baeten, Jasen Markovski
The role of supervisory controller synthesis in automatic control software development. Sci. Comput. Program. 97 (2015)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing machines. Inf. Comput. 231 (2013)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Turing Meets Milner. CONCUR (2012)
Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects Comput. 24 (4-6) (2012)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
When Turing Meets Milner. ERCIM News 2012 (91) (2012)
Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM (2012)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Computations and Interaction. ICDCIT (2011)
Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
A Process Algebra for Supervisory Coordination PACO (2011)
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
A process-theoretic approach to supervisory control theory. ACC (2011)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing Machines CoRR (2011)
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
Reactive Turing Machines. FCT (2011)
Jos C. M. Baeten, Bas Luttik
Unguardedness mostly means many solutions. Theor. Comput. Sci. 412 (28) (2011)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) EXPRESS (2010)
Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten
Design of asynchronous supervisors CoRR (2009)
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
Preface. J. Log. Algebraic Methods Program. 78 (4) (2009)
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg
A Process-Theoretic Look at Automata. FSEN (2009)
Jos C. M. Baeten, Mario Bravetti
A ground-complete axiomatisation of finite-state processes in a generic process algebra. Math. Struct. Comput. Sci. 18 (6) (2008)
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg
A Context-Free Process as a Pushdown Automaton. CONCUR (2008)
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electron. Notes Theor. Comput. Sci. 209 (2008)
Jos C. M. Baeten
Calculating with Automata. Concurrency, Graphs and Models (2008)
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg
A Basic Parallel Process as a Parallel Pushdown Automaton. EXPRESS (2008)
Jos C. M. Baeten, Ana Sokolova
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. J. Log. Algebraic Methods Program. 78 (1) (2008)
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94 (2008)
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer
A characterization of regular expressions under bisimulation. J. ACM 54 (2) (2007)
Jos C. M. Baeten, Jan Karel Lenstra, Gerhard J. Woeginger
Preface. Theor. Comput. Sci. 379 (3) (2007)
Jos C. M. Baeten, Michel A. Reniers
Duplication of constants in process algebra. J. Log. Algebraic Methods Program. 70 (2) (2007)
Jos C. M. Baeten, Iain C. C. Phillips
Preface. Theor. Comput. Sci. 386 (3) (2007)
Jos C. M. Baeten, Mario Bravetti
A Generic Process Algebra. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jos C. M. Baeten, Flavio Corradini
Preface. Theor. Comput. Sci. 356 (3) (2006)
Jos C. M. Baeten, S. P. Luttik
Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. J. Log. Algebraic Methods Program. 68 (1-2) (2006)
Jos C. M. Baeten, Jan A. Bergstra
Six Themes for Future Concurrency Research. Electron. Notes Theor. Comput. Sci. 162 (2006)
Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. CONCUR (2006)
Jos C. M. Baeten
A brief history of process algebra. Theor. Comput. Sci. 335 (2-3) (2005)
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
Timing the Untimed: Terminating Successfully While Being Conservative. Processes, Terms and Cycles (2005)
Jos C. M. Baeten, Iain C. C. Phillips
Preface. EXPRESS (2005)
Jos C. M. Baeten, Flavio Corradini
Regular Expressions in Process Algebra. LICS (2005)
Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda
model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65 (2) (2005)
Jos C. M. Baeten, Mario Bravetti
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR (2005)
Jos C. M. Baeten, Erik P. de Vink
Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. (2004)
Jos C. M. Baeten, Flavio Corradini
Preface. EXPRESS (2004)
Jos C. M. Baeten, Michel A. Reniers
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). SFM (2004)
Jos C. M. Baeten
Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. Math. Struct. Comput. Sci. 13 (4) (2003)
Pedro R. D'Argenio, Jos C. M. Baeten
Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Jos C. M. Baeten, Erik P. de Vink
Axiomatizing GSOS with Termination. STACS (2002)
Suzana Andova, Jos C. M. Baeten
Alternative composition does not imply non-determinism. Bull. EATCS 76 (2002)
Jos C. M. Baeten, Cornelis A. Middelburg
Real time process algebra with time-dependent conditions. J. Log. Algebraic Methods Program. 48 (1-2) (2001)
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
An MSC Based Representation of DiCons. SDL Forum (2001)
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
Specifying internet applications with DiCons. SAC (2001)
Suzana Andova, Jos C. M. Baeten
Abstraction in Probabilistic Process Algebra. TACAS (2001)
Jos C. M. Baeten
Timed Process Algebras. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers
Discrete time process algebra with silent step. Proof, Language, and Interaction (2000)
Jos C. M. Baeten
Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination. EXPRESS (2000)
Jos C. M. Baeten, Jan A. Bergstra
Deadlock Behaviour in Split and ST Bisimulation Semantics. EXPRESS (1998)
Jos C. M. Baeten, Jan A. Bergstra
Process Algebra with Propositional Signals. Theor. Comput. Sci. 177 (2) (1997)
Jos C. M. Baeten, Jan A. Bergstra
Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time. Fundam. Informaticae 29 (1-2) (1997)
Jos C. M. Baeten, Jan A. Bergstra
Bounded Stacks, Bags and Queues. CONCUR (1997)
Jos C. M. Baeten, Jan A. Bergstra
Six Issues Concerning Future Directions in Concurrency Research. ACM Comput. Surv. 28 (4es) (1996)
Jos C. M. Baeten, Jan A. Bergstra
Discrete Time Process Algebra. Formal Aspects Comput. 8 (2) (1996)
Jos C. M. Baeten, Jan A. Bergstra
Discrete Time Process Algebra with Abstraction. FCT (1995)
Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities Inf. Comput. 121 (2) (1995)
Jos C. M. Baeten, Jan A. Bergstra
Process Algebra with Partial Choice. CONCUR (1994)
Jos C. M. Baeten, Jan A. Bergstra
On Sequential Compoisiton, Action Prefixes and Process Prefixes. Formal Aspects Comput. 6 (3) (1994)
Jos C. M. Baeten, Sjouke Mauw
Delayed choice: an operator for joining Message Sequence Charts. FORTE (1994)
Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol
A Real Time Process Logic. ICTL (1994)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. J. ACM 40 (3) (1993)
Jos C. M. Baeten, Jan A. Bergstra
Real space process algebra. Formal Aspects Comput. 5 (6) (1993)
Jos C. M. Baeten, Jan A. Bergstra
Non Interleaving Process Algebra. CONCUR (1993)
Jos C. M. Baeten, Chris Verhoef
A Congruence Theorem for Structured Operational Semantics with Predicates. CONCUR (1993)
Jos C. M. Baeten
The Total Order Assumption. NAPAW (1992)
Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). CONCUR (1992)
Jos C. M. Baeten, Frits W. Vaandrager
An Algebra for Process Creation. Acta Informatica 29 (4) (1992)
Jos C. M. Baeten, Jan A. Bergstra
Discrete Time Process Algebra. CONCUR (1992)
Jos C. M. Baeten, Jan A. Bergstra
Asynchronous Communication in Real Space Process Algebra. FTRTFT (1992)
Jos C. M. Baeten, Jan A. Bergstra
The State Operator in Real Time Process Algebra. REX Workshop (1991)
Jos C. M. Baeten, Jan A. Bergstra
Recursive Process Definitions with the State Operator. Theor. Comput. Sci. 82 (2) (1991)
Jos C. M. Baeten, Jan A. Bergstra
Real Space Process Algebra. CONCUR (1991)
Jos C. M. Baeten, Jan A. Bergstra
Real Time Process Algebra. Formal Aspects Comput. 3 (2) (1991)
Jos C. M. Baeten, Jan A. Bergstra
Process Algebra with a Zero Object. CONCUR (1990)
Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink
A Process Specification Formalism Based on Static COLD. Algebraic Methods (1989)
Jos C. M. Baeten, Jan A. Bergstra
Design of a Specification Language by Abstract Syntax Engineering. Algebraic Methods (1989)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop, W. P. Weijland
Term-Rewriting Systems with Rule Priorities. Theor. Comput. Sci. 67 (2&3) (1989)
Jos C. M. Baeten, Jan A. Bergstra
Global Renaming Operators in Concrete Process Algebra Inf. Comput. 78 (3) (1988)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
On the Consistency of Koomen's Fair Abstraction Rule. Theor. Comput. Sci. 51 (1987)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator. Comput. J. 30 (6) (1987)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. PARLE (2) (1987)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
Conditional axioms and α/β-calculus in process algebra. Formal Description of Programming Concepts (1987)
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
Term Rewriting Systems with Priorities. RTA (1987)
Jos C. M. Baeten, Rob J. van Glabbeek
Another Look at Abstraction in Process Algebra (Extended Abstract). ICALP (1987)
Jos C. M. Baeten, Rob J. van Glabbeek
Merge and Termination in Process Algebra. FSTTCS (1987)
Jos C. M. Baeten, W. P. Weijland
Semantics for Prolog via Term Rewrite Systems. CTRS (1987)

Jos C. M. Baeten.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jos C. M. Baeten