Sciweavers

11168 search results - page 47 / 2234
» Abstract State Processes
Sort
View
151
Voted
FSEN
2007
Springer
16 years 9 days ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg
QEST
2006
IEEE
16 years 5 days ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker