Publications


Trust and Security


Executable Models of Biological Systems


Supervisory Control Synthesis


Distributed Systems


Formal Analysis of Protocols for Wireless Networks


Formal Analysis of Protocols for Distributed Systems


Structural Operational Semantics and Modal Logic


Process Algebra


Timed Systems


Term Rewriting


Railway Interlockings


Miscellaneous


Theses


Exposure


Editorials


Liber Amicori