CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
AvMogens Nielsen,Kim G. Larsen
E-bok
PDF, Engelska, 2003687 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
Häftad, 1995
561 kr
Models, Mindsets, Meta: The What, the How, and the Why Not?
Kim G. Larsen, Susanne Graf, Tiziana Margaria
E-bok
2019714 kr
Models, Mindsets, Meta: The What, the How, and the Why Not?
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Häftad, 2019
561 kr