Travelled to:1 × Canada
1 × Czech Republic
1 × Italy
Collaborated with:J.Laird P.D.Mosses G.McCusker
Talks about:sequenti (1) program (1) modular (1) bisimul (1) theori (1) semant (1) comput (1) proof (1) logic (1) imper (1)
Person: Martin Churchill
DBLP: Churchill:Martin
Contributed to:
2013
2011
2010Wrote 3 papers:
- FoSSaCS-2013-ChurchillM #bisimulation #composition
- Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
- LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code
- Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
- CSL-2010-ChurchillL #logic
- A Logic of Sequentiality (MC, JL), pp. 215–229.