Publication | Date of Publication | Type |
---|
Symmetric transrationals: the data type and the algorithmic degree of its equational theory | 2023-07-26 | Paper |
Eager Equality for Rational Number Arithmetic | 2023-07-18 | Paper |
Bounded stacks, bags and queues | 2023-05-17 | Paper |
Discrete time process algebra with abstraction | 2022-12-09 | Paper |
Processes with multiple entries and exits | 2022-12-09 | Paper |
Partial arithmetical data types of rational numbers and their equational specification | 2022-08-26 | Paper |
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference | 2022-07-19 | Paper |
Program Algebra for Turing-Machine Programs | 2022-07-19 | Paper |
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers | 2022-07-19 | Paper |
Instruction Sequence Faults with Formal Change Justification | 2022-07-19 | Paper |
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation | 2022-07-19 | Paper |
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent | 2022-07-19 | Paper |
Non-commutative propositional logic with short-circuit evaluation | 2022-03-03 | Paper |
Using Hoare Logic in a Process Algebra Setting | 2021-11-15 | Paper |
The wheel of rational numbers as an abstract data type | 2021-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5856421 | 2021-03-26 | Paper |
A short introduction to program algebra with instructions for Boolean registers | 2020-11-02 | Paper |
Quantitative expressiveness of instruction sequence classes for computation on single bit registers | 2020-11-02 | Paper |
Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation | 2020-09-18 | Paper |
Arithmetical datatypes with true fractions | 2020-05-26 | Paper |
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) | 2020-01-16 | Paper |
On the complexity of the correctness problem for non-zeroness test instruction sequences | 2019-11-22 | Paper |
A negative result on algebraic specifications of the meadow of rational numbers | 2019-07-24 | Paper |
Process algebra with strategic interleaving | 2019-06-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4621131 | 2019-02-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4621136 | 2019-02-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4621154 | 2019-02-08 | Paper |
Indirect Jumps Improve Instruction Sequence Performance | 2019-02-08 | Paper |
Timed Tuplix Calculus and the Wesseling and van den Bergh Equation | 2019-02-08 | Paper |
Instruction Sequence Based Non-uniform Complexity Classes | 2019-02-08 | Paper |
Probabilistic Thread Algebra | 2019-02-08 | Paper |
On Instruction Sets for Boolean Registers in Program Algebra | 2019-02-08 | Paper |
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences | 2019-02-08 | Paper |
Subvarieties of the Variety of Meadows | 2019-02-08 | Paper |
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences | 2019-02-08 | Paper |
Instruction Sequences Expressing Multiplication Algorithms | 2019-02-08 | Paper |
Note on paraconsistency and reasoning about fractions | 2018-09-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4584897 | 2018-09-04 | Paper |
Contradiction-Tolerant Process Algebra with Propositional Signals | 2018-01-05 | Paper |
Instruction Sequence Size Complexity of Parity | 2017-11-09 | Paper |
Universality of Univariate Mixed Fractions in Divisive Meadows | 2017-07-03 | Paper |
Equational Axioms for Expected Value Operators | 2016-09-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3185842 | 2016-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3185843 | 2016-08-05 | Paper |
Transformation of fractions into simple fractions in divisive meadows | 2016-06-30 | Paper |
Fracpairs and fractions over a reduced commutative ring | 2016-06-20 | Paper |
Kleene's three-valued logic and process algebra | 2016-06-09 | Paper |
On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions | 2016-04-28 | Paper |
Evaluation Trees for Proposition Algebra | 2015-11-04 | Paper |
Register-machine based processes | 2015-10-30 | Paper |
Proposition algebra | 2015-09-17 | Paper |
Division by Zero in Common Meadows | 2015-06-22 | Paper |
Equations for formally real meadows | 2015-05-15 | Paper |
Division by zero in non-involutive meadows | 2015-03-24 | Paper |
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting | 2014-04-25 | Paper |
Parallel Processes with Implicit Computational Capital | 2014-01-17 | Paper |
A process calculus with finitary comprehended terms | 2013-12-02 | Paper |
On the Behaviours Produced by Instruction Sequences under Execution | 2013-01-14 | Paper |
On the contribution of backward jumps to instruction sequence expressiveness | 2012-12-06 | Paper |
On the expressiveness of single-pass instruction sequences | 2012-12-06 | Paper |
Instruction sequence processing operators | 2012-10-15 | Paper |
Instruction sequences for computer science. | 2012-08-20 | Paper |
Proposition Algebra and Short-Circuit Logic | 2012-06-29 | Paper |
Inversive meadows and divisive meadows | 2012-05-23 | Paper |
Thread algebra for poly-threading | 2011-10-18 | Paper |
A calculus for four-valued sequential logic | 2011-07-07 | Paper |
Straight-line instruction sequence completeness for total calculation on cancellation meadows | 2011-05-25 | Paper |
Data Linkage Dynamics with Shedding | 2011-05-18 | Paper |
On Hoare-McCarthy algebras | 2010-12-22 | Paper |
Short-circuit logic | 2010-10-18 | Paper |
An Interface Group for Process Components | 2010-10-01 | Paper |
A thread calculus with molecular dynamics | 2010-08-18 | Paper |
On the operating unit size of load/store architectures | 2010-06-02 | Paper |
Instruction Sequences with Dynamically Instantiated Instructions | 2010-02-05 | Paper |
An upper bound for the equational specification of finite state services | 2009-12-04 | Paper |
Machine structure oriented control code logic | 2009-10-02 | Paper |
Partial Komori fields and imperative Komori fields | 2009-09-29 | Paper |
Transmission Protocols for Instruction Streams | 2009-08-20 | Paper |
Division safe calculation in totalised fields | 2009-05-08 | Paper |
Meadows and the equational specification of division | 2009-03-25 | Paper |
Skew Meadows | 2009-01-07 | Paper |
The rational numbers as an abstract data type | 2008-12-21 | Paper |
Program algebra with a jump-shift instruction | 2008-12-11 | Paper |
Differential Meadows | 2008-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5457378 | 2008-04-14 | Paper |
Maurer computers for pipelined instruction processing | 2008-04-10 | Paper |
Simulating Turing machines on Maurer machines | 2008-04-07 | Paper |
Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
Fields, Meadows and Abstract Data Types | 2008-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5431926 | 2008-01-02 | Paper |
Synchronous cooperation for explicit multi-threading | 2007-12-10 | Paper |
Thread algebra for strategic interleaving | 2007-11-28 | Paper |
Elementary Algebraic Specifications of the Rational Complex Numbers | 2007-09-07 | Paper |
A thread algebra with multi-level strategic interleaving | 2007-09-06 | Paper |
Decision problems for pushdown threads | 2007-06-07 | Paper |
Execution architectures for program algebra | 2007-05-18 | Paper |
Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
Preferential choice and coordination conditions | 2007-02-09 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
Splitting bisimulations and retrospective conditions | 2006-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5480652 | 2006-08-03 | Paper |
Continuity controlled hybrid automata | 2006-04-28 | Paper |
New Computational Paradigms | 2006-01-11 | Paper |
Polarized process algebra with reactive composition | 2005-11-01 | Paper |
Formal Methods for Components and Objects | 2005-08-22 | Paper |
Process algebra for hybrid systems | 2005-06-10 | Paper |
Network algebra in Java | 2005-02-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4825707 | 2004-11-05 | Paper |
Branching time and orthogonal bisimulation equivalence | 2004-10-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449159 | 2004-02-08 | Paper |
Process algebra with four-valued logic | 2004-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q2760255 | 2003-09-30 | Paper |
Program algebra for sequential code | 2003-02-13 | Paper |
Combining programs and state machines | 2003-02-13 | Paper |
Molecular dynamics | 2003-02-13 | Paper |
Algebra of timed frames | 2002-12-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4550552 | 2002-08-25 | Paper |
Process algebra and conditional composition | 2002-07-25 | Paper |
Linear time and branching time semantics for recursion with merge | 2002-05-13 | Paper |
Non-regular iterators in process algebra | 2002-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q2760242 | 2001-12-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q2752047 | 2001-10-21 | Paper |
Bochvar-McCarthy logic and process algebra | 2001-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4525274 | 2001-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4518413 | 2000-11-28 | Paper |
Program algebra for component code | 2000-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503951 | 2000-09-14 | Paper |
On sequential composition, action prefixes and process prefix | 2000-08-14 | Paper |
Real space process algebra | 2000-08-02 | Paper |
The discrete time TOOLBUS. -- A software coordination architecture | 2000-01-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4223007 | 1999-01-07 | Paper |
Process algebra with propositional signals | 1998-07-23 | Paper |
Network algebra for asynchronous dataflow∗ | 1998-03-04 | Paper |
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras | 1998-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4890705 | 1996-08-25 | Paper |
A propositional logic with 4 values: true, false, divergent and meaningless | 1996-08-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4865611 | 1996-07-17 | Paper |
Discrete time process algebra | 1996-06-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4865612 | 1996-04-22 | Paper |
Axiomatizing probabilistic processes: ACP with generative probabilities | 1996-01-22 | Paper |
Logic of transition systems | 1995-09-26 | Paper |
Homomorphism preserving algebraic specifications require hidden sorts | 1995-08-01 | Paper |
The data type variety of stack algebras | 1995-05-30 | Paper |
Bisimulation is two-way simulation | 1995-02-09 | Paper |
Which data types have \(\omega\)-complete initial algebra specifications? | 1994-04-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4284236 | 1994-03-24 | Paper |
Decidability of bisimulation equivalence for process generating context-free languages | 1993-12-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4029584 | 1993-03-28 | Paper |
UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY | 1992-06-28 | Paper |
Recursive process definitions with the state operator | 1991-01-01 | Paper |
Real time process algebra | 1991-01-01 | Paper |
Module algebra | 1990-01-01 | Paper |
Term-rewriting systems with rule priorities | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3490964 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4733426 | 1989-01-01 | Paper |
Global renaming operators in concrete process algebra | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3792231 | 1988-01-01 | Paper |
Readies and Failures in the Algebra of Communicating Processes | 1988-01-01 | Paper |
On the consistency of Koomen's fair abstraction rule | 1987-01-01 | Paper |
Algebraic specifications of computable and semicomputable data types | 1987-01-01 | Paper |
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3774929 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3776607 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3805891 | 1987-01-01 | Paper |
Conditional rewrite rules: Confluence and termination | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3028334 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3727367 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3742698 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4727412 | 1986-01-01 | Paper |
Algebra of communicating processes with abstraction | 1985-01-01 | Paper |
Top-down design and the algebra of communicating processes | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3702500 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5186720 | 1984-01-01 | Paper |
Proving program inclusion using Hoare's logic | 1984-01-01 | Paper |
The axiomatic semantics of programs based on Hoare's logic | 1984-01-01 | Paper |
Hoare's logic for programming languages with two data types | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3217583 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3330491 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3678664 | 1984-01-01 | Paper |
Process algebra for synchronous communication | 1984-01-01 | Paper |
Hoare's logic and Peano's arithmetic | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3042376 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3657410 | 1983-01-01 | Paper |
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3664413 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666247 | 1983-01-01 | Paper |
A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
Two theorems about the completeness of Hoare's logic | 1982-01-01 | Paper |
Expressiveness and the completeness of Hoare's logic | 1982-01-01 | Paper |
Floyd's principle, correctness theories and program equivalence | 1982-01-01 | Paper |
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs | 1982-01-01 | Paper |
On the elimination of iteration quantifiers in a fragment of algorithmic logic | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3327706 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3340122 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3341873 | 1982-01-01 | Paper |
The completeness of the algebraic specification methods for computable data types | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674616 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3935453 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3939218 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3951525 | 1982-01-01 | Paper |
Another incompleteness result for Hoare's logic | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4741695 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5186716 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3904041 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3904042 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3912001 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3917477 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3919061 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3919062 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3919067 | 1981-01-01 | Paper |
Small specifications for large finite data structures | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3929011 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3948575 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3948578 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3951524 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3960142 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4739904 | 1981-01-01 | Paper |
Invertible terms in the lambda calculus | 1980-01-01 | Paper |
Discourse between processes | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3854600 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3854601 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3860822 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3868737 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3878740 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3878741 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3881903 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3883473 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3893286 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3893287 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3896478 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3938490 | 1980-01-01 | Paper |
Recursive assertions are not enough - or are they? | 1979-01-01 | Paper |
Church-Rosser strategies in the lambda calculus | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3208066 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3851588 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3851592 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3853107 | 1979-01-01 | Paper |
Effective Transformations on Probabilistic Data | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3906395 | 1979-01-01 | Paper |
Recursion theory on processes | 1979-01-01 | Paper |
Degrees of partial functions | 1978-01-01 | Paper |
What is an abstract datatype? | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4164793 | 1978-01-01 | Paper |
Degrees of sensible lambda theories | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4138116 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4182476 | 1976-01-01 | Paper |