{"entities":{"Q1183593":{"pageid":1194342,"ns":120,"title":"Item:Q1183593","lastrevid":70204995,"modified":"2026-04-13T13:09:12Z","type":"item","id":"Q1183593","labels":{"en":{"language":"en","value":"An extensional fixed-point semantics for nondeterministic data flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33410"}},"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":"Q1183593$F2919466-38DB-4132-B0B6-735E122367C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136a59560494e412a631413f8fc25691225a5b70","datavalue":{"value":{"text":"An extensional fixed-point semantics for nondeterministic data flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183593$86AD3401-84C0-4C19-B925-E1A1DE6908D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25bde85e2fffdc3756affaffaf9e6c8464ad28de","datavalue":{"value":"0753.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183593$0D52E618-8682-4B15-AE5B-69A5F05218F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e848e150323cebc33e9575b325310f4bb529d6a","datavalue":{"value":"10.1016/0304-3975(91)90082-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183593$E2B3DDBE-8EA4-4C17-9156-EF0DF8BEFBCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e07ba2769a297a546bacc47a104c6cc0184126d","datavalue":{"value":{"entity-type":"item","numeric-id":1183592,"id":"Q1183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$A54D8BA4-3AF0-4232-83C9-4DE84F5C38EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aab6dedcb6e4efb99030d8bd26448927a29ad86","datavalue":{"value":{"entity-type":"item","numeric-id":911772,"id":"Q911772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$CC1F1583-0B09-4D20-B25F-4678B1D3FDA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$2980ABF2-502F-411E-898C-E5661DF4D65E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183593$C21EB5E4-7F5E-432F-A87C-70092DD40719","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"084cf584f2a9a8a181c51fab670883ed138b206d","datavalue":{"value":"The first part of the paper is devoted to the deterministic case: basic domains, deterministic processes, operators used to model networks and a behaviour equivalence relation over deterministic processes are defined. The behaviour equivalence is shown to be preserved under the network construction.   In section 6 a translation from the nondeterministic level to the deterministic one is defined and the associativity of a nondeterministic network construction is proved. Further it is shown that the modelling is extensional: if nondeterministic processes \\(P_ 1,P_ 2\\) exhibit the same nondeterministic input-output behaviours in all nondeterministic contexts, then \\(P_ 1=P_ 2\\).   An alternative metric space framework is presented as well and the paper concludes with the comparison of the work with that of \\textit{D. Park} [Math. Cent. Tracts 159, 133-161 (1983; Zbl 0527.68012)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183593$EA00B82B-CF3B-4D64-8B09-4EC0AD13AE1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183593$D46DB611-660B-4284-8464-1C7B8FADE3CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d755794c9a41e6f7eb35a9408b7ce98dbb497caf","datavalue":{"value":"33410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183593$125C5FE8-18E0-442D-8215-3A6C5C99DF0B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"90e834492c280ea6f7cd09939cbb51910bf38c22","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$F1004A4D-1B17-4AEB-AC63-28A6E6AC39E5","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":"Q1183593$A02480B8-42D0-40D5-8DB1-D2FC0182C28B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$28BA0616-8B83-4D75-A7DC-3E11284DA45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$3FE4D81F-7E85-421A-B160-BB1350F30162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43060e10068e733af70f951e1208d4d3d3dc479b","datavalue":{"value":{"entity-type":"item","numeric-id":3942370,"id":"Q3942370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$9B914339-3987-4420-BC06-ABB7952BF76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$00C37365-B9E4-424B-A5C2-FC334EEB6111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23248c88fc41b2950a22cde2c8bc56c687ea48a","datavalue":{"value":{"entity-type":"item","numeric-id":4151149,"id":"Q4151149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$273CAD64-1248-444B-8B53-CCB0A6886E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$CBC318F3-07D8-4C13-83FA-931CE3BCC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a9ce9c8c880aefc9d2dc9b570d0d80abecb8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3042377,"id":"Q3042377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$A47AB06B-1896-4BB4-A92A-79FDAC1D8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$62EF8D94-6208-42D7-80A2-4264B4D63332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a335a51251a84b014874dbd3d83234c0673410","datavalue":{"value":{"entity-type":"item","numeric-id":3766815,"id":"Q3766815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$3C0CB225-ED41-4ED3-8125-941765F8F7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80ba9917fc7c87b0699a70a9da0cc8480124857","datavalue":{"value":{"entity-type":"item","numeric-id":4187284,"id":"Q4187284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$264E74D4-D70A-4F94-8D7D-19701AC8500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492f530fa33ba430a0c3e2d057b3d4a75404d514","datavalue":{"value":{"entity-type":"item","numeric-id":4404457,"id":"Q4404457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183593$3BAFC65E-25E2-475A-B8B0-352EC24438EE","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":"d4cbfed2f434fc03bf56fd51d2074ef193eccc90","datavalue":{"value":{"amount":"+0.846455991268158","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":"Q1183593$AA222A09-14E4-4A6E-A24B-A7467C3FE7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc1f4dbd3af0ec6957f0c1e6c73ea7dad4956a","datavalue":{"value":{"entity-type":"item","numeric-id":911801,"id":"Q911801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed708c971f0679836582485d78d859b617d91439","datavalue":{"value":{"amount":"+0.7939395904541016","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":"Q1183593$09A22BC3-86F2-4DF6-B52D-2FD168E98C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33909730adab489eab6acccc17af8363861c2db9","datavalue":{"value":{"entity-type":"item","numeric-id":3975156,"id":"Q3975156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf05024ba8bde12d82a9fce82af7185a4a992c1","datavalue":{"value":{"amount":"+0.7891031503677368","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":"Q1183593$40382349-0992-480F-BDFF-32FB93424287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79ebdb56bdab0ba434aedde3415629473c146af","datavalue":{"value":{"entity-type":"item","numeric-id":4288291,"id":"Q4288291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5d2d095bae5cdf0f79afb25794abbec48993ff","datavalue":{"value":{"amount":"+0.7858744263648987","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":"Q1183593$AAA6C8E5-B3DC-48F4-9EFE-FE5D5A6A2670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f1147aa15671bf57dd6a41c32b09d1739833a1","datavalue":{"value":{"entity-type":"item","numeric-id":5941194,"id":"Q5941194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ebe5a374659b9e8a39d5a20f20acee114c26c9","datavalue":{"value":{"amount":"+0.7857701778411865","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":"Q1183593$25166930-20A6-4056-A405-FCB11A820C63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extensional fixed-point semantics for nondeterministic data flow","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extensional_fixed-point_semantics_for_nondeterministic_data_flow"}}}}}