Sciweavers

Share
288 search results - page 1 / 58
» Observational Completeness on Abstract Interpretation
Sort
View
WOLLIC
2009
Springer
9 years 3 months ago
Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari
FASE
2010
Springer
9 years 3 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal speciļ¬cation of programs. A common way of writing abstract speciļ¬cations is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
ICALP
2011
Springer
8 years 21 days ago
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
Silvia Crafa, Francesco Ranzato
ENTCS
2007
121views more  ENTCS 2007»
8 years 9 months ago
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
Peter Selinger
books