1987-06-01
ACP - A universal axiom system for process specification
Publication
Publication
CWI Newsletter Issue 15 p. 3- 23
Additional Metadata | |
---|---|
, | |
CWI | |
CWI Newsletter | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1987). ACP - A universal axiom system for process specification. CWI Newsletter (pp. 3–23). CWI. |