TY  - CHAP

T1  - On Behavioural Subtyping in LOTOS

T2  - IFIP Advances in Information and Communication Technology

PY  - 1997/02/03

AU  - Bowman H

AU  - Briscoe-Smith C

AU  - Derrick J

AU  - Strulo B

ED  - 

DO  - DOI: 10.1007/978-0-387-35261-9_23

PB  - Springer US

SN  - 9781504129527

SP  - 335

EP  - 351

Y2  - 2024/12/22

ER  -