{"entities":{"Q1111013":{"pageid":1121762,"ns":120,"title":"Item:Q1111013","lastrevid":49218544,"modified":"2026-01-06T19:08:47Z","type":"item","id":"Q1111013","labels":{"en":{"language":"en","value":"Partial ordering models for concurrency can be defined operationally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074467"}},"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":"Q1111013$691AE9D6-1404-4A5B-9E7D-92E234D4673B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fabbbf27a1ef500f709d95b55b4c64cf754bdc9","datavalue":{"value":{"text":"Partial ordering models for concurrency can be defined operationally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111013$EF94CD5D-6AA6-467E-9BA5-6AFB39468FCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e23ab5e52c7277cdb1c5e4ba40431cbecf4bbaf","datavalue":{"value":"0657.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111013$C8415E09-010E-4C1C-9077-0968753E1611","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2322cf03d9168d73b1708bf2bd26dd486e5465d","datavalue":{"value":"10.1007/BF01388999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111013$B155339A-42C2-4075-9B33-41CD79D5C51B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$6668FB76-2773-44F6-A2B3-9A18367348A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85db5103d9cb753c3a3ee1f5a95305f5454094f6","datavalue":{"value":{"entity-type":"item","numeric-id":912607,"id":"Q912607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$ACA38E14-7CC1-453B-A000-87331E6C0A85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$3F3CA7FE-DBE5-419F-8C1D-3261AE726BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1111013$E11BBE4F-6FA6-4FFB-BF98-E7DF0A12ABFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea0cda4d99c20e3465989085560c84eee84aa5f6","datavalue":{"value":"Labelled rewriting systems are shown to be powerful enough for defining the semantics of concurrent systems in terms of partial orderings of events, even in the presence of non standard operators like ``N'' that is not expressible by means of concurrency and sequentialization. This contrast with Pratt's claim [(*)\\ \\textit{V. Pratt}, ibid. 15, 33-71 (1986; Zbl 0622.68034)]. The main operators proposed by Pratt are used here to construct terms denoting concurrent systems, the behavior of which consists of partially ordered multisets defined operationally. Fully abstractness of the denotational semantics as defined in (*) with respect to the operational one is finally proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$D46F9414-DDED-457A-98FE-8CD6B545E09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111013$3F592195-30C8-462A-BF03-EE0439E20483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111013$4FD3BBEF-6CA2-45B2-BF52-16DBB2113E81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c0671f01b359fcde57e178975c76699a54fecdc","datavalue":{"value":"4074467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111013$87F9DF55-0FCB-4C03-BBCE-42213839F587","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$A4193407-041B-472D-804F-9059A81A985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e76e561a3b0c4270112f0f12f70da8f8c27984","datavalue":{"value":"pomsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$E5A6D724-1D76-48E3-B3E8-F16F35BBD51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$A13E98DC-013E-40B3-90B5-FF34E00D26FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"868cff5e8219e1ef3c695a2c88ac076d0320ec8a","datavalue":{"value":"Labelled rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$BEC22886-0ACA-4282-B702-FEEFB7F0FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c72ca9bcd8a9031817b613884dc17cca7a74f88","datavalue":{"value":"semantics of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$ACBCD027-82DA-4FF4-B59A-F6734C672DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8903d69058d47f6da3fac59740752a58e6df386e","datavalue":{"value":"partial orderings of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$90A60D7B-57A5-4F9F-979C-8001F8E3ED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1921f1db68ae72a9439c963a7bba057341664f","datavalue":{"value":"partially ordered multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$2CEC6873-8D36-4D3F-9C37-AE7651AE752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8b53d2961e814b061281b093f9666a54cd853","datavalue":{"value":"Fully abstractness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$45C1ED54-C52F-489F-9DE6-154854CC804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111013$2D43B5B9-1F5A-46A8-88E8-D215B9BD62CA","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":"Q1111013$FBC769BE-4654-43A5-8FFB-D83B4B379AE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$1870E75B-43B3-4A55-9C0B-4D8222800FEA","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":"Q1111013$39E3A421-4BEA-4394-A3E6-257FD7F5FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$6A69B8B7-9EBA-466C-B4DD-78AFF7A34E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$61BD4128-79DE-4288-98B6-ABFBF3FAAE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$70CDE091-98A2-42EF-893F-526AFA367DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$21E94473-DEFE-4C3C-9D60-928BCED7313D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$F5AE7C7C-9A09-4DB2-92F3-126ADC247F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$100FE140-6AA8-4655-BFD7-AB465CE73F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35a1a80c0da3d3f61672040176573b0342fc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3667927,"id":"Q3667927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$CB9C98C5-FA81-445F-8A6D-47669CB05F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$E83B50D9-BEED-4CD3-A74B-9C9775259AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$6D9B6CA6-0CFD-4CB4-ACB2-1FB40CAE5B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$07E0C828-02FB-4BAB-8453-6C0DAC926E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1b24a2ea95e6c2a531a0bda6d30d4354ad8943","datavalue":{"value":{"entity-type":"item","numeric-id":1145503,"id":"Q1145503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$06426AA3-00E4-4ECC-AA3C-18D3A76653AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$D653E858-D652-40ED-BC8B-7BF25FA51F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$72D7D765-76E3-4CFC-B35E-80605D27CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7468c4023394b3ea3c8450d2f7ae2e84e316c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3774958,"id":"Q3774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$CCB2B2B3-3356-4DB2-B0EA-C8F78E027A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$F912C2F5-A91C-42A7-BBE2-DEFEC52E304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdee236e5bc560533f60d3e26b033c21437edcb","datavalue":{"value":{"entity-type":"item","numeric-id":3821598,"id":"Q3821598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$DDDEC69F-7BEC-4761-91EA-8C43173E5D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111013$5F605F32-CFC4-4B91-A881-D0687154C15F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6242ae5ed15ef3b42c60538321c51cec42648ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aee1335416933d920064923d1dc043e18ffb296","datavalue":{"value":{"amount":"+0.7995015978813171","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":"Q1111013$6BAE176B-8656-4FA8-A3C7-4501E1252434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd0a14b00f11ab63578238fee8531fed41667d","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6814601917b1db5e50a0233ea116faa1e830e7","datavalue":{"value":{"amount":"+0.7972397804260254","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":"Q1111013$6F2B93FC-594A-4A85-A77C-4BD966CA3A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab2e7b91f423da0c288fc441bd5cc9c138549b8","datavalue":{"value":{"entity-type":"item","numeric-id":4733390,"id":"Q4733390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3eb3582426b477268cc9bfdcf30a0cdf160262","datavalue":{"value":{"amount":"+0.7744894623756409","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":"Q1111013$90773ADE-D07B-495E-AACE-6C2FA76EC321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6414ff45fa7f1796bf8e7c04ba7adcfbfe0395c2","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32ad073a3f46c641c3bdb46f0ce3a427c878f0","datavalue":{"value":{"amount":"+0.7742584943771362","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":"Q1111013$87208716-213D-42BF-B8A0-2C3A5BE39F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce92be93035b20b11dad4739de3cf56ec29fff86","datavalue":{"value":{"entity-type":"item","numeric-id":4270072,"id":"Q4270072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdef8fb61aa2d48058741acc88cc57e344f71ed","datavalue":{"value":{"amount":"+0.7722400426864624","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":"Q1111013$7E7DFB6E-C12B-4588-BFBD-93E3BCD48E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111013"}}}}}