Sciweavers

31387 search results - page 174 / 6278
» Abstracting abstract machines
Sort
View
119
Voted
FSEN
2007
Springer
16 years 1 months ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale
FSEN
2007
Springer
16 years 1 months ago
Slicing Abstractions
Ingo Brückner, Klaus Dräger, Bernd Finkb...
FSEN
2007
Springer
16 years 1 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg