CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Mansutti Alessio
Latest
Deciding hedged bisimilarity
Loose Graph Simulations
Distributed execution of bigraphical reactive systems
Towards distributed bigraphical reactive systems
Cite
×