Modal semirings and applications
Auteur :
Möller, Bernhard / Desharnais, Jules
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032235916
Date de publication :
28 oct. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
On the side of program semantics, Hoare Logic, the theory of general and partial correctness, demonic semantics and various temporal logics such as PDL, LTL and CTL* are treated. Whereas Part I should be read sequentially, the chapters in the other parts are more or less independent of each other.