Searching for authors named "Richard Owens" – sorted by Relevance.
-
From the Past to the Future: Executing Temporal Logic Programs
- From the Past to the Future: Executing Temporal Logic Programs Michael Fisher 1 and Richard
- Cited by 21 (12 self) – Add To MetaCart
-
METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic
- + , Michael Fisher # , and Richard Owens + + Department of Computing, # Department of Computer Science
- Cited by 12 (8 self) – Add To MetaCart
-
METATEM: A Framework for Programming in Temporal Logic
- + , Dov Gabbay # , Graham Gough + and Richard Owens # + Department of Computer Science, University
- Cited by 78 (19 self) – Add To MetaCart
-
Languages, Meta-languages and MetateM
- .Fisher@(email omitted); ANTHONY HUNTER, RICHARD OWENS, Department of Computing, Imperial College of Science, Technology
- Add To MetaCart

