Semantics for Prolog via Term Rewrite Systems. - Jos C. M. Baeten; W. P. Weijland (CTRS, 1987)

Merge and Termination in Process Algebra. - Jos C. M. Baeten; Rob J. van Glabbeek (FSTTCS, 1987)

Another Look at Abstraction in Process Algebra (Extended Abstract). - Jos C. M. Baeten; Rob J. van Glabbeek (ICALP, 1987)

Conditional axioms and α/β-calculus in process algebra. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop (Formal Description of Programming Concepts, 1987)

Term Rewriting Systems with Priorities. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop (RTA, 1987)

Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop (Comput. J., 1987)

On the Consistency of Koomen's Fair Abstraction Rule. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop (Theor. Comput. Sci., 1987)

Global Renaming Operators in Concrete Process Algebra - Jos C. M. Baeten; Jan A. Bergstra (Inf. Comput., 1988)

A Process Specification Formalism Based on Static COLD. - Jos C. M. Baeten; Jan A. Bergstra; Sjouke Mauw; Gert J. Veltink (Algebraic Methods, 1989)

Design of a Specification Language by Abstract Syntax Engineering. - Jos C. M. Baeten; Jan A. Bergstra (Algebraic Methods, 1989)

Term-Rewriting Systems with Rule Priorities. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop; W. P. Weijland (Theor. Comput. Sci., 1989)

Process algebra. - Jos C. M. Baeten; W. P. Weijland (Cambridge University Press, 1990)

Process Algebra with a Zero Object. - Jos C. M. Baeten; Jan A. Bergstra (CONCUR, 1990)

The State Operator in Real Time Process Algebra. - Jos C. M. Baeten; Jan A. Bergstra (REX Workshop, 1991)

Real Time Process Algebra. - Jos C. M. Baeten; Jan A. Bergstra (Formal Aspects Comput., 1991)

Recursive Process Definitions with the State Operator. - Jos C. M. Baeten; Jan A. Bergstra (Theor. Comput. Sci., 1991)

Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). - Jos C. M. Baeten; Jan A. Bergstra; Scott A. Smolka (CONCUR, 1992)

Asynchronous Communication in Real Space Process Algebra. - Jos C. M. Baeten; Jan A. Bergstra (FTRTFT, 1992)

The Total Order Assumption. - Jos C. M. Baeten (NAPAW, 1992)

An Algebra for Process Creation. - Jos C. M. Baeten; Frits W. Vaandrager (Acta Informatica, 1992)

Non Interleaving Process Algebra. - Jos C. M. Baeten; Jan A. Bergstra (CONCUR, 1993)

A Congruence Theorem for Structured Operational Semantics with Predicates. - Jos C. M. Baeten; Chris Verhoef (CONCUR, 1993)

Real space process algebra. - Jos C. M. Baeten; Jan A. Bergstra (Formal Aspects Comput., 1993)

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. - Jos C. M. Baeten; Jan A. Bergstra; Jan Willem Klop (J. ACM, 1993)

Process Algebra with Partial Choice. - Jos C. M. Baeten; Jan A. Bergstra (CONCUR, 1994)

Delayed choice: an operator for joining Message Sequence Charts. - Jos C. M. Baeten; Sjouke Mauw (FORTE, 1994)

A Real Time Process Logic. - Jos C. M. Baeten; Jan A. Bergstra; Roland N. Bol (ICTL, 1994)

On Sequential Compoisiton, Action Prefixes and Process Prefixes. - Jos C. M. Baeten; Jan A. Bergstra (Formal Aspects Comput., 1994)

Discrete Time Process Algebra with Abstraction. - Jos C. M. Baeten; Jan A. Bergstra (FCT, 1995)

Axiomatizing Probabilistic Processes: ACP with Generative Probabilities - Jos C. M. Baeten; Jan A. Bergstra; Scott A. Smolka (Inf. Comput., 1995)

Six Issues Concerning Future Directions in Concurrency Research. - Jos C. M. Baeten; Jan A. Bergstra (ACM Comput. Surv., 1996)

Discrete Time Process Algebra. - Jos C. M. Baeten; Jan A. Bergstra (Formal Aspects Comput., 1996)

Bounded Stacks, Bags and Queues. - Jos C. M. Baeten; Jan A. Bergstra (CONCUR, 1997)

Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time. - Jos C. M. Baeten; Jan A. Bergstra (Fundam. Informaticae, 1997)

