Sciweavers

2 search results - page 1 / 1
» An Abstract Interpretation Perspective on Linear vs. Branchi...
Sort
View
APLAS
2005
ACM
13 years 10 months ago
An Abstract Interpretation Perspective on Linear vs. Branching Time
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
Francesco Ranzato, Francesco Tapparo
ATVA
2007
Springer
88views Hardware» more  ATVA 2007»
13 years 10 months ago
Branching vs. Linear Time: Semantical Perspective
Sumit Nain, Moshe Y. Vardi