CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Deciding hedged bisimilarity
Alessio Mansutti
,
Marino Miculan
2018-01-01
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 19th Italian Conference on Theoretical Computer Science
Computer Science (all)
Related
Towards user recognition by shallow web traffic inspection
Deciding weak weighted bisimulation
Labelled variables in logic programming: Foundations
Loose Graph Simulations
Distributed execution of bigraphical reactive systems
Cite
×