Siirry suoraan sisältöön
Logic for Concurrency and Synchronisation
Tallenna

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.
Toimittaja
R.J. De Queiroz
Painos
Softcover reprint of the original 1st ed. 2003
ISBN
9789401740005
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
3.10.2013
Kustantaja
Springer
Sivumäärä
285