Recent Trends in Algebraic Development Techniques  17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /  [electronic resource] : 
edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas. 
 - 1st ed. 2005. 
 - VIII, 280 p.  online resource. 
 - Theoretical Computer Science and General Issues,  3423  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  3423 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540319597 
<br/><br/><label>Standard No.: </label>10.1007/b107129  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Machine theory.<br/>Computer science--Mathematics.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Symbolic and Algebraic Manipulation.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1