Sciweavers

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