Simona Orzan

Available identifiers

Publication	Date of Publication	Type
Multiparty contract signing over a reliable network	2016-05-06	Paper
A state space distribution policy based on abstract interpretation	2013-09-25	Paper
Distributed branching bisimulation reduction of state spaces	2013-08-30	Paper
A distributed algorithm for strong bisimulation reduction of state spaces	2013-08-16	Paper
Invariants for parameterised Boolean equation systems	2010-03-29	Paper
Static Analysis Techniques for Parameterised Boolean Equation Systems	2009-03-31	Paper
A Framework for Automatically Checking Anonymity with μCRL	2009-03-05	Paper
Refinement of Kripke Models for Dynamics	2009-01-27	Paper
Fair Exchange Is Incomparable to Consensus	2009-01-27	Paper
Invariants for Parameterised Boolean Equation Systems	2008-11-25	Paper
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap	2008-05-15	Paper
Distribution of a simple shared dataspace architecture	2007-01-04	Paper

This page was built for person: Simona Orzan