Sciweavers

15860 search results - page 599 / 3172
» On agent-based software engineering
Sort
View
FOSSACS
2007
Springer
16 years 1 months ago
Generalized Parity Games
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
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