CONCUR 2002 - Concurrency Theory
| ISBN: | 9783540440437 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 609 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Brim, Lubos Jancar, Petr Kretinsky, Mojmir Kucera, Antonin |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 05.08.2002 |
| Untertitel: | 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings |
| Schlagworte: | Bisimulation Concurrent Processing Concurrent Systems Distributed Computing Formal Verification Hybrid Systems Model Checking Parallel Computing Petri Nets Probabilistic Systems |