| Publication | Date of Publication | Type |
|---|
Fully evaluated left-sequential logics
Journal of Applied Non-Classical Logics | 2026-03-02 | Paper |
Conditional logic as a short-circuit logic
Scientific Annals of Computer Science | 2026-01-21 | Paper |
Non-commutative propositional logic with short-circuit evaluation
Journal of Applied Non-Classical Logics | 2022-03-03 | Paper |
Datatype defining rewrite systems for naturals and integers
(available as arXiv preprint) | 2021-03-26 | Paper |
| Datatype defining rewrite systems for naturals and integers | 2021-03-26 | Paper |
Arithmetical datatypes with true fractions
Acta Informatica | 2020-05-26 | Paper |
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
| scientific article; zbMATH DE number 7020130 (Why is no real title available?) | 2019-02-08 | Paper |
| An instruction sequence semigroup with involutive anti-automorphisms | 2019-02-08 | Paper |
An independent axiomatisation for free short-circuit logic
Journal of Applied Non-Classical Logics | 2018-09-17 | Paper |
Fracpairs and fractions over a reduced commutative ring
Indagationes Mathematicae. New Series | 2016-06-20 | Paper |
Kleene's three-valued logic and process algebra
Information Processing Letters | 2016-06-09 | Paper |
Evaluation trees for proposition algebra
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Register-machine based processes
Journal of the ACM | 2015-10-30 | Paper |
Proposition algebra
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A generalization of ACP using Belnap's logic
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Division by zero in common meadows
Software, Services, and Systems | 2015-06-22 | Paper |
Division by zero in common meadows
Software, Services, and Systems | 2015-06-22 | Paper |
Equations for formally real meadows
Journal of Applied Logic | 2015-05-15 | Paper |
Proposition algebra and short-circuit logic
Fundamentals of Software Engineering | 2012-06-29 | Paper |
| On Hoare-McCarthy algebras | 2010-12-22 | Paper |
| Short-circuit logic | 2010-10-18 | Paper |
Risk assessment for one-counter threads
Theory of Computing Systems | 2009-05-08 | Paper |
| Differential Meadows | 2008-04-21 | Paper |
| scientific article; zbMATH DE number 5263139 (Why is no real title available?) | 2008-04-14 | Paper |
| Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
Belnap's logic and conditional composition
Theoretical Computer Science | 2007-12-18 | Paper |
Decision problems for pushdown threads
Acta Informatica | 2007-06-07 | Paper |
Execution architectures for program algebra
Journal of Applied Logic | 2007-05-18 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
A generalization of ACP using Belnap's logic
The Journal of Logic and Algebraic Programming | 2007-02-09 | Paper |
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science | 2004-10-27 | Paper |
Process algebra with four-valued logic
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Program algebra with unit instruction operators
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Combining programs and state machines
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Process algebra and conditional composition
Information Processing Letters | 2002-07-25 | Paper |
Equivalence of recursive specifications in process algebra
Information Processing Letters | 2002-07-25 | Paper |
Linearization in parallel pCRL
The Journal of Logic and Algebraic Programming | 2002-07-22 | Paper |
Non-regular iterators in process algebra
Theoretical Computer Science | 2002-03-03 | Paper |
| Process algebra with recursive operations | 2001-12-18 | Paper |
Bochvar-McCarthy logic and process algebra
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1555176 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1507231 (Why is no real title available?) | 2000-09-14 | Paper |
Two finite specifications of a queue
Theoretical Computer Science | 1998-07-23 | Paper |
Computable processes and bisimulation equivalence
Formal Aspects of Computing | 1996-01-01 | Paper |
| scientific article; zbMATH DE number 683363 (Why is no real title available?) | 1994-11-29 | Paper |
Process algebra with guards: Combining hoare logic with process algebra
Formal Aspects of Computing | 1994-06-29 | Paper |
Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
Information and Computation | 1992-06-28 | Paper |
