Gå direkt till innehållet
CONCUR 2007 - Concurrency Theory
CONCUR 2007 - Concurrency Theory
Spara

CONCUR 2007 - Concurrency Theory

Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Undertitel
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
ISBN
9783540744078
Språk
Engelska
Utgivningsdatum
2007-08-19
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator