CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Open transactions on shared memory
Marino Miculan
,
Marco Peressotti
,
Andrea Toneguzzo
2015-01-01
Cite
DOI
URL
Type
Conference paper
Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Computer Science (all); Theoretical Computer Science
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
Behavioural equivalences for coalgebras with unobservable moves
Cite
×