CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Proportional Lumpability
A. Marin
,
Carla Piazza
,
S. Rossi
2019-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)
Related
Proportional lumpability and proportional bisimilarity
D_PSNI: Delimited persistent stochastic non-interference
Persistent Stochastic Non-Interference
A process algebra for (delimited) persistent stochastic non-interference
Contextual Lumpability
Cite
×