A. Stewart

Available identifiers

Publication	Date of Publication	Type
Modelling web-service uncertainty: the angel/daemon approach	2021-12-20	Paper
The Robustness of Periodic Orchestrations in Uncertain Evolving Environments	2015-11-10	Paper
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance	2015-11-10	Paper
Reasoning about orchestrations of web services using partial correctness	2014-11-10	Paper
A programming model for BSP with partitioned synchronisation	2011-10-18	Paper
Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty	2011-06-29	Paper
Barrier synchronisation: Axiomatisation and relaxation	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817282	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4791950	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4536984	2002-11-06	Paper
BSP-style computation: A semantic investigation	2002-05-14	Paper
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗	2000-06-05	Paper
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations	1997-08-07	Paper
An axiomatic treatment of SIMD assignment	1990-01-01	Paper
SIMD language design using prescriptive semantics	1988-01-01	Paper
Towards the construction of an eigenvalue engine	1988-01-01	Paper

This page was built for person: A. Stewart