Gå direkte til innholdet
Logic for Concurrency and Synchronisation
Spar

Logic for Concurrency and Synchronisation

The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic.
Opplag
Softcover reprint of the original 1st ed. 2003
ISBN
9789401740005
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.10.2013
Forlag
Springer
Antall sider
285