Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
Huvudupphovsmän: | , |
---|---|
Materialtyp: | Conference item |
Publicerad: |
University of Birmingham; 1999
2002
|
Huvudupphovsmän: | , |
---|---|
Materialtyp: | Conference item |
Publicerad: |
University of Birmingham; 1999
2002
|