Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Howells, Paul"'
Autor:
Howells, Paul, dʼInverno, Mark
Publikováno v:
In Theoretical Computer Science 9 September 2013 503:31-60
Autor:
Hodgson, Karen, Butler, Jessica E, Davies, Alisha, Houston, Sarah, Marszalek, Kathryn, Peytrignet, Sebastien, Piroddi, Roberta, Wood, Frank, Deeny, Sarah, Song, Jiao, Akbari, Ashley, Bentley, Laura, Cross, Lynsey, Dundon, Joanna, Howells, Paul, John, Gareth, Gwyndaf Parry, Smith, Tomos, Trigg, Lisa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea755515b10ce5d14fd8cd9311a5f132
Publikováno v:
In Information and Software Technology 2002 44(2):101-112
Publikováno v:
In Journal of Systems Architecture 1999 45(6):441-464
Autor:
Howells, Paul, d'Inverno, Mark
Publikováno v:
Communicating Process Architectures 2013
In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::3a06981122263b5109087e0610804f5c
Autor:
Howells, Paul, d'Inverno, Mark
Publikováno v:
Communicating Process Architectures 2013
In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe's original CSP. This led to the definition of a variant of CSP, called CSPt. CSPt presents a solution to these probl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::24136543785ec3a7bf5584b820ca1637
Autor:
Howells, Paul1
Publikováno v:
Mortgage Finance Gazette. Feb2020, Vol. 151 Issue 1848, p28-28. 1p.
Publikováno v:
System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on
The main objective of this paper is to put forward a software\ud process model for high-performance systems (HPS),\ud and to present a formal framework to describe software design\ud methodologies (SDMs) for those systems. The framework\ud consists o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1c127fc546db14f779a9871176f086d0