Title :
Amir Pnueli: A Gentle Giant, Lord of the Phi´s and the Psi´s
Abstract :
The following topics are dealt with: finite model theory; logic and automata; semantics; process calculi; and coalgebras.
Keywords :
automata theory; process algebra; programming language semantics; automata; coalgebras; finite model theory; logic; process calculi; semantic; Computer science; Engineering profession; Semantics;
Conference_Titel :
Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
Conference_Location :
Edinburgh
Print_ISBN :
978-1-4244-7588-9
Electronic_ISBN :
1043-6871
DOI :
10.1109/LICS.2010.54
