Concurrency, Graphs and Models (Record no. 179902)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06371nam a22006255i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-68679-8 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423125620.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100301s2008 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540686798 |
| -- | 978-3-540-68679-8 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-540-68679-8 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA75.5-76.95 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Concurrency, Graphs and Models |
| Medium | [electronic resource] : |
| Remainder of title | Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / |
| Statement of responsibility, etc | edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2008. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XV, 810 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Theoretical Computer Science and General Issues, |
| International Standard Serial Number | 2512-2029 ; |
| Volume number/sequential designation | 5065 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 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 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. 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. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algorithms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algorithms. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Degano, Pierpaolo. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | de Nicola, Rocco. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Meseguer, José. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540686767 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540864387 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Theoretical Computer Science and General Issues, |
| -- | 2512-2029 ; |
| Volume number/sequential designation | 5065 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-540-68679-8">https://doi.org/10.1007/978-3-540-68679-8</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.