Logic for concurrency and synchronisation
Auteur :
De Queiroz, R. J.
ISBN :
9781402012709
Date de publication :
1 mai 2003
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
612 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades. This book shows the investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. It offers glimpses of integration with obvious links including modal logics for proof graphs.