Martin Churchill

According to our database, Martin Churchill authored at least 7 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Reusable Components of Semantic Specifications.

Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini

LNCS Trans. Aspect Oriented Softw. Dev., 2015

2014

Reusable components of semantic specifications.

Martin Churchill, Peter D. Mosses, Paolo Torrini

Proceedings of the 13th International Conference on Modularity, 2014

2013

Imperative programs as proofs via game semantics.

Martin Churchill, Jim Laird, Guy McCusker

Ann. Pure Appl. Log., 2013

Modular Bisimulation Theory for Computations and Values.

Martin Churchill, Peter D. Mosses

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Modular Semantics for Transition System Specifications with Negative Premises.

Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2010

A Concrete Representation of Observational Equivalence for PCF

Martin Churchill, James Laird, Guy McCusker

CoRR, 2010

A Logic of Sequentiality.

Martin Churchill, James Laird

Proceedings of the Computer Science Logic, 24th International Workshop, 2010