research
∙
08/27/2018
Unique Solutions of Contractions, CCS, and their HOL Formalisation
The unique solution of contractions is a proof technique for bisimilarit...
share
research
∙
12/05/2017
A Formalization of Unique Solutions of Equations in Process Algebra
In this thesis, a comprehensive formalization of Milner's Calculus of Co...
research
∙
05/24/2017
SNMP for Common Lisp
Simple Network Management Protocol (SNMP) is widely used for management ...
research
∙
05/20/2017