Iain Phillips (Imperial College London)

Identifiers

• name variant Iain Phillips (Imperial College London) 0.60 · backfill

Papers (3)

1. Towards a Categorical Representation of Reversible Event Structures cs.LO · 2017 · author #2
2. A Logic with Reverse Modalities for History-preserving Bisimulations cs.LO · 2011 · author #1
3. Reverse Bisimulations on Stable Configuration Structures cs.LO · 2010 · author #1

Mentions

• 1108.4470 #1 · backfill · confidence 0.70 Iain Phillips (Imperial College London)
• 1002.2871 #1 · backfill · confidence 0.70 Iain Phillips (Imperial College London)

Frequent Coauthors

• Irek Ulidowski (University of Leicester) 2 shared papers
• Eva Graversen (Imperial College London) 1 shared papers
• Nobuko Yoshida (Imperial College London) 1 shared papers