Fault-tolerant bisimulation and process transformations
Janowski, T. (1994) Fault-tolerant bisimulation and process transformations. Technical Report. Department of Computer Science, Coventry, UK.
- Published Version
We provide three methods of verifying concurrent systems which are tolerant of faults in their operating environment - algebraic, logical and transformational. The first is an extension of the bisimulation equivalence, the second is rooted in the Hennessy-Milner logic, and the third involves transformations of CCS processes. Based on the common semantic model of labelled transition systems, which is also used to model faults, all three methods are proved equivalent for certain classes of faults.
|Item Type:||Monograph (Technical Report)|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||Faculty of Science > Computer Science|
|Depositing User:||Mr Ebrahim Ardeshir|
|Date Deposited:||17 Dec 2011 23:57|
|Last Modified:||01 Nov 2012 18:06|
Actions (login required)