MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

“... on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics...”

Cover Image

2

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Isla...

Published 2011

Springer Berlin Heidelberg

“... processes, and distributed and concurrent systems and algorithms...”