Process Algebra with Propositional Signals. - Jos C. M. Baeten; Jan A. Bergstra (Theor. Comput. Sci., 1997)

Deadlock Behaviour in Split and ST Bisimulation Semantics. - Jos C. M. Baeten; Jan A. Bergstra (EXPRESS, 1998)

Discrete time process algebra with silent step. - Jos C. M. Baeten; Jan A. Bergstra; Michel A. Reniers (Proof, Language, and Interaction, 2000)

Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination. - Jos C. M. Baeten (EXPRESS, 2000)

Partial-Order Process Algebra (and its Relation to Petri Nets). - Jos C. M. Baeten; Twan Basten (Handbook of Process Algebra, 2001)

Process Algebra with Timing: Real Time and Discrete Time. - Jos C. M. Baeten; Cornelis A. Middelburg (Handbook of Process Algebra, 2001)

Specifying internet applications with DiCons. - Jos C. M. Baeten; Harm M. A. van Beek; Sjouke Mauw (SAC, 2001)

An MSC Based Representation of DiCons. - Jos C. M. Baeten; Harm M. A. van Beek; Sjouke Mauw (SDL Forum, 2001)

Abstraction in Probabilistic Process Algebra. - Suzana Andova; Jos C. M. Baeten (TACAS, 2001)

Timed Process Algebras. - Jos C. M. Baeten (MTCS, 2001)

Real time process algebra with time-dependent conditions. - Jos C. M. Baeten; Cornelis A. Middelburg (J. Log. Algebraic Methods Program., 2001)

Alternative composition does not imply non-determinism. - Suzana Andova; Jos C. M. Baeten (Bull. EATCS, 2002)

Process Algebra with Timing - Jos C. M. Baeten; Cornelis A. Middelburg (Springer, 2002)

Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. - Pedro R. D'Argenio; Jos C. M. Baeten (J. Log. Algebraic Methods Program., 2003)

Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). - Jos C. M. Baeten; Michel A. Reniers (SFM, 2004)

Axiomatizing GSOS with termination. - Jos C. M. Baeten; Erik P. de Vink (J. Log. Algebraic Methods Program., 2004)

Timing the Untimed: Terminating Successfully While Being Conservative. - Jos C. M. Baeten; Mohammad Reza Mousavi 001; Michel A. Reniers (Processes, Terms and Cycles, 2005)

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. - Jos C. M. Baeten; Mario Bravetti (CONCUR, 2005)

Regular Expressions in Process Algebra. - Jos C. M. Baeten; Flavio Corradini (LICS, 2005)

Six Themes for Future Concurrency Research. - Jos C. M. Baeten; Jan A. Bergstra (APC 25, 2005)

A Generic Process Algebra. - Jos C. M. Baeten; Mario Bravetti (APC 25, 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - 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 (J. Log. Algebraic Methods Program., 2005)

A brief history of process algebra. - Jos C. M. Baeten (Theor. Comput. Sci., 2005)

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. - Suzana Andova; Jos C. M. Baeten; Tim A. C. Willemse (CONCUR, 2006)

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. - 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 (LIX, 2006)

Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. - Jos C. M. Baeten; S. P. Luttik (J. Log. Algebraic Methods Program., 2006)

Preface. - Jos C. M. Baeten; Flavio Corradini (Theor. Comput. Sci., 2006)

A characterization of regular expressions under bisimulation. - Jos C. M. Baeten; Flavio Corradini; Clemens Grabmayer (J. ACM, 2007)

Duplication of constants in process algebra. - Jos C. M. Baeten; Michel A. Reniers (J. Log. Algebraic Methods Program., 2007)

Preface. - Jos C. M. Baeten; Jan Karel Lenstra; Gerhard J. Woeginger (Theor. Comput. Sci., 2007)

Preface. - Jos C. M. Baeten; Iain C. C. Phillips (Theor. Comput. Sci., 2007)

Process Algebra. - Jacobus E. Rooda; D. A. van Beek; Jos C. M. Baeten (Handbook of Dynamic System Modeling, 2007)

Calculating with Automata. - Jos C. M. Baeten (Concurrency, Graphs and Models, 2008)

A Context-Free Process as a Pushdown Automaton. - Jos C. M. Baeten; Pieter J. L. Cuijpers; P. J. A. van Tilburg (CONCUR, 2008)

Applying Concurrency Research in Industry Report on a Strategic Workshop. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (Bull. EATCS, 2008)

A Basic Parallel Process as a Parallel Pushdown Automaton. - Jos C. M. Baeten; Pieter J. L. Cuijpers; P. J. A. van Tilburg (EXPRESS, 2008)

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. - Jos C. M. Baeten; Ana Sokolova (J. Log. Algebraic Methods Program., 2008)

A ground-complete axiomatisation of finite-state processes in a generic process algebra. - Jos C. M. Baeten; Mario Bravetti (Math. Struct. Comput. Sci., 2008)

A Process-Theoretic Look at Automata. - Jos C. M. Baeten; Pieter J. L. Cuijpers; Bas Luttik; P. J. A. van Tilburg (FSEN, 2009)

Design of asynchronous supervisors - Harsh Beohar; Pieter J. L. Cuijpers; Jos C. M. Baeten (CoRR, 2009)

Preface. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (J. Log. Algebraic Methods Program., 2009)

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) - Jos C. M. Baeten; Bas Luttik; Tim Muller; Paul van Tilburg (EXPRESS, 2010)

