Andrew Butterfield

Mjeda A, Butterfield A, Noll J.  2019.  Business Process Modeling Flexibility: A Formal Interpretation.

Butterfield A.  2019.  The Inner and Outer Algebras of Unified Concurrency. Unifying Theories of Programming.

Gomes AOliveira, Butterfield A.  2019.  Towards a Model-Checker for Circus. Formal Methods – The Next 30 Years.

Gomes AOliveira, Butterfield A.  2019.  Circus2CSP: A Tool for Model-Checking Circus Using FDR. Formal Methods – The Next 30 Years.

Butterfield A.  2017.  UTCP: Compositional Semantics for Shared-Variable Concurrency. 20th Brazilian Symposium on Formal Methods .

Butterfield A.  2017.  UTPCalc - A calculator for UTP Predicates. The 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming.

Gomes AOliveira, Butterfield A.  2016.  Modelling the Haemodialysis Machine with Circus. Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings.

Noll J., Butterfield A.  2016.  Teaching Global Software Development through Game Design. 11th {IEEE} International Conference on Global Software Engineering Workshops, {ICGSE} Workshops 2016, Orange County, CA, USA, August 2, 2016.

Butterfield A, Mjeda A, Noll J..  2016.  UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

Woodcock J, Foster S, Butterfield A.  2016.  Heterogeneous Semantics and Unifying Theories. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}.