Abstract :
The following topics are dealt with: finite model theory; logic and automata; semantics; process calculi; concurrency; and coalgebra.
Keywords :
automata theory; logic; process algebra; programming language semantics; automata; coalgebra; concurrency; finite model theory; logic; process calculi; semantics;
Conference_Titel :
Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
Conference_Location :
Edinburgh
Print_ISBN :
978-1-4244-7588-9
DOI :
10.1109/LICS.2010.1
