Book Details

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Publication year: 2008

ISBN: 978-3-540-68679-8

Internet Resource: Please Login to download book


The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.


Subject: Computer Science, automata, communication, concurrency, constraint programming, context awareness, coordination, declarative debugging, distributed systems, event notification, functional modules, knowledge management, mobile ambients, modeling, programming, semantics, algorithm analysis and problem complexity, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Artificial Intelligence