Tampere University of Technology

TUTCRIS Research Portal

A Chaos-free failures-divergences semantics with applications to verification

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationMillenial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
EditorsJ. Davies
Place of PublicationIso Britannia
PublisherAntony Rowe Limited
Pages365-382
Publication statusPublished - 2000
Publication typeA4 Article in a conference publication

Publication forum classification