{"entities":{"Q604197":{"pageid":605973,"ns":120,"title":"Item:Q604197","lastrevid":42599859,"modified":"2025-07-04T12:36:31Z","type":"item","id":"Q604197","labels":{"en":{"language":"en","value":"Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814035"}},"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":"Q604197$5D4B1B83-BE37-4933-A400-651AF925F098","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f2ac8522111a0d77d74244b4a301944f19408a","datavalue":{"value":{"text":"Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15--16, 2010. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604197$ADB031E2-1AC9-46EF-A24B-827110C2A0DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28be9264cd340f8b19e35caccbad1f2d8562ea5a","datavalue":{"value":"1200.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$AEF77D7E-AFF3-4768-93B7-463F3394CB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12aa99585e4245956e3193ab88aad09b22b0cc20","datavalue":{"value":"10.1007/978-3-642-16690-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$F8DA35EF-56A3-4BE0-ADBF-E3D279F6DBCF","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":"Q604197$AEB54C68-D796-4747-988C-39B3A249953E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb643977987b416fd9b27db151f69ce02967bfa","datavalue":{"value":{"time":"+2010-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q604197$E9A3F7BB-AA71-4C11-99A3-D27A9DD55C19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6f100f322c099f995df12f8414d1627b7717907","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1194.68017).  Indexed articles:  \\textit{Cavalcanti, Ana; Gaudel, Marie-Claude}, Specification coverage for testing in Circus, 1-45 [Zbl 1309.68040]  \\textit{Chen, Yifeng; Sanders, Jeff W.}, UTP and sustainability, 46-73 [Zbl 1309.68043]  \\textit{Jifeng, He}, A probabilistic BPEL-like language, 74-100 [Zbl 1309.68049]  \\textit{Banks, Michael J.; Jacob, Jeremy L.}, On modelling user observations in the UTP, 101-119 [Zbl 1309.68036]  \\textit{Banks, Michael J.; Jacob, Jeremy L.}, Unifying theories of confidentiality, 120-136 [Zbl 1309.68037]  \\textit{Butterfield, Andrew}, Saoith\u00edn: a theorem prover for UTP, 137-156 [Zbl 1309.68039]  \\textit{Chen, Xin; Ye, Nan; Ding, Wenxu}, A formal approach to analyzing interference problems in aspect-oriented designs, 157-171 [Zbl 1309.68041]  \\textit{Chen, Yifeng}, Programmable verifiers in imperative programming, 172-187 [Zbl 1309.68042]  \\textit{Feliachi, Abderrahmane; Gaudel, Marie-Claude; Wolff, Burkhart}, Unifying theories in Isabelle/HOL, 188-206 [Zbl 1309.68045]  \\textit{Guttmann, Walter}, Unifying recursion in partial, total and general correctness, 207-225 [Zbl 1309.68046]  \\textit{Huizing, Cornelis; Kuiper, Ruurd; Verhoeff, Tom}, Halting still standing -- programs versus specifications, 226-233 [Zbl 1309.68048]  \\textit{Li, Qin; Zhao, Yongxin; Wu, Xiaofeng; Liu, Si}, Promoting models, 234-252 [Zbl 1309.68050]  \\textit{Stoddart, Bill; Bell, Pete}, Probabilistic choice, reversibility, loops, and miracles, 253-270 [Zbl 1309.68053]  \\textit{Zhao, Yongxin; Wang, Xu; Zhu, Huibiao}, Towards a pomset semantics for a shared-variable parallel language, 271-285 [Zbl 1309.68054]  \\textit{Zhu, Huibiao; Yang, Fan; He, Jifeng}, Generating denotational semantics from algebraic semantics for event-driven system-level language, 286-308 [Zbl 1309.68025]","type":"string"},"datatype":"string"},"type":"statement","id":"Q604197$26A31C18-3AC7-490C-91D1-A83391139ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$01491A23-70D1-4A29-9899-7443065A3533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$231AE722-43B2-4E58-B3B0-9285F3E341A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$054B0ED4-547E-4680-B7C8-0A59FD78E654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f2df61f31c161e54e26e66aba81dd29af170c3b","datavalue":{"value":"5814035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$7B0C5316-D196-4398-AD25-E55114FE52F3","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":"Q604197$370C36FE-2FDA-4351-8A8B-75F6819AFA24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70073801e9c404786de812dc6dda3b591803dd1a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16690-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q604197$601A7AF5-FE87-4C63-A172-69CD8C5A18EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7efcf77576f5f51e851addb9f706bfa298e90648","datavalue":{"value":"W1666174841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604197$D8E231B1-11C2-4195-98A8-447B2F11D906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:604197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:604197"}}}}}