Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Phillips, Iain - Department of Computing, Imperial College, London
Under consideration for publication in Math. Struct. in Comp. Science A Hierarchy of Reverse Bisimulations on
Operational Semantics of Reversibility in Process Algebra
Discrete Mathematics Iain Phillips
Turing Machines in the PiCalculus Iain Phillips
ORDERED SOS RULES AND WEAK BISIMULATION IAIN PHILLIPS
iccp@doc.ic.ac.uk Department of Computing
On the Computational Strength of Pure Ambient Calculi 1
Leader Election in Rings of Ambient Processes 1 Iain Phillips and Maria Grazia Vigliotti 2
Leader Election in Rings of Ambient Processes 1
Possible and Guaranteed Concurrency Marta Kwiatkowska \Lambda
CCS with Priority Guards1 Iain Phillips2
Reversing Algebraic Process Calculi Iain Phillips1
Python Crib-sheet Iain Phillips
THE DEPARTMENT OF COMPUTING EXAMINATION TIMETABLE PROBLEM
A Note on Expressiveness of Process Iain Phillips
CCS with Priority Guards Iain Phillips
Electoral Systems in Ambient Calculi Iain Phillips and Maria Grazia Vigliotti
Formats of Ordered SOS Rules with Silent Actions
