CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Weak bisimulations for labelled transition systems weighted over semirings
Marino Miculan
,
Marco Peressotti
2013-01-01
Cite
URL
Publication
CoRR
Related
Loose Graph Simulations
Deciding weak weighted bisimulation
Structural operational semantics for non-deterministic processes with quantitative aspects
On the bisimulation hierarchy of state-to-function transition systems
Open transactions on shared memory
Cite
×