Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas.
Material type: TextSeries: Lecture Notes in Computer Science ; 3423Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: VIII, 280 p. online resourceContent type:- text
- computer
- online resource
- 9783540319597
- 005.1015113 23
- QA76.9.L63
- QA76.5913
- QA76.63
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
E-Book | Central Library | Available | E-42871 |
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.
There are no comments on this title.