{"entities":{"Q1122355":{"pageid":1133104,"ns":120,"title":"Item:Q1122355","lastrevid":70675218,"modified":"2026-04-13T16:05:49Z","type":"item","id":"Q1122355","labels":{"en":{"language":"en","value":"Concurrent systems and inevitability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106260"}},"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":"Q1122355$7D08D7C1-1E5C-4CCF-9B26-395F8E1DCA78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58ffc2588aeb5a509f4853d5972069c377123b6","datavalue":{"value":{"text":"Concurrent systems and inevitability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122355$A48E7B78-3C35-4E74-89BF-78A19B109DFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d388690ad821626b031fcf550f4fc498785cf52","datavalue":{"value":"0675.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$CE9E8F84-1004-423B-A510-9962A01C7B09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcd28b0cb7dd843dd53f4b4c48003793ab65a34e","datavalue":{"value":"10.1016/0304-3975(89)90052-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$7BD35D73-FFB3-4272-A0C4-05B4D3FCE762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea65ad576fddb6ccabc0d413af909d9f6eac4ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287004,"id":"Q287004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$F90E707E-7BD2-4E1F-B691-F2578273C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f613ff34127da5ca7d7c4b03f3e29c4036800a33","datavalue":{"value":{"entity-type":"item","numeric-id":1107976,"id":"Q1107976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$5AD4C0E8-C3E4-4E38-A26E-9E748B0AD963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$D0C7BD3B-1108-4551-A4AD-EC4940F0DB92","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":"Q1122355$743E4CF8-77E1-414A-8088-ABF82E1F985B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1122355$5F31820B-A090-4167-A377-258AF60336D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81b3f47805450e5cca623462ea0e5efacb67288a","datavalue":{"value":"A concurrent system is a poset \\(S=(S,\\leq)\\), where S is the set of states of the system (histories of its activity) and \\(\\leq\\) is the dominating relation between states. A process is any maximal directed subposet of S, the family of all processes in S is called the behaviour of S. Processes correspond to full executions, namely they display concurrency fairness. In order to speak of eventual properties of processes the authors define the concept of observation of processes. If P \\(\\subseteq\\) S is a process, a line (i.e. a maximal linearly ordered subposet of S) V is an observation if \\(\\downarrow V=P\\) with \\(\\downarrow V=\\cup (\\downarrow \\sigma |\\) \\(\\sigma\\in V)\\), where \\(\\downarrow \\sigma =\\{\\tau \\in S|\\) \\(\\tau\\leq \\sigma \\}\\). This is a case for processes in terminating and strongly synchronized systems, which, therefore, are observable. In this framework, the authors introduce the notion of inevitability. A property is inevitable if an observer of the system will notice, soon or later, a state with this property. The authors discuss conditions on processes and observers and their relationship with inevitability. One of these conditions characterizes inevitability in the interesting case of diamond discrete systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122355$65B2F280-EC9E-4029-B7B2-CCC63C22360D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$068CDFF1-85AB-4F89-A10B-BEE813EAB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$0E47B101-DB9F-442C-82C1-AE44A29F8DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$469C8A4E-E43B-4BF9-8B68-7675FB1C2495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe46642fd7439184be24c073b2080740e1459f7","datavalue":{"value":"4106260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$E645AF7A-EA42-4ADE-9639-17EB8209F518","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122355$EA98D34E-03B0-4AC5-B71C-5A323B4AFAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15dfbe96a3ca4296848dbe5b48445c04999f2f6","datavalue":{"value":"partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122355$F260E0DA-74B3-4DF8-889A-5AE537906830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02e229af8f7553c1adf1c9b854b52d48f822fe8","datavalue":{"value":"inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122355$4F7FD059-90E0-450C-B99F-3FD91EAF9449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7198c90cc48961c8edf0b8b0b5a4932d9c3f3a4","datavalue":{"value":"observers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122355$AA7CC0F1-8C29-44F9-BC4C-100FB833BADF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"14df87f03128769fb7e76235928bf393d9238874","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$65FD7C95-844D-4C12-B54A-C79CA4C18918","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":"Q1122355$C8F4C736-08A5-45FE-9014-16CC3A73A639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37448f1d06bd778a30853733ff4447e5b060f0e7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90052-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122355$56A4F40D-C9AC-4322-9ABE-B0FF501E7B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"338f003dee5cc07d3fdfede755de234156f88da6","datavalue":{"value":"W2044054723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122355$A2E8CD99-FBF6-41FB-9A18-A7677DAA5B24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$9D1F0D86-52B3-4A4A-AAD4-9AAB9F57AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6d5a9c8a609c48b3175b17d8493ad2d9d76ca4","datavalue":{"value":{"entity-type":"item","numeric-id":802310,"id":"Q802310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$75001D82-2D9D-47CF-8096-DCAE0EE431B5","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":"Q1122355$3FA1CD10-A453-4780-ACE6-78D6CF0AF6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dc0b7eb984aadd5f3a39bfdb6b5ac7f5ac023","datavalue":{"value":{"entity-type":"item","numeric-id":5549798,"id":"Q5549798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$9F06B9B6-0077-4A3D-9F2C-01DBBE92A092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$282745E9-52E2-49CF-A4DF-B2FEF8C0FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$6D838488-2B78-44E8-B4D1-41F62F4DEE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882aab3f5763a57154468372c56e809350f14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3698316,"id":"Q3698316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$59BC4A29-A46A-4585-8F82-35B5B5E72775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$D65829DD-DF02-4F3E-87A9-0C02F4702EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07e9ce0d4c8e9689c54b03eb9ab2dace5d5ea09","datavalue":{"value":{"entity-type":"item","numeric-id":3776641,"id":"Q3776641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$D9DFE7C2-A4E8-48B6-A953-8B8E6BD07011","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":"Q1122355$42D1C6D5-BACD-4A99-B57F-C4561CCDA784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7db6ebf619f75ee133c440c3db0086f2cfe0e50","datavalue":{"value":{"entity-type":"item","numeric-id":1107977,"id":"Q1107977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$1D424D31-4DE0-411C-B08D-25FC3EEDBDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$D19D014C-5E78-4EF6-BA53-DC4B21E92A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$2D332C15-4EC5-423F-8EE0-646D06F3413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$1B1F80BB-D5AA-4FCE-9C03-46559C7A239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d2e2819900ec9e5a28db958765bfc162f27","datavalue":{"value":{"entity-type":"item","numeric-id":3675545,"id":"Q3675545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122355$AB8A5AA7-6DF3-4C5D-865A-7A2CF8E4F24E","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":"Q1122355$0E549F62-AAF6-449A-A3D7-730546701F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8fc78a044d8f415a929147a2f4fc82d89a1610","datavalue":{"value":{"entity-type":"item","numeric-id":1107977,"id":"Q1107977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927bcab9d9f2d489c03224e9310eaee68ca6b324","datavalue":{"value":{"amount":"+0.8927936553955078","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":"Q1122355$9297083F-6D5F-4E7A-929C-CE5C39E68107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e29f6d02e120712152cbba71875b2d3a7d252ec","datavalue":{"value":{"entity-type":"item","numeric-id":3479516,"id":"Q3479516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a7086b4380dc5a18687151f320be10b3898c13","datavalue":{"value":{"amount":"+0.8911304473876953","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":"Q1122355$97502B36-6682-4037-B8B7-40569415D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf514864a311e7179d53dcb26ff17eeb2cf35aa0","datavalue":{"value":{"entity-type":"item","numeric-id":685384,"id":"Q685384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d875c939a6d59754b1458caaa43091c937a31973","datavalue":{"value":{"amount":"+0.7606942653656006","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":"Q1122355$0FE2899B-7D8C-4F21-976B-9ED48E0CCEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c62023f7b94d33ac1b614ef7b90f0778390b552","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f887365176e32630e8b3ff0b2ed07ad3c87e64","datavalue":{"value":{"amount":"+0.7426143884658813","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":"Q1122355$4F3FF476-ED1F-4924-826F-09793D11F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b9d532769afec1f9056fe3bfa0fdb0b59d7d26","datavalue":{"value":{"entity-type":"item","numeric-id":2638769,"id":"Q2638769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74e28ece40e576445cbd205cf905c7f7250fcb1","datavalue":{"value":{"amount":"+0.7221598625183105","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":"Q1122355$A40E9DCE-E0F9-4BD0-BF6E-48AF87218E15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent systems and inevitability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_systems_and_inevitability"}}}}}