Towards weak bisimilarity on a class of parallel processes
A directed labelled graph may be used, at a certain abstraction, to represent a system's behaviour. Its nodes, the possible states the system can be in; its arrows labelled by the actions required to move from one state to another. Processes are, for our purposes, synonymous with these labelled...
| Main Author: | |
|---|---|
| Published: |
Swansea University
2006
|
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.751996 |