( en | de | ru )

 

Disambiguation of "Butterfield, Andrew"

Author of the publication

copydeleteadd this publication to your clipboard
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.

, , and . TASE, page 93-100. IEEE Computer Society, (2016)

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 Singer

Andrew Torda

 

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)UTPCalc - A Calculator for UTP Predicates.. UTP, volume 10134 of Lecture Notes in Computer Science, page 197-216. Springer, (2016)Business Process Modeling Flexibility: A Formal Interpretation., , and . MODELSWARD, page 465-472. SciTePress, (2019)Prioritized slotted-Circus., and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 91-105. Springer, (2010)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)State Visibility and Communication in Unifying Theories of Programming., , and . TASE, page 47-54. IEEE Computer Society, (2009)A "Hardware Compiler" Semantics for Handel-C., and . MFCSIT, volume 161 of Electronic Notes in Theoretical Computer Science, page 73-90. Elsevier, (2004)The Inner and Outer Algebras of Unified Concurrency.. UTP, volume 11885 of Lecture Notes in Computer Science, page 157-175. Springer, (2019)OO-Motivated Process Algebra: A Calculus for CORBA-like Systems., , and . Rigorous Object-Oriented Methods, BCS, (2000)A Probabilistic Theory of Designs Based on Distributions., and . UTP, volume 7681 of Lecture Notes in Computer Science, page 105-123. Springer, (2012)