Decidability, behavioural equivalences and infinite transition graphs
This thesis studies behavioural equivalences on labelled infinite transition graphs and the role that they can play in the context of modal logics and notions from language theory. A natural class of such infinite graphs is that corresponding to the SnS-definable tree languages first studied by Rabi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1991
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561618 |