1
Published 2005
Table of Contents: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook