CONCUR 2010 - Concurrency Theory
21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Up to date results Fast conference proceedings State-of-the-art report
Autor*in
Paul Gastin
Themen in »CONCUR 2010 - Concurrency Theory«
Simulation abstract machines atomicity checki biology-inspired systems concurrency models design domain theoretic modelsi learning model checking model logics modeling pervasive computing process algebras resource logicsq verification
Stimmen zu »CONCUR 2010 - Concurrency Theory«
Details
ISBN: 9783642153754
Verlag: Springer Berlin
Erscheinung: 21.08.2010