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

 publisher = {{Springer US}},

 url = {{https://doi.org/10.1007/978-0-387-35261-9_23 }},

 year = {{1997}},

 month = {{1}},

 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 2025/11/27}}}