TitleA UTP semantics of pGCL as a homogeneous relation
Publication TypeConference Paper
Year of Publication2012
AuthorsBresciani R, Butterfield A
Conference NameIntegrated Formal Methods 2012Integrated Formal Methods 2012
Date Published2012
PublisherSpringer LNCS 7321
Conference LocationPisa, Italy
URLhttp://ulir.ul.ie/handle/10344/2607