Zobrazeno 1 - 10
of 12 059
pro vyhledávání: '"Butterfield Andrew"'
Publikováno v:
EPTCS 368, 2022, pp. 60-74
We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is not limited
Externí odkaz:
http://arxiv.org/abs/2209.05232
Autor:
Wakefield Matthew J, Lawrence Cath, Lang Edward, Vedagiri Vivek, Butterfield Andrew, Isaev Alexander, Huttley Gavin A
Publikováno v:
BMC Bioinformatics, Vol 5, Iss 1, p 1 (2004)
Abstract Background Examining the distribution of variation has proven an extremely profitable technique in the effort to identify sequences of biological significance. Most approaches in the field, however, evaluate only the conserved portions of se
Externí odkaz:
https://doaj.org/article/5f602998eee74df68f8d33e34b059982
Autor:
Butterfield, Andrew
Publikováno v:
EPTCS 167, 2014, pp. 14-22
We describe a prototype theorem prover, UTP2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order logic, with a strong emphasis
Externí odkaz:
http://arxiv.org/abs/1410.8216
Autor:
TeGrotenhuis, Ward, Butterfield, Andrew, Caldwell, Dustin, Crook, Alexander, Winkelman, Austin
Publikováno v:
In Applied Thermal Engineering September 2017 124:170-177
Autor:
Butterfield, Andrew, Franklin, David
Publikováno v:
The Burlington Magazine, 1998 Dec 01. 140(1149), 819-824.
Externí odkaz:
https://www.jstor.org/stable/888129
Publikováno v:
In Science of Computer Programming 1 February 2015 98 Part 2:120-139
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
BUTTERFIELD, ANDREW
Publikováno v:
The Burlington Magazine, 2010 Nov 01. 152(1292), 723-726.
Externí odkaz:
https://www.jstor.org/stable/25769836
Autor:
Butterfield, Andrew1
Publikováno v:
New Republic. 9/24/2007, Vol. 237 Issue 6, p36-41. 6p. 2 Color Photographs, 1 Illustration.