@inbook{inbook, title  = {{On Behavioural Subtyping in LOTOS}},

 publisher = {{Springer US}},

 url = {{}},

 year = {{1997}},

 month = {{2}},

 author = {{Bowman H and Briscoe-Smith C and Derrick J and Strulo B}},

 doi = {{10.1007/978-0-387-35261-9_23}},

 isbn = {{9781504129527}},

 pages = {{335-351}},

 note = {{Accessed on 2024/12/26}}}