Title: Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday
Subjects: Logic design, Computer science, Software engineering, Algebra, Data processing, Artificial intelligence, Computer software, Computer simulation, Computer programming, Computer software, verification, Machine theory, Graph theory, Graph grammars, Rewriting systems (Computer science), Computer multitasking, Verification, Multitasking (Computer science)