Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages219-242
Number of pages24
Publication statusPublished - 8 Aug 2009
EventProceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) -
Duration: 8 Aug 2009 → …

Conference

ConferenceProceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)
Period8/08/09 → …