CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
GSOS for non-deterministic processes with quantitative aspects
Marino Miculan
,
Marco Peressotti
2014-01-01
Cite
DOI
URL
Type
Conference paper
Publication
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014
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
×