{"entities":{"Q1090105":{"pageid":1100857,"ns":120,"title":"Item:Q1090105","lastrevid":66912174,"modified":"2026-04-12T13:41:33Z","type":"item","id":"Q1090105","labels":{"en":{"language":"en","value":"Semantics of finite and infinite networks of concurrent communicating agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007706"}},"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":"Q1090105$045EFFA4-95E2-4B73-9185-A92A6EABC1F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebed1d98ae90bc1d92059ada43022539105a1256","datavalue":{"value":{"text":"Semantics of finite and infinite networks of concurrent communicating agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090105$AE6B8DD5-6B14-4B56-865C-ACB35B53B1C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c763ba55e4619d7a2806322b1fb9137b46e311d4","datavalue":{"value":"0621.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$929EA9F5-986B-4891-A333-F19B8B4DFB25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0001a50cd480f27c0a00022c0c1dd0d75f264c","datavalue":{"value":"10.1007/BF01786252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$F2D79DD1-6015-4FAF-A1CF-1A55967A9FF2","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":"Q1090105$CAC51F34-A7EC-4312-A21D-895187E21D6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090105$E612F93D-EBCD-445A-A5AB-921546D81A44","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":"Q1090105$22F6E2FF-666D-45C1-8CB4-F1AE9F01F371","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c860854ec82fee0f5664ca4432ca97bf547717c","datavalue":{"value":"A language for describing finite and infinite networks of loosely coupled, concurrent, nondeterministic, communicating agents is introduced. To every program a finite or infinite graph (''network'') is related representing graphically the communication structure of the described system. A denotational semantics is defined based on fixed point theory. Algebraic laws for the networks are studied that allow to transform them without changing their denotational meaning. Following the increasing complexity of denotational models for stream-processing networks a hierarchy of five languages is treated: first a language of finite, deterministic networks, then infinite (i.e., recursively defined), deterministic ones, then nondeterministic finite and nondeterministic infinite networks with free choice merge. Finally we study a language including fair, nonstrict merge.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090105$900ED085-1221-41F1-AE08-3400239F069D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$8675D476-0D33-4B23-B224-8D9C690913C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$25A7454E-867C-484C-931C-226B1DC0E0DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddbbab4eaea6e8d41614775d57f8c4d472b9372f","datavalue":{"value":"4007706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$840EE884-3E77-4FEB-B969-F930E4826D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090105$DFBA48C7-953F-4312-90B8-F1EBF5422444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e980b879515b4a62762dc4272099e67ff6c5e75","datavalue":{"value":"fixed point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090105$788B8D72-5BF6-4EA6-9729-302D7635D614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce6e62cfe9b78da65f94d72571d2c646ec12ba","datavalue":{"value":"denotational models for stream-processing networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090105$9EB8C1F1-94BA-4C5B-8325-8003CA06E575","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":"Q1090105$BE53DF51-5868-45C0-8AA8-6F5C50C75292","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090105$EC326B25-4361-48FA-8563-31569FE97CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090105$E8D85431-C27A-40C0-9FC4-A21AED278139","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":"Q1090105$7B8D4030-1324-4674-B382-E9786023AFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090105$C5A2B72D-ECC2-4021-AF22-DED57ADE3BEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"708c20ad9d0235a1addfa96e9641e16d818599ec","datavalue":{"value":"https://doi.org/10.1007/bf01786252","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090105$19F0CE97-C8C7-40BF-9C42-3F90F9248B7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad99a86aac6b2fac0cc1b417ebbfd0e3c7bf1f3c","datavalue":{"value":"W2050321215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090105$B9B790AF-5877-4C40-86F2-9981C5A0C407","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ec5b1fb386b32b2216d02b7765abf0704d3812","datavalue":{"value":{"entity-type":"item","numeric-id":1081296,"id":"Q1081296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e241d09d7e67bbd7a511101822d44497034b023e","datavalue":{"value":{"amount":"+0.8027480840682983","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":"Q1090105$043068A9-A1CC-4907-B2EF-982D8796EAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb057effe4d25a11609c1cf64e22628977cbda8","datavalue":{"value":{"amount":"+0.7907893061637878","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":"Q1090105$241867DD-D432-40C6-A76A-83DB8384CC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8188067d44280c9b70c06344cc6335c08658377e","datavalue":{"value":{"entity-type":"item","numeric-id":3680240,"id":"Q3680240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa65169472947cb3bcd30251bd4bcb68a73bf335","datavalue":{"value":{"amount":"+0.7895106673240662","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":"Q1090105$182C0623-2579-4FFD-99A4-2FE716FE1746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc6b539630095a5fee8986bae6bbac6c1e706b3","datavalue":{"value":{"entity-type":"item","numeric-id":1095640,"id":"Q1095640"},"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":"Q1090105$52DBD1C5-9C18-4EDB-BC24-DE173F97B981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbfa6cd7544caf686da453ac1c8c11269f32378","datavalue":{"value":{"entity-type":"item","numeric-id":3681910,"id":"Q3681910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306f363936fa306fbde23912ad97bd3dbda5f2f9","datavalue":{"value":{"amount":"+0.7684785723686218","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":"Q1090105$584E2C9F-0568-4712-B307-5EAE7F58B716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of finite and infinite networks of concurrent communicating agents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_finite_and_infinite_networks_of_concurrent_communicating_agents"}}}}}