A Unary Semigroup Trace Algebra (2020)

First Author: Ribeiro P
Attributed to:  A Calculus for Software Engineering of Mobile and Autonomous Robots funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract