( en | de | ru )

 

Disambiguation of "Butterfield, Andrew"

Author of the publication

copydeleteadd this publication to your clipboard
Mechanising a formal model of flash memory.

, , and . Sci. Comput. Program., 74 (4): 219-237 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stuart Butterfield

Paul Butterfield

David Butterfield

Andrew Huvos

Andrew Lee

 

Other publications of authors with the same name

A UTP Semantics of pGCL as a Homogeneous Relation., and . IFM, volume 7321 of Lecture Notes in Computer Science, page 191-205. Springer, (2012)The Inner and Outer Algebras of Unified Concurrency.. UTP, volume 11885 of Lecture Notes in Computer Science, page 157-175. Springer, (2019)UTPCalc - A Calculator for UTP Predicates.. UTP, volume 10134 of Lecture Notes in Computer Science, page 197-216. Springer, (2016)Prioritized slotted-Circus., and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 91-105. Springer, (2010)A denotational semantics for Handel-C.. Formal Aspects Comput., 23 (2): 153-170 (2011)A "Hardware Compiler" Semantics for Handel-C., and . MFCSIT, volume 161 of Electronic Notes in Theoretical Computer Science, page 73-90. Elsevier, (2004)Applying Formal Verification to an Open-Source Real-Time Operating System., and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 348-366. Springer, (2023)Business Process Modeling Flexibility: A Formal Interpretation., , and . MODELSWARD, page 465-472. SciTePress, (2019)State Visibility and Communication in Unifying Theories of Programming., , and . TASE, page 47-54. IEEE Computer Society, (2009)Circus2CSP: A Tool for Model-Checking Circus Using FDR., and . FM, volume 11800 of Lecture Notes in Computer Science, page 235-242. Springer, (2019)