Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers. (Q2388715)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers. |
scientific article |
Statements
Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers. (English)
0 references
20 September 2005
0 references
The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1028.00034). Indexed articles: \textit{Heckel, Reiko; Thöne, Sebastian}, Behavior-preserving refinement relations between dynamic software architectures, 1-27 [Zbl 1118.68439] \textit{Bednarczyk, Marek A.; Bernardinello, Luca; Pawłowski, Wiesław; Pomello, Lucia}, Modelling mobility with Petri hypernets, 28-44 [Zbl 1118.68567] \textit{Caleiro, Carlos; Ramos, Jaime}, Cryptomorphisms at work, 45-60 [Zbl 1119.03072] \textit{Gimblett, Andy; Roggenbach, Markus; Schlingloff, Bernd-Holger}, Towards a formal specification of an electronic payment system in CSP-CASL, 61-78 [Zbl 1118.68546] \textit{Lopes, Antónia; Fiadeiro, José Luiz}, Algebraic semantics of design abstractions for context-awareness, 79-93 [Zbl 1118.68557] \textit{Lüth, Christoph; Roggenbach, Markus; Schröder, Lutz}, CCC -- the Casl consistency checker, 94-105 [Zbl 1118.68558] \textit{Lüttich, Klaus; Mossakowski, Till; Krieg-Brückner, Bernd}, Ontologies for the semantic web in Casl, 106-125 [Zbl 1118.68559] \textit{Martí-Oliet, Narciso; Meseguer, José; Palomino, Miguel}, Theoroidal maps as algebraic simulations, 126-143 [Zbl 1119.68129] \textit{Misiak, Michał}, Behavioural semantics of algebraic specifications in arbitrary logical systems, 144-161 [Zbl 1119.68118] \textit{Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej}, A simple refinement language for Casl, 162-185 [Zbl 1118.68560] \textit{Mylonakis, Nikos; Orejas, Fernando}, A distributed and mobile component system based on the ambient calculus, 186-200 [Zbl 1118.68573] \textit{Poetzsch-Heffter, Arnd; Rauch, Nicole}, Application and formal specification of sorted term-position algebras, 201-217 [Zbl 1118.68561] \textit{Roşu, Grigore}, From conditional to unconditional rewriting, 218-233 [Zbl 1118.68514] \textit{Schröder, Lutz; Mossakowski, Till; Lüth, Christoph}, Type class polymorphism in an institutional framework, 234-251 [Zbl 1118.68562] \textit{Zawłocki, Artur}, Architectural specifications for reactive systems, 252-269 [Zbl 1118.68563]
0 references
