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

Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verification.- Graph-Based Design and Analysis of Dynamic Software Architectures.- Graph Transformation Units  An Overview.- Synchronous Multiparty Synchronizations and Transactions.- Transformations in Reconfigurable Place/Transition Systems.- Explicit State Model Checking for Graph Grammars.- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.- Constraint and Logic Programming.- Constraint and Logic Programming: Ugo Montanaris Main Contributions and Introduction to the Volume Section.- Semiring-Based Soft Constraints.- Declarative Debugging of Membership Equational Logic Specifications.- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.- AND/OR Multi-valued Decision Diagrams for Constraint Networks.- Software Engineering.- Software Engineering: Ugo Montanaris Main Contributions and Introduction to the Section.- Modeling Business within a UML-Based Rigorous Software Development Approach.- From Domain to Requirements.- Business Process Modeling for Organizational Knowledge Management.- Event-Based Service Coordination.- Dynamically Evolvable Dependable Software: From Oxymoron to Reality.- The Temporal Logic of Rewriting: A Gentle Introduction.- A Heterogeneous Approach to UML Semantics.- Concurrency Theory.- Ugo Montanari and Concurrency Theory.- On the Synthesis of Zero-Safe Nets.- A Note on Persistent Petri Nets.- Secure Data Flow in a Calculus for Context Awareness.- On Beta-Binders Communications.- On the AsynchronousNature of the Asynchronous ?-Calculus.- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.- Models of Computation.- Models of Computation: A Tribute to Ugo Montanaris Vision.- lã)