03497nam 22007215 450 991048405410332120251226200424.0978354031959710.1007/b107129(CKB)1000000000212891(SSID)ssj0000319775(PQKBManifestationID)11255741(PQKBTitleCode)TC0000319775(PQKBWorkID)10338568(PQKB)11689991(DE-He213)978-3-540-31959-7(MiAaPQ)EBC3067862(PPN)123093260(EXLCZ)99100000000021289120100707d2005 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 280 p.)Theoretical Computer Science and General Issues,2512-2029 ;3423"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.3-540-31959-X 3-540-25327-0 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;3423Software engineeringComputer scienceMachine theoryComputer scienceMathematicsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationSoftware engineering.Computer science.Machine theory.Computer scienceMathematics.Software Engineering.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.005.1Fiadeiro José Luiz1961-0Mosses Peter49437Orejas F(Fernando)1756322MiAaPQMiAaPQMiAaPQBOOK9910484054103321Recent trends in algebraic development techniques4193551UNINA