{"entities":{"Q1095640":{"pageid":1106392,"ns":120,"title":"Item:Q1095640","lastrevid":69826752,"modified":"2026-04-13T10:36:45Z","type":"item","id":"Q1095640","labels":{"en":{"language":"en","value":"Nondeterministic data flow programs: How to avoid the merge anomaly"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028872"}},"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":"Q1095640$2DA5A8FE-5422-4291-9058-17D8EE7426A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff65fc8534e4232d82bb48888f290bc703251047","datavalue":{"value":{"text":"Nondeterministic data flow programs: How to avoid the merge anomaly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095640$1B833460-E993-4552-8AA3-312BB97F45FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b714188e4d324159889066b82656d59ca40fb991","datavalue":{"value":"0632.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$A64F3A99-B2CC-4BE5-B7B2-B56A8157AB19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"592e76e9353e947d2309a0e04208d65a529b63c2","datavalue":{"value":"10.1016/0167-6423(88)90016-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$3381F0B8-4293-4822-B8AD-56890DF30A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095640$EFC727BD-9934-4A3B-A969-D68219D16511","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095640$74CAE95D-9762-40D7-93B1-BBCEBC3DC786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095640$9DF66399-AC64-4FA4-95C0-69DF0DE4CF73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4eeef562378aa153a70838b1d26b6aefcbdf02d2","datavalue":{"value":"A simple programming language for the description of networks of loosely coupled, communicating, nondeterministic agents is introduced. Two possible graphical interpretations are discussed: finite cyclic and infinite acyclic, tree-like graphs. Operational semantics for such graphs is defined by computation sequences. The merge anomaly is described, analyzed and explained. Two fixed-point semantics are defined in a denotational style, one that avoids the merge anomaly, and another one that includes the merge anomaly, and they are proved to be consistent with the respective operational definitions. Both definitions are compared and analyzed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$2788B084-4055-4A45-AB83-62A19FF897CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$35C33960-D976-4BF2-8450-EC9BA75E334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$7A7C6C57-B103-4161-82FC-D53A2086AADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ad6fda09c7c3be1907ef49f3c4ff8f94ac3161","datavalue":{"value":"4028872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$2D9B7065-C5A6-4BC9-92B5-9B195878D4D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756c28e28b23aec5a7ce0a43fef9efbbcd559551","datavalue":{"value":"programming language for the description of networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$51806CF6-FB6B-4DF1-952A-F44D36E46745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a2556bd155d391c679f4985b5efe2b8ef37818","datavalue":{"value":"nondeterministic agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$C40CF16A-B2D4-40BE-8246-26C37E6EE53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f789a91a98ca1a0918a647ed89f302e495b39c6","datavalue":{"value":"tree-like graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$928888D5-9E18-4A35-958F-2192F249E232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e58670a309075c0628bd32b252a3d4f2c30abc0","datavalue":{"value":"Operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$5534547D-0F89-46F6-80BA-D406DBA03F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e08e1a198b485e79343e2ab93cca3e620e696a58","datavalue":{"value":"computation sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$EAB83C79-D46B-4DE0-8FCB-4C03467D240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095640$E954BF7B-0278-4CF3-BD54-8C4DF9B59134","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":"Q1095640$D46F2315-5633-428D-877B-F043F98E71B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e51f43d310ab6eba332a0e527ec39cd535c204c5","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90016-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095640$CAEC6AE0-340A-4D2F-9D89-0EB58CA9255E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a74133ab965f27200cb6584e09a8f7b78687abac","datavalue":{"value":"W2030755010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095640$CD5A9815-DEA1-4FAF-917F-50AB90215150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481153f852b8de10d9608ade2a2b7328d2697f4e","datavalue":{"value":{"entity-type":"item","numeric-id":3766815,"id":"Q3766815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d779bfe547ff1b524829178d9803a4d315a142","datavalue":{"value":{"amount":"+0.8001943230628967","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":"Q1095640$982310CE-EE07-4D6A-98C4-790666F2E1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a24f211532e4c7ba31071c76152deec1b574c51","datavalue":{"value":{"entity-type":"item","numeric-id":1090105,"id":"Q1090105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fff72b7648d2cf720fbf31dc2b830b7db79b58a","datavalue":{"value":{"amount":"+0.7746894359588623","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":"Q1095640$A65A1396-4087-4944-9819-0D34C127076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed33502b58719cd56aff938d3e7bd450a7e1bda6","datavalue":{"value":{"entity-type":"item","numeric-id":5505594,"id":"Q5505594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdde44c621cdc1930d72349d3e8834064d213b23","datavalue":{"value":{"amount":"+0.7568055391311646","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":"Q1095640$39816BEF-D96E-45E0-BE10-E060B982ADA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08f57c869f9a3ff3aafe59cbc0f406e02f41782","datavalue":{"value":{"entity-type":"item","numeric-id":3713578,"id":"Q3713578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dad1e4be8a808c4436f7588b653d1105a8a093b","datavalue":{"value":{"amount":"+0.7283969521522522","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":"Q1095640$1E6B1C36-3DAA-455B-B14D-9BEC5AB17FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7c0a268193c38522f67d265739a1d7b1ad8433","datavalue":{"value":{"entity-type":"item","numeric-id":1183593,"id":"Q1183593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9bf6b6833e515e8213b66ed30ae5964e2ffb34","datavalue":{"value":{"amount":"+0.7259737849235535","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":"Q1095640$FEBB4120-8C45-4CE2-8E9B-49AA706D851A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095640$0B71818C-04BA-4D44-832A-17DF4F37E850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic data flow programs: How to avoid the merge anomaly","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_data_flow_programs:_How_to_avoid_the_merge_anomaly"}}}}}