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. Department of Computer Science [CS]. CWI. |
|