
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...
read it

A short introduction to program algebra with instructions for Boolean registers
A parameterized algebraic theory of instruction sequences, objects that ...
read it

On the complexity of the correctness problem for nonzeroness test instruction sequences
In this paper, we consider the programming of the function on bit string...
read it

Program algebra for Turingmachine programs
This note presents an algebraic theory of instruction sequences with ins...
read it

Using Hoare logic in a process algebra setting
This paper concerns the relation between process algebra and Hoare logic...
read it

A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
Many public controversies involve the assessment of statements about whi...
read it

Introducing Sourcements
Sourcing processes are discussed at a high abstraction level. A dedicate...
read it
J. A. Bergstra
is this you? claim profile