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.

Edition:

1st ed. 2005.

Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Series:

Computer Science (Springer-11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 3423
Theoretical Computer Science and General Issues ; 3423

Format/Description:

Book
1 online resource (VIII, 280 pages)

Subjects:

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

Contents:

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.

Contributor:

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:

ISBN:

978-3-540-31959-7
9783540319597

Publisher Number:

10.1007/b107129 doi

Access Restriction:

Restricted for use by site license.

Loading...