Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

Xu Wang, B Roscoe, R Lazic

Research output: Contribution to conference (unpublished) › Paper

Original languageEnglish
Pages247-266
Number of pages20
Publication statusPublished - 1 Jan 2005
EventIFM 2004 -
Duration: 1 Jan 2005 → …

Conference

ConferenceIFM 2004
Period1/01/05 → …

Cite this