research
∙
03/09/2023
Belnap-Dunn logic and query answering in inconsistent databases with null values
This paper concerns an expansion of first-order Belnap-Dunn logic, named...
share
research
∙
01/25/2023
A conventional expansion of first-order Belnap-Dunn logic
This paper concerns an expansion of first-order Belnap-Dunn logic named ...
research
∙
08/27/2022
Paraconsistent logic and query answering in inconsistent databases
This paper concerns the paraconsistent logic LPQ^⊃,𝖥 and an application ...
research
∙
06/06/2022
Imperative process algebra and models of parallel computation
In the theory of computation, a model of computation is used to study is...
research
∙
07/19/2021
Dormancy-aware timed branching bisimilarity
A variant of the standard notion of branching bisimilarity for processes...
research
∙
03/14/2021
Imperative process algebra with abstraction
This paper introduces an imperative process algebra based on ACP (Algebr...
research
∙
08/17/2020
A classical-logic view of a paraconsistent logic
This paper is concerned with the first-order paraconsistent logic LPQ^⊃,...
research
∙
07/20/2020
Program algebra for random access machine programs
This paper presents an algebraic theory of instruction sequences with in...
research
∙
05/02/2020
On infinite guarded recursive specifications in process algebra
In most presentations of ACP with guarded recursion, recursive specifica...
research
∙
03/01/2020
Process algebra, process scheduling, and mutual exclusion
In the case of multi-threading as found in contemporary programming lang...
research
∙
12/20/2019
Probabilistic process algebra and strategic interleaving
We first present a probabilistic version of ACP that rests on the princi...
research
∙
06/11/2019
Using Hoare logic in a process algebra setting
This paper concerns the relation between process algebra and Hoare logic...
research
∙
01/25/2019
Program algebra for Turing-machine programs
This note presents an algebraic theory of instruction sequences with ins...
research
∙
08/13/2018
A short introduction to program algebra with instructions for Boolean registers
A parameterized algebraic theory of instruction sequences, objects that ...
research
∙
05/15/2018
On the complexity of the correctness problem for non-zeroness test instruction sequences
In this paper, we consider the programming of the function on bit string...
research
∙
06/04/2010
On the definition of a theoretical concept of an operating system
We dwell on how a definition of a theoretical concept of an operating sy...
research
∙
03/29/2010