{"entities":{"Q1416851":{"pageid":1427591,"ns":120,"title":"Item:Q1416851","lastrevid":67395801,"modified":"2026-04-12T17:20:34Z","type":"item","id":"Q1416851","labels":{"en":{"language":"en","value":"Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2018453"}},"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":"Q1416851$CF647B8A-F462-4128-AD1B-D59BBF9C4CC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4bbc6baaf2dc4237c0357a14ac8cea5a3f9827","datavalue":{"value":{"text":"Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1416851$543F4310-3CCF-4F2C-9083-7B72BBB680E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ddfa6b5504cec28199d6991c821e09f585b54ca","datavalue":{"value":"1028.00034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$2158F627-ED5B-49F4-901B-66798238622F","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":"Q1416851$0ACEC486-C8D0-465E-AABF-1DFBC5E550D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a15526a466ac56a4cd2e715a1209b7ff01addaf6","datavalue":{"value":{"time":"+2003-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1416851$D98E380C-F883-45EF-8967-98D72662B379","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6beb20ddef75369f0498a6ddcf593e5a4b8839a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2755.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1416851$C5E6D3CD-1DB4-4613-9573-F9D30EA270E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0e4ce8ad9867b676d1145d735fc930f1fda8a2a","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0984.00054).  Indexed articles:  \\textit{Arbab, F.; Rutten, J. J. M. M.}, A coinductive calculus of component connectors., 34-55 [Zbl 1278.68200]  \\textit{Aspinall, David}, Type checking parametrised programs and specifications in \\(\\text{ASL}+_{\\text{FPC}}\\)., 129-144 [Zbl 1278.68201]  \\textit{Baldan, Paolo; Bruni, Roberto; Montanari, Ugo}, Pre-nets, read ARCS and unfolding: A functorial presentation., 145-164 [Zbl 1278.68210]  \\textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila}, Coreflective concurrent semantics for single-pushout graph grammars., 165-184 [Zbl 1278.68117]  \\textit{Caleiro, C.; Gouveia, P.; Ramos, J.}, Completeness results for fibred parchments. Beyond the propositional base, 185-200 [Zbl 1278.03094]  \\textit{Goguen, Joseph A.; Lin, Kai; Ro\u015fu, Grigore}, Conditional circular coinductive rewriting with case analysis., 216-232 [Zbl 1278.68121]  \\textit{Hoffman, Piotr}, Verifying generative Casl architectural specifications., 233-252 [Zbl 1278.68204]  \\textit{Hoffmann, Kathrin; Mossakowski, Till}, Algebraic higher-order nets: graphs and Petri nets as tokens., 253-267 [Zbl 1278.68215]  \\textit{Hughes, Jesse; Warnier, Martijn}, The coinductive approach to verifying cryptographic protocols., 268-283 [Zbl 1278.94052]  \\textit{Katsumata, Shin-ya}, Behavioural equivalence and indistinguishability in higher-order typed languages., 284-298 [Zbl 1278.68205]  \\textit{Kreowski, Hans-J\u00f6rg; Kuske, Sabine}, Approach-independent structuring concepts for rule-based systems., 299-311 [Zbl 1278.68122]  \\textit{Kurz, Alexander}, Notions of behaviour and reachable-part and their institutions., 312-327 [Zbl 1278.68206]  \\textit{Lamo, Yngve; Walicki, Micha\u0142}, Combining specification formalisms in the `general logic' of multialgebras., 328-342 [Zbl 1278.68207]  \\textit{Mossakowski, Till}, Foundations of heterogeneous specification., 359-375 [Zbl 1278.68208]  \\textit{Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schr\u00f6der, Lutz}, Algebraic-coalgebraic specification in CoCasl., 376-392 [Zbl 1278.68209]  \\textit{Pattinson, Dirk}, Translating logics for coalgebras., 393-408 [Zbl 1278.03095]  \\textit{Paw\u0142owski, Wies\u0142aw}, Presenting and combining inference systems. Presentations with inference rules, 409-424 [Zbl 1278.03096]  \\textit{Schr\u00f6der, Lutz; Mossakowski, Till}, Monad-independent dynamic logic in HasCasl., 425-441 [Zbl 1278.68061]  \\textit{Urb\u00e1\u0161ek, Milan}, Preserving properties in system redesign: rule-based approach., 442-456 [Zbl 1278.68225]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416851$9A8416FD-8263-4D00-B821-74F1071F978B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$E8CAF701-8780-4A67-AD1A-22E75968978B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$642A5318-E514-4352-921A-3919C85C9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$7B8F7A73-E5D2-4623-AD99-B3E86CDC8773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$6FFBEBC9-35BC-4154-91E2-6D91B9575244","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d7eee3e6dd7753dc515fe6293e3d9cd590b716a","datavalue":{"value":"2018453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$38B9DA1F-A55D-4296-ACC4-6D36C751507B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687e0e13b8eb8b62b626f40fbf4af0227742b252","datavalue":{"value":"Algebraic development techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416851$941C9DBC-8E79-4551-AED7-3059882326D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabc0380afb1b05ec67dbee4adc07c48fb303f21","datavalue":{"value":"WADT 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416851$A285099E-071A-4423-9DFD-443A886BBF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d854f787c6a0af93681e2d215ecced355c123bf","datavalue":{"value":"Frauenchiemsee (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416851$187175A7-60EF-4659-86F6-682A7A6A7A2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416851$F4F4624F-4472-4823-BB8D-6106CD741268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416851$D6FBB2F6-3922-47EB-A738-5D2530A1F731","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":"Q1416851$C6D9E5D2-9C1F-4857-90EB-A65E962F3152","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d0bb8c5b81890440827133d5ba8a252477cc649","datavalue":{"value":"W2599151985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$4F390B72-4835-4F25-9D7E-B981394278D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef97863257cea3b79f3173be22e4b35351bde00b","datavalue":{"value":"10.1007/B94458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416851$5F8A6852-C931-4552-807B-829DAF7F8A02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recent_trends_in_algebraic_development_techniques._16th_international_workshop,_WADT_2002,_Frauenchiemsee,_Germany,_September_24--27,_2002._Revised_selected_papers"}}}}}