CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Luís Caires
Themen in »CONCUR 2007 - Concurrency Theory«
Bisimulation automata communication protocols concurrency concurrent processing concurrent rewriting concurrent systems distributed computing formal language formal verification hybrid systems infinite state systems model checking parallel computing semantics
Stimmen zu »CONCUR 2007 - Concurrency Theory«
Details
ISBN: 9783540744061
Verlag: Springer Berlin
Erscheinung: 22.08.2007