Franklin

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...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy