Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer
| Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 810 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Software engineering Artificial intelligence Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| ISBN | 3-540-68679-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Montanari’s 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 Montanari’s 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 Asynchronous Nature 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 Montanari’s Vision -- Automatic Mutual Exclusion and Atomicity Checks -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- A Category of Explicit Fusions -- What Do Semantics Matter When the Meat Is Overcooked? -- Calculating Colimits Compositionally -- Observability Concepts in Abstract Data Type Specification, 30 Years Later -- Software Verification -- Ugo Montanari and Software Verification -- History Dependent Automata for Service Compatibility -- A Type System for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming -- The Pairing of Contracts and Session Types -- Specifying and Analysing SOC Applications with COWS -- Approximating Behaviors in Embedded System Design -- Friends -- Ugo Montanari and Friends -- Calculating with Automata -- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra -- Some Theorems Concerning the Core Function -- The Seventies -- Categories, Software and Meaning -- A Roman Senator -- The Semantics of Ugo Montanari -- Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years. |
| Record Nr. | UNISA-996465283403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer
| Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 810 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Software engineering Artificial intelligence Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| ISBN | 3-540-68679-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Montanari’s 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 Montanari’s 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 Asynchronous Nature 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 Montanari’s Vision -- Automatic Mutual Exclusion and Atomicity Checks -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- A Category of Explicit Fusions -- What Do Semantics Matter When the Meat Is Overcooked? -- Calculating Colimits Compositionally -- Observability Concepts in Abstract Data Type Specification, 30 Years Later -- Software Verification -- Ugo Montanari and Software Verification -- History Dependent Automata for Service Compatibility -- A Type System for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming -- The Pairing of Contracts and Session Types -- Specifying and Analysing SOC Applications with COWS -- Approximating Behaviors in Embedded System Design -- Friends -- Ugo Montanari and Friends -- Calculating with Automata -- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra -- Some Theorems Concerning the Core Function -- The Seventies -- Categories, Software and Meaning -- A Roman Senator -- The Semantics of Ugo Montanari -- Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years. |
| Record Nr. | UNINA-9910484825303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||