Oxford logo
[HK96] M. Huth and M. Kwiatkowska. Finite but Unbounded Delay in Synchronous CCS. In Proc. Advanced methods in theory and formal methods of computing (TFM'96), pages 312-323, Imperial College Press. 1996. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (95 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications