Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / [electronic resource] : edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - xv, 809 p. : ill., port., digital ; 24 cm. - Lecture Notes in Computer Science, 5065 0302-9743 ; .

9783540686798 (electronic bk.) 9783540686767 (paper)


Rewriting systems (Computer science)
Software engineering.
Multitasking (Computer science)
Computer simulation.
Computer software--Verification.
Computer programming.
Computer Science.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.

005.2