Semantics and logic of higher-order processes
Subtitle: characterizing late context bisimulation
By: Michael Baldamus
Contributors: Technische Universität Berlin
Published: 1998
Language: eng
Notes: Thesis (doctoral)--Technische Universität Berlin, 1998.