Imperial College London
Alternate

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

@inproceedings{Lanese:2021:10.1007/978-3-030-79837-6_8,
author = {Lanese, I and Phillips, I},
doi = {10.1007/978-3-030-79837-6_8},
pages = {126--143},
publisher = {Springer Verlag},
title = {Forward-reverse observational equivalences in CCSK},
url = {http://dx.doi.org/10.1007/978-3-030-79837-6_8},
year = {2021}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - In the context of CCSK, a reversible extension of CCS, we study observational equivalences that distinguish forward moves from backward ones. We present a refinement of the notion of forward-reverse bisimilarity and show that it coincides with a notion of forward-reverse barbed congruence. We also show a set of sound axioms allowing one to reason equationally on process equivalences.
AU  - Lanese,I
AU  - Phillips,I
DO  - 10.1007/978-3-030-79837-6_8
EP  - 143
PB  - Springer Verlag
PY  - 2021///
SN  - 0302-9743
SP  - 126
TI  - Forward-reverse observational equivalences in CCSK
UR  - http://dx.doi.org/10.1007/978-3-030-79837-6_8
UR  - http://hdl.handle.net/10044/1/91293
ER  -
Download