03053nam 2200613 a 450 991048405410332120200520144314.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)99100000000021289120050211d2005 uy 0engurnn#008mamaatxtccrRecent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)1st ed. 2005.Berlin ;New York Springerc20051 online resource (VIII, 280 p.)Lecture notes in computer science,0302-9743 ;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.Lecture notes in computer science ;3423.WADT 2004Computer softwareDevelopmentCongressesComputer scienceMathematicsCongressesAbstract data types (Computer science)CongressesComputer softwareDevelopmentComputer scienceMathematicsAbstract data types (Computer science)005.1Fiadeiro Jose Luiz1961-1756321Mosses Peter49437Orejas F(Fernando)1756322MiAaPQMiAaPQMiAaPQBOOK9910484054103321Recent trends in algebraic development techniques4193551UNINA