271 search results - page 1 / 55 » Observational Completeness on Abstract Interpretation |
WOLLIC
2009
Springer
13 years 11 months ago
2009
Springer
ESOP
2004
Springer
13 years 9 months ago
2004
Springer
FASE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
ICALP
2011
Springer
12 years 7 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...
ENTCS
2007
13 years 4 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...