1991-04-15
Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool
Publication
Publication
Additional Metadata | |
---|---|
J.W. de Bakker (Jaco) | |
Vrije Universiteit Amsterdam | |
de Boer, F. (1991, April 15). Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool. |