Implementing Data−Independence: Symbolic Operational Semantics for CSP_M

Bibliografiska uppgifter
Huvudupphovsmän: Goldsmith, M, Whittaker, P
Materialtyp: Conference item
Publicerad: University of Birmingham; 1999 2002