DrIainPhillips

Faculty of Engineering, Department of Computing

Senior Lecturer - Computing

Contact

+44 (0)20 7594 8265i.phillips Website

Location

427Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Ulidowski:2002:10.1006/inco.2002.3161,
author = {Ulidowski, I and Phillips, I},
doi = {10.1006/inco.2002.3161},
journal = {Information and Computation},
pages = {180--213},
title = {Ordered SOS Process Languages for Branching and Eager Bisimulations},
url = {http://dx.doi.org/10.1006/inco.2002.3161},
volume = {178},
year = {2002}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Ulidowski,I
AU  - Phillips,I
DO  - 10.1006/inco.2002.3161
EP  - 213
PY  - 2002///
SN  - 0890-5401
SP  - 180
TI  - Ordered SOS Process Languages for Branching and Eager Bisimulations
T2  - Information and Computation
UR  - http://dx.doi.org/10.1006/inco.2002.3161
VL  - 178
ER  -

Download