The unique solution of contractions is a proof technique for bisimilarit...
In this thesis, a comprehensive formalization of Milner's Calculus of
Co...
Simple Network Management Protocol (SNMP) is widely used for management ...
In this project, a rather complete proof-theoretical formalization of La...