Relating formal models of concurrency for the modelling of asynchronous digital hardware
This Thesis investigates formal models of concurrency that are often used in the process of the design of asynchronous circuits, namely transition systems and Petri nets. The aim of the Thesis is to relate various classes of transition systems and nets, so that different models can be used at differ...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
2000
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.323666 |