Author: "Hayes, Ian" / Journal: acta informatica - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Hayes, Ian"' showing total 3 results

Start Over Author "Hayes, Ian" Journal acta informatica

3 results on '"Hayes, Ian"'

1. Algebraic reasoning for probabilistic action systems and while-loops

Author: Meinicke, Larissa and Hayes, Ian J.
Published: 2008
Full Text: View/download PDF

2. A sequential real-time refinement calculus

Author: Hayes, Ian J. and Utting, Mark
Published: 2001
Full Text: View/download PDF

3. Multi-relations in Z: A cross between multi-sets and binary relations

Author: Hayes, Ian
Published: 1992
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results