The Resource Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)
Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)
Resource Information
The item Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations
- Language
- eng
- Extent
- 1 online resource (viii, 341 pages)
- Contents
-
- Invited Talks
- Concurrent Abstract State Machines and?+? CAL Programs
- Molecules as Automata
- Service-Level Agreements for Service-Oriented Computing
- Contributed Papers
- Tiles for Reo
- C-semiring Frameworks for Minimum Spanning Tree Problems
- What Is a Multi-modeling Language?
- Generalized Theoroidal Institution Comorphisms
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
- A Rewriting Logic Approach to Type Inference
- A Term-Graph Syntax for Algebras over Multisets
- Transformations of Conditional Rewrite Systems Revisited
- Towards a Module System for K
- Property Preserving Refinement for Csp-Casl
- Reconfiguring Distributed Reo Connectors
- A Rewrite Approach for Pattern Containment
- A Coalgebraic Characterization of Behaviours in the Linear Time
- Branching Time Spectrum
- Heterogeneous Logical Environments for Distributed Specifications
- Term-Generic Logic
- Declarative Debugging of Rewriting Logic Specifications
- Translating a Dependently-Typed Logic to First-Order Logic
- Isbn
- 9783642034299
- Label
- Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008
- Title
- Recent trends in algebraic development techniques
- Title remainder
- 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008
- Statement of responsibility
- Andrea Corradini, Ugo Montanari (ed.)
- Title variation
- WADT 2008
- Subject
-
- Computer Systems
- Computer science -- Mathematics
- Computer science -- Mathematics
- Computer science -- Mathematics -- Congresses
- Computer software -- Development
- Computer software -- Development
- Computer software -- Development -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Congress
- Formale Spezifikationstechnik
- Informatique
- Mathematical Computing
- Software -- trends
- Algebraische Spezifikation
- Language
- eng
- Summary
- This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations
- Cataloging source
- GW5XE
- Dewey number
- 005.1
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.76.D47
- LC item number
- W338 2009
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2008
- http://bibfra.me/vocab/lite/meetingName
- WADT 2008
- Nature of contents
-
- dictionaries
- bibliography
- NLM call number
- QA 76.76.D47
- http://library.link/vocab/relatedWorkOrContributorDate
- 1960-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Corradini, Andrea
- Montanari, U.
- Series statement
- Lecture notes in computer science
- Series volume
- v. 5486
- http://library.link/vocab/subjectName
-
- Computer software
- Computer science
- Software
- Computer Systems
- Mathematical Computing
- Informatique
- Computer science
- Computer software
- Algebraische Spezifikation
- Formale Spezifikationstechnik
- Label
- Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Concurrent Abstract State Machines and?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic
- Control code
- 489215732
- Dimensions
- unknown
- Extent
- 1 online resource (viii, 341 pages)
- Form of item
- online
- Isbn
- 9783642034299
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-03429-9.
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-642-03428-2
- Specific material designation
- remote
- System control number
- (OCoLC)489215732
- Label
- Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Concurrent Abstract State Machines and?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic
- Control code
- 489215732
- Dimensions
- unknown
- Extent
- 1 online resource (viii, 341 pages)
- Form of item
- online
- Isbn
- 9783642034299
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-642-03429-9.
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-642-03428-2
- Specific material designation
- remote
- System control number
- (OCoLC)489215732
Subject
- Computer Systems
- Computer science -- Mathematics
- Computer science -- Mathematics
- Computer science -- Mathematics -- Congresses
- Computer software -- Development
- Computer software -- Development
- Computer software -- Development -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Congress
- Formale Spezifikationstechnik
- Informatique
- Mathematical Computing
- Software -- trends
- Algebraische Spezifikation
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Recent-trends-in-algebraic-development-techniques/OV8gEl9mFXM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Recent-trends-in-algebraic-development-techniques/OV8gEl9mFXM/">Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Recent-trends-in-algebraic-development-techniques/OV8gEl9mFXM/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Recent-trends-in-algebraic-development-techniques/OV8gEl9mFXM/">Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008, Andrea Corradini, Ugo Montanari (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>