1987
On the consistency of Koomen's fair abstraction rule
Publication
Publication
Theoretical Computer Science , Volume 51 - Issue 1-2 p. 129- 176
| Additional Metadata | |
|---|---|
| elsevier | |
| Theoretical Computer Science | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Baeten, J., Bergstra, J., & Klop, J. W. (1987). On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science, 51(1-2), 129–176. |
|