Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Promises in the context of humanoid robot morality | 2020 | |||
Quantitative expressiveness of instruction sequence classes for computation on bit registers | 2019 | |||
A short introduction to program algebra with instructions for Boolean registers | 2019 | |||
Thread algebra and risk assessment services | 2007 | |||
Conditional Axioms and α/β- Calculus in Process Algebra | 2017 |