Alessio Mansutti

Latest

• Deciding hedged bisimilarity
• Loose Graph Simulations
• Distributed execution of bigraphical reactive systems
• Towards distributed bigraphical reactive systems