Getting Demos Models Right Part II: ... and Theory
by
Graham Birtwistle
,
Chris Tofts
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Birtwistle_gettingdemos,
author = {Graham Birtwistle and Chris Tofts},
title = {Getting Demos Models Right Part II: ... and Theory},
year = {}
}
author = {Graham Birtwistle and Chris Tofts},
title = {Getting Demos Models Right Part II: ... and Theory},
year = {}
}
Bookmarks
OpenURL
Abstract:
this paper, we formalise our translation schemata from core Demos and extend them to cover wait until and conditional commands. We also cite several theorems derivable from the translations and give applications. 5 Translating core Demos