A process-theoretic approach to supervisory control theory. - Jos C. M. Baeten; D. A. van Beek; Bas Luttik; Jasen Markovski; Jacobus E. Rooda (ACC, 2011)

Computations and Interaction. - Jos C. M. Baeten; Bas Luttik; Paul van Tilburg (ICDCIT, 2011)

A Process Algebra for Supervisory Coordination - Jos C. M. Baeten; Bert van Beek; Allan van Hulst; Jasen Markovski (PACO, 2011)

Unguardedness mostly means many solutions. - Jos C. M. Baeten; Bas Luttik (Theor. Comput. Sci., 2011)

Turing Meets Milner. - Jos C. M. Baeten; Bas Luttik; Paul van Tilburg (CONCUR, 2012)

Partially-Supervised Plants: Embedding Control Requirements in Plant Components. - Jasen Markovski; Dirk A. van Beek; Jos C. M. Baeten (IFM, 2012)

When Turing Meets Milner. - Jos C. M. Baeten; Bas Luttik; Paul van Tilburg (ERCIM News, 2012)

Reconciling real and stochastic time: the need for probabilistic refinement. - Jasen Markovski; Pedro R. D'Argenio; Jos C. M. Baeten; Erik P. de Vink (Formal Aspects Comput., 2012)

Reactive Turing machines. - Jos C. M. Baeten; Bas Luttik; Paul van Tilburg (Inf. Comput., 2013)

Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. - Jos C. M. Baeten; Davide Sangiorgi (Computational Logic, 2014)

The role of supervisory controller synthesis in automatic control software development. - Jos C. M. Baeten; Jasen Markovski (Sci. Comput. Program., 2015)

Expressiveness modulo bisimilarity of regular expressions with parallel composition. - Jos C. M. Baeten; Bas Luttik; Tim Muller; Paul van Tilburg (Math. Struct. Comput. Sci., 2016)

ERCIM Goes to Open Access. - Jos C. M. Baeten; Claude Kirchner (ERCIM News, 2016)

Sequential Composition in the Presence of Intermediate Termination. - Jos C. M. Baeten; Bas Luttik; Fei Yang (CoRR, 2017)

Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). - Jos C. M. Baeten; Bas Luttik; Fei Yang (EXPRESS/SOS, 2017)

Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. - Astrid Belder; Bas Luttik; Jos C. M. Baeten (CALCO, 2019)

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). - Luca Aceto; Jos C. M. Baeten; Patricia Bouyer-Decitre; Holger Hermanns; Alexandra Silva 001 (CONCUR, 2020)

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). - Jos C. M. Baeten; Bas Luttik (EXPRESS/SOS, 2023)

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. - Jos C. M. Baeten; Cesare Carissimo; Bas Luttik (Log. Methods Comput. Sci., 2023)

Sequential Value Passing Yields a Kleene Theorem for Processes. - Jos C. M. Baeten; Bas Luttik (Logics and Type Systems in Theory and Practice, 2024)

The Queue Automaton Revisited. - Jos C. M. Baeten; Bas Luttik (CoRR, 2025)