1
Pubblicazione 2006
Sommario: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...
Testo
Elettronico eBook
3
Sommario: ... -- Parallel Semantics -- Basic ASP Properties -- Confluence Property -- Determinacy -- A Few More Features...
Testo
Elettronico eBook