CONCUR 2010 - Concurrency Theory
| ISBN: | 9783642153747 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 600 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Gastin, Paul Laroussinie, Francois |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 18.08.2010 |
| Untertitel: | 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings |
| Schlagworte: | Simulation abstract machines atomicity checki biology-inspired systems concurrency models design domain theoretic modelsi learning model checking model logics |