{"entities":{"Q1085602":{"pageid":1096354,"ns":120,"title":"Item:Q1085602","lastrevid":66413757,"modified":"2026-04-12T09:55:17Z","type":"item","id":"Q1085602","labels":{"en":{"language":"en","value":"Order and metric in the stream semantics of elemental concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3982498"}},"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":"Q1085602$7B2ABAB8-072F-42E1-8DB4-65D972C5AE56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"719b536e44d6e9b62c0f793debe6b79c6fc40b68","datavalue":{"value":{"text":"Order and metric in the stream semantics of elemental concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085602$B90BBD60-9E55-4964-8346-C26CCA190528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02ac64b3d311cefe9172f20c9c4f6cdb04a4d108","datavalue":{"value":"0607.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$7FDCC31D-0BAF-421F-9C34-69DB96B848FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb206dbc28e3a1c08c8840be3b0d7712b88b9a5","datavalue":{"value":"10.1007/BF00263291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$D88BF0E4-0CB8-43CC-928A-A7894CB1EE17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085602$47083CC3-7147-4661-8688-17D0B9FB6F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085602$3AAA1113-796F-4269-80D8-108075C28D51","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":"Q1085602$6364FBE2-BD57-41C7-8EA6-A7FF2231F92D","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":"Q1085602$90BD6244-02E9-4957-A4AD-5D9F18F7E9DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f466773dbd4a5449c118009e96f094de20bed6c8","datavalue":{"value":"Two denotational semantics for a language with simple concurrency are presented. The language has parallel composition in the form of the shuffle operation, in addition to the usual sequential concepts including full recursion. Two linear time models, both involving sets of finite and infinite streams, are given. The first model is order-theoretic and based on the Smyth order. The second model employs complete metric spaces. Various technical results are obtained relating the order-theoretic and metric notions. The paper culminates in the proof that the two semantics for the language considered coincide. The paper completes previous investigations of the same language, establishing the equivalence of altogether four semantic models for it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$C666C640-BD75-4E8D-8077-CDC0E261D19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$8091E0E5-D82C-4ACC-B9B7-E72CEED81762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$4EB02AB6-FBF9-4A5E-9F15-0F80CCFA8F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$39E8D4A5-D7DD-4771-AE44-CBD952DFE128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c183bc9f39fae81ca08b4ed97d5cde918cdd859","datavalue":{"value":"3982498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$9C37FE94-AC4C-4552-9878-75252C6FB879","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$3A5E0AC6-F5D1-4F17-8924-9F3CF192AE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ece629b2368c3e0770ff9f2358b8f195337edb","datavalue":{"value":"shuffle operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$6F254B8C-C76C-49F2-BC24-6A1610F4B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$48603D37-B8A2-4850-893A-924124077A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb40fae6a07890874c95f221e73f406432e109c","datavalue":{"value":"linear time models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$E945A119-0557-486B-A580-63626ED5772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faabfb923dafe782fa8d103c273f74c164d8320d","datavalue":{"value":"finite and infinite streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$DB49AA13-51B8-47A0-BA2B-5827912D5849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e49c4684e7029ad0712f619057569a355b6cc7f","datavalue":{"value":"Smyth order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$826A10A5-980E-4A2E-8C4B-13C5E8AF3024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085602$11063BC7-6639-468D-A37C-9A41933F511A","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":"Q1085602$A6C2C24E-2225-448C-8FBD-CD9712E2E615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6d80214f021368b53e0a3cc43fa3d235fcfb334","datavalue":{"value":"https://doi.org/10.1007/bf00263291","type":"string"},"datatype":"url"},"type":"statement","id":"Q1085602$23F0CC4F-8D9C-48DD-9D2C-5D94C1B61629","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5d617300cb4ac13b4d30304b7f62e4dfcd7d1b8","datavalue":{"value":"W1972397223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085602$1327F28A-1715-41A8-9CF1-3C9F334760A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4749fdb10852b39ea478a4336a7d24f70e618c28","datavalue":{"value":{"entity-type":"item","numeric-id":3975030,"id":"Q3975030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327633de1f08cd5346ebd6dc49d0b9216a46c1f7","datavalue":{"value":{"amount":"+0.7985820770263672","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":"Q1085602$72137DEB-BD90-48F6-B40A-D0AA3914C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327633de1f08cd5346ebd6dc49d0b9216a46c1f7","datavalue":{"value":{"amount":"+0.7985820770263672","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":"Q1085602$1B0794DE-BDAE-4E82-B4C8-5914B21C5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eb2e0d997a29c3e2b0321012cef4c77a173a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3681902,"id":"Q3681902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589549630c71a6365845e24ea65fe02aeb93ce66","datavalue":{"value":{"amount":"+0.7904672622680664","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":"Q1085602$EA02EFAB-F4B2-44EE-B25E-B14E3F42A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedbd11fdecc661a34e338c1ffa88adccdae394f","datavalue":{"value":{"entity-type":"item","numeric-id":4733434,"id":"Q4733434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e158e264493108e927835bc5943364e9ca2bdf9a","datavalue":{"value":{"amount":"+0.7903263568878174","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":"Q1085602$183F98FF-407B-4B5B-B5AE-F674B461354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb51b95b566bf762ea1f9ce6eb5687562e672bc","datavalue":{"value":{"entity-type":"item","numeric-id":1113660,"id":"Q1113660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59d20db38bf19dce2c136e8e6771c6c9e4c7892","datavalue":{"value":{"amount":"+0.7868532538414001","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":"Q1085602$5370709B-EBC8-483A-979F-860C718C283B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order and metric in the stream semantics of elemental concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order_and_metric_in_the_stream_semantics_of_elemental_concurrency"}}}}}