CONCUR 2007 - Concurrency Theory

18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

AvLuís Caires,Vasco T. Vasconcelos

Häftad, Engelska, 2007

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr