TY  - CONF

T1  - A Suspension-Trace Semantics for CSP

JO  - 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

PY  - 2016/08/10

AU  - Cavalcanti A

AU  - Hierons RM

AU  - Nogueira S

AU  - Sampaio A

ED  - 

DO  - DOI: 10.1109/tase.2016.9

PB  - IEEE

Y2  - 2024/12/22

ER  -