1989
Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
van Glabbeek, R.J, & Goltz, U. (1989). Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care. Department of Computer Science [CS]. CWI.
|