Equations between regular terms and an application to process logic

Publisher Website

1 January 1981

proceedings article
Published by Association for Computing Machinery (ACM)

p. 384-390
https://doi.org/10.1145/800076.802493

Abstract

No abstract available

Cited by 11 articles