393 search results - page 2 / 79 » Abstract Interpretation of Probabilistic Semantics |
ENTCS
2008
13 years 7 months ago
2008
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...
ICALP
2011
Springer
12 years 11 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
ESOP
2001
Springer
14 years 6 days ago
2001
Springer
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
ICLP
2001
Springer
14 years 5 days ago
2001
Springer