| Using Hoare Logic In A Process Algebra Setting | 0 | 0.34 | 2021 |
| Program Algebra For Turing-Machine Programs | 0 | 0.34 | 2019 |
| A Short Introduction To Program Algebra With Instructions For Boolean Registers | 1 | 0.38 | 2018 |
| On the complexity of the correctness problem for non-zeroness test instruction sequences. | 1 | 0.38 | 2018 |
| On the strongest three-valued paraconsistent logic contained in classical logic. | 0 | 0.34 | 2017 |
| Process algebra with strategic interleaving. | 0 | 0.34 | 2017 |
| Axioms For Behavioural Congruence Of Single-Pass Instruction Sequences | 0 | 0.34 | 2017 |
| Contradiction-Tolerant Process Algebra with Propositional Signals. | 1 | 0.40 | 2015 |
| Transformation of fractions into simple fractions in divisive meadows | 0 | 0.34 | 2015 |
| Probabilistic Thread Algebra | 0 | 0.34 | 2015 |
| On Instruction Sets For Boolean Registers In Program Algebra | 2 | 0.46 | 2015 |
| On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions. | 3 | 0.60 | 2014 |
| A Hoare-Like Logic Of Asserted Single-Pass Instruction Sequences | 0 | 0.34 | 2014 |
| Long multiplication by instruction sequences with backward jump instructions. | 3 | 0.50 | 2013 |
| Instruction Sequence Based Non-Uniform Complexity Classes | 8 | 0.86 | 2013 |
| Instruction sequence expressions for the secure hash algorithm SHA-256. | 3 | 0.51 | 2013 |
| Network algebra for synchronous dataflow | 0 | 0.34 | 2013 |
| Instruction sequence expressions for the Karatsuba multiplication algorithm. | 2 | 0.47 | 2013 |
| Instruction sequence processing operators | 10 | 0.80 | 2012 |
| Process algebra with conditionals in the presence of epsilon | 2 | 0.40 | 2012 |
| On the Behaviours Produced by Instruction Sequences under Execution | 2 | 0.42 | 2012 |
| Turing Impossibility Properties for Stack Machine Programming | 0 | 0.34 | 2012 |
| A Survey of Paraconsistent Logics | 11 | 0.86 | 2011 |
| Thread algebra for poly-threading | 3 | 0.41 | 2011 |
| Searching publications on operating systems | 6 | 0.50 | 2010 |
| Searching publications on software testing | 10 | 0.63 | 2010 |
| On the definition of a theoretical concept of an operating system | 1 | 0.36 | 2010 |
| Instruction sequence notations with probabilistic instructions | 4 | 0.50 | 2009 |
| Meadow Enriched ACP Process Algebras | 3 | 0.36 | 2009 |
| Autosolvability of halting problem instances for instruction sequences | 7 | 0.51 | 2009 |
| A Process Calculus with Finitary Comprehended Terms | 5 | 0.49 | 2009 |
| Arithmetical meadows | 1 | 0.39 | 2009 |
| Machine structure oriented control code logic | 28 | 1.00 | 2009 |
| A protocol for instruction stream processing | 1 | 0.35 | 2009 |
| Functional units for natural numbers | 3 | 0.44 | 2009 |
| Partial Komori fields and imperative Komori fields | 5 | 0.50 | 2009 |
| On the Expressiveness of Single-Pass Instruction Sequences | 14 | 0.89 | 2008 |
| Distributed strategic interleaving with load balancing | 12 | 0.65 | 2008 |
| Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting | 10 | 0.46 | 2008 |
| Maurer computers for pipelined instruction processing† | 11 | 0.72 | 2008 |
| Parallel Processes with Implicit Computational Capital | 19 | 0.67 | 2008 |
| Instruction sequences for the production of processes | 6 | 0.40 | 2008 |
| Instruction sequences and non-uniform complexity theory | 14 | 0.66 | 2008 |
| Thread algebra for sequential poly-threading | 12 | 0.49 | 2008 |
| Data Linkage Dynamics with Shedding | 8 | 0.42 | 2008 |
| Instruction Sequences With Indirect Jumps | 19 | 0.77 | 2007 |
| A thread calculus with molecular dynamics | 8 | 0.63 | 2007 |
| Programming An Interpreter Using Molecular Dynamics | 15 | 0.52 | 2007 |
| On the operating unit size of load/store architectures† | 20 | 0.69 | 2007 |
| Synchronous cooperation for explicit multi-threading | 26 | 0.93 | 2007 |
