A Suspension-Trace Semantics for CSP.

Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio

Browse the full TASE paper archive.