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.& Goltz, U. (1989). Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care. In Department of Computer Science [CS] (N 8901). CWI. |
|