{"entities":{"Q2388715":{"pageid":2399458,"ns":120,"title":"Item:Q2388715","lastrevid":43990278,"modified":"2025-11-18T19:39:28Z","type":"item","id":"Q2388715","labels":{"en":{"language":"en","value":"Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2206376"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388715$11F2F753-DFCB-4E6D-BDE2-788B3F29A41F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9538405844c7a83adc44ec4fe54e96bee7a8166a","datavalue":{"value":{"text":"Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27--29, 2004. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388715$96505676-31E9-42DA-B8C0-A159D01F3E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b41c00047ca120f7b0d4c584418bccad99d53b3","datavalue":{"value":"1069.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$B263FA3D-FDD2-4069-B2CF-14C39F855F38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388715$535974D1-3530-408B-8AE0-FA0AEC53D65F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eee5710b759ff4703b3f2a7e8853f7df5bb18070","datavalue":{"value":{"time":"+2005-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388715$75D1F60F-6E63-43AE-8A63-38211289B387","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a8562261194ace3ba88b9e8426cfc7bc736c467","datavalue":{"value":"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\u00f6ne, Sebastian}, Behavior-preserving refinement relations between dynamic software architectures, 1-27 [Zbl 1118.68439]  \\textit{Bednarczyk, Marek A.; Bernardinello, Luca; Paw\u0142owski, Wies\u0142aw; 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\u00f3nia; Fiadeiro, Jos\u00e9 Luiz}, Algebraic semantics of design abstractions for context-awareness, 79-93 [Zbl 1118.68557]  \\textit{L\u00fcth, Christoph; Roggenbach, Markus; Schr\u00f6der, Lutz}, CCC -- the Casl consistency checker, 94-105 [Zbl 1118.68558]  \\textit{L\u00fcttich, Klaus; Mossakowski, Till; Krieg-Br\u00fcckner, Bernd}, Ontologies for the semantic web in Casl, 106-125 [Zbl 1118.68559]  \\textit{Mart\u00ed-Oliet, Narciso; Meseguer, Jos\u00e9; Palomino, Miguel}, Theoroidal maps as algebraic simulations, 126-143 [Zbl 1119.68129]  \\textit{Misiak, Micha\u0142}, 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\u015fu, Grigore}, From conditional to unconditional rewriting, 218-233 [Zbl 1118.68514]  \\textit{Schr\u00f6der, Lutz; Mossakowski, Till; L\u00fcth, Christoph}, Type class polymorphism in an institutional framework, 234-251 [Zbl 1118.68562]  \\textit{Zaw\u0142ocki, Artur}, Architectural specifications for reactive systems, 252-269 [Zbl 1118.68563]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388715$E7AE802D-9735-48D6-A6B7-3695BED1863B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$B8D8CF56-DCCA-4B12-AF01-EACB7F86D488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$08322E65-58FC-4EC7-9758-77B045290FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$068678E2-E24E-4348-96D2-9B5EA4C04429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$3FD5A016-C493-4F37-BB63-D34A142CADC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc0afbc8277b47f39cfae389f8ed9202cba3bb2","datavalue":{"value":"2206376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$9FB80801-89C5-4E38-A928-A65B195A07B4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388715$EE509385-1BD5-4D1D-87A8-28D64D8157A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054b8b5c4089473712694165734955e285544c1f","datavalue":{"value":"https://doi.org/10.1007/b107129","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388715$F3572ADD-8F95-4BA2-97B1-D1BE51EB7A7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac86ab70770efc6c6969238623cbe4b8d1371537","datavalue":{"value":"W4300641577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$C428F3CC-75D3-4798-AFB5-2EF88EF36E13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea79622a3ada45cc91977c8543498d9562271bf7","datavalue":{"value":"10.1007/B107129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388715$E4EB4E49-EE46-45D0-86F4-26E9C999AB96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388715","badges":[]}}}}}