{"entities":{"Q1342503":{"pageid":1353242,"ns":120,"title":"Item:Q1342503","lastrevid":67192635,"modified":"2026-04-12T15:57:24Z","type":"item","id":"Q1342503","labels":{"en":{"language":"en","value":"Comparing locality and causality based equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 710530"}},"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":"Q1342503$8BCA74E9-421E-4C95-BB5A-696AD478294F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1405f6c50c151f0b771f88aba793e10b8cf7139d","datavalue":{"value":{"text":"Comparing locality and causality based equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1342503$4E465B0C-9D82-4429-9EBE-D731E76FDEA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebc160229fee21dcef3b02696f88fa46708b570a","datavalue":{"value":"0834.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342503$57AA2F00-4645-4FBE-82C4-859C69187804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50748217f9a46633a9cbeac6423cd867dbe16c34","datavalue":{"value":"10.1007/BF01178730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342503$C4208ED6-56A3-4C5E-8D6F-C87555FB5D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$36EF65D9-FC84-4EBC-B73A-F6CDC55FEF84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$2147E94B-5B40-48D6-AC8F-9207A53C8E1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e062a118b22caaee58210a4b88012aa62bef9718","datavalue":{"value":{"time":"+1995-02-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":"Q1342503$1D73C0D2-4A96-4CAD-9EC5-4EA9D75DBCC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea4be34bcd7832238b41c6ea99f8e89a835b567a","datavalue":{"value":"For Milner's CCS several noninterleaving semantics have been proposed among which causal bisimulations [\\textit{P. Darondeau} and \\textit{P. Degano}, Lect. Notes Comput. Sci. 452, 239-245 (1990; Zbl 0733.68027)] and location equivalence [\\textit{G. Boudol}, \\textit{I. Castellani}, \\textit{M. Hennessy} and \\textit{A. Kiehn}, Theor. Comput. Sci. 114, No. 1, 31-61 (1993; Zbl 0783.68072)] play a central role. To unify these two approaches this paper introduces a new transition system based on local and global causes. Bisimulation equivalence is parameterized by a function \\(f\\) which evaluates the information on causes provided by the transitions. Appropriate instantiations of \\(f\\) yield characterizations of causal bisimulations and location equivalence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342503$EAE83C70-4197-48B6-8C9F-5CB3B6021950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342503$C554E417-8636-4CE4-8C8B-BB7ADB1957D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1feaca72a4288a45a99cbad4e54cc60340b5ad2","datavalue":{"value":"710530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342503$59471867-0A1E-4D6A-A400-7EC9A6CAF0A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bdce5d56df85d2f98b468a4e596f40dce6733c9","datavalue":{"value":"noninterleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342503$F8C01D29-A1C3-45DC-8F36-C4D4E36DA16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"623deff90492729fce9631a4297b474e5c62170e","datavalue":{"value":"causal bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1342503$3ED215A1-DB96-43C6-957B-C905C34C2065","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":"Q1342503$7CE1D7B9-DB05-4CBE-9013-0BC449FB5B8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd46d5321a7520f52ba903b91e708fdb23bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1329199,"id":"Q1329199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$42E144C0-B3F4-45E7-8F59-C613E550D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529a94b166b6a1f460cb2dea7df802b6148b50cf","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$2D79E689-D081-487F-9CD2-1B18D9B4A436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$10AB4295-61B3-4B4C-A6F0-C78EA95AFF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$69C2E0BA-0403-4D06-8085-B4A7B7EA2120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$70B90B68-24A8-43D0-BEC9-1BC5DBE56017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1594bb41568b0def10575cc37cc2628a73c031ad","datavalue":{"value":{"entity-type":"item","numeric-id":3817586,"id":"Q3817586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$62452BF4-78AC-4D82-A3CB-E6D8450F23DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545a5b49db03c684b89c3a6924f7bd6ad075e285","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$5ADD63BA-0337-47CE-95B6-43CD7F841485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$24062236-9620-43CB-969C-CCA47CB02C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$388650BE-3928-430C-8180-8702CFF324F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363ff06b747cc0d1f525d4ca72a6cf12fb4d0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1083212,"id":"Q1083212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342503$B4E553F3-50B0-49F8-B6CD-38B8855BB3C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef43e9393288b3700fdff725683b45973718815e","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8dc66a5fc1add6ccc4f3adf6b2a4b1426ba945","datavalue":{"value":{"amount":"+0.7820698022842407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342503$7725CF8E-92AA-4DE0-8E86-8E7661405445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04257765a11fa1e86db36af3dfbdcf03cf9b2c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5204352,"id":"Q5204352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8dc66a5fc1add6ccc4f3adf6b2a4b1426ba945","datavalue":{"value":{"amount":"+0.7820698022842407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342503$FA3EC93F-5E16-484D-9C1D-99241CBF6976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c144baa290af9629bac6d7b95d806e442834d6","datavalue":{"value":{"amount":"+0.7756496667861938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342503$710C3A82-44E3-4968-9742-722E87B2C821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8d24f38299191e5bfec6a64c23c58e9f1031c","datavalue":{"value":{"entity-type":"item","numeric-id":1606128,"id":"Q1606128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6895c4003a016f7da870a8e7456e12d07f33f48d","datavalue":{"value":{"amount":"+0.7729396820068359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342503$54F95137-7F5A-4E77-B272-A34D678CD722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2fc4e23a1773d296e71c895ec138eec73e50676","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb1de36674393db412a2487f9fcba746cd0dc8f","datavalue":{"value":{"amount":"+0.7657188177108765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1342503$7231B9A0-EDD4-4B69-9DC1-9444DBABABC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing locality and causality based equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_locality_and_causality_based_equivalences"}}}}}