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 Mosses, Fernando Orejas.

1st ed. 2005.
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Computer Science (Springer-11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 3423
Theoretical Computer Science and General Issues ; 3423
1 online resource (VIII, 280 pages)
Software engineering.
Computer logic.
Logic, Symbolic and mathematical.
Computer science-Mathematics.
Local subjects:
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
System Details:
text file PDF
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.
Fiadeiro, José Luiz. editor., Editor,
Mosses, Peter, editor., Editor,
Orejas, F. (Fernando), editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/b107129 doi
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy