default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17. WADT 2004: Barcelona, Catalonia, Spain
- José Luiz Fiadeiro, Peter D. Mosses
, Fernando Orejas:
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, ISBN 3-540-25327-0
Invited Technical Paper
- Reiko Heckel, Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. 1-27
Contributed Papers
- Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello:
Modelling Mobility with Petri Hypernets. 28-44 - Carlos Caleiro, Jaime Ramos:
Cryptomorphisms at Work. 45-60 - Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. 61-78 - Antónia Lopes, José Luiz Fiadeiro:
Algebraic Semantics of Design Abstractions for Context-Awareness. 79-93 - Christoph Lüth, Markus Roggenbach, Lutz Schröder:
CCC - The Casl Consistency Checker. 94-105 - Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl. 106-125 - Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. 126-143 - Michal Misiak:
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. 144-161 - Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
A Simple Refinement Language for Casl. 162-185 - Nikos Mylonakis, Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus. 186-200 - Arnd Poetzsch-Heffter, Nicole Rauch:
Application and Formal Specification of Sorted Term-Position Algebras. 201-217 - Grigore Rosu:
From Conditional to Unconditional Rewriting. 218-233 - Lutz Schröder, Till Mossakowski, Christoph Lüth:
Type Class Polymorphism in an Institutional Framework. 234-251 - Artur Zawlocki:
Architectural Specifications for Reactive Systems. 252-269
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
