{"entities":{"Q1191023":{"pageid":1201772,"ns":120,"title":"Item:Q1191023","lastrevid":69857244,"modified":"2026-04-13T10:48:48Z","type":"item","id":"Q1191023","labels":{"en":{"language":"en","value":"Distributed event algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58909"}},"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":"Q1191023$357E6E25-C4D7-42C6-BEF6-F432B350BAB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3144bde71c008e6284bf392d8ed6986dcf4c094","datavalue":{"value":{"text":"Distributed event algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1191023$2B16AF26-18F8-4F50-A6BB-6AE753A989DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01935fd7bbc4a10f4159584f80bac4d722e83ed2","datavalue":{"value":"0756.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$2981B259-7B9C-4195-B8F5-274987F2C6E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1020dab6b2e05bc545997c40887568ed3c2e408","datavalue":{"value":"10.1016/0022-0000(92)90011-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$E4F892BE-C029-4461-87E0-CAE306B5B4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21a3507938d5e050f2033c1e353ed026aa6a3784","datavalue":{"value":{"entity-type":"item","numeric-id":166357,"id":"Q166357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$3879CBAE-B433-42F9-B4BB-42578ED31600","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$1EF021DA-CFE3-43E0-AE3E-47D83EF4FC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1191023$423EB551-C969-44B1-90C8-9182AECE7DD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a37b0db1127cf1522830d3eb55d99fe427f0b5e6","datavalue":{"value":"Distributed event algebra or \\(D\\)-algebra is a general model for distributed computation is introduced. It generalizes Lynch's Event State Algebra. It consists of a set of nodes, a set of states and a set of partial operations from the global state space to itself. Each operation has a locality (the node performing the operation), and certain pairs of operations are said to be serial. That is, their order of execution is of importance. \\(D\\)-algebras come with two notions of mapping between \\(D\\)- algebras. One (interpretations) operates on the level of actions (mapping executions to executions). The other (possibility maps) operates on both the levels of actions and states (mapping each state of one system to a set of possible states of another). \\(D\\)-algebras allow hierarchical proof techniques. The proof of correctness consists of a series of \\(D\\)- algebras, from high level to low level, connected by a series of correctness preserving maps, and a proof of the correctness of the high level \\(D\\)-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191023$04BE2C73-E1A9-43C2-B3AA-B37D6A4DF16D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$5218C705-AA7C-4244-86BC-C2B26DB1C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$E2C7488D-06EC-47EA-BA17-DF15EA12BCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$A4509215-F583-4DEC-B910-358D592390A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"630fbb956b4f2825c2b574c33437187b37e009d5","datavalue":{"value":"58909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$9E21840B-1042-49E3-94F4-35F2A383B042","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a2db06b4249bf14efbe937cfcca87762303552","datavalue":{"value":"hierarchical proof of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191023$6A215216-ECC4-4FBD-8C6F-DC2084AFCE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191023$9B88D18A-3F94-4700-86A6-B481057AFD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669469eab4247b59dff371eb21ae41f3327b87a1","datavalue":{"value":"event state algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191023$A3956AE1-E050-48E9-B6A9-EE054A744863","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$CC240192-3DB8-48A0-AF22-78B43D37F8CC","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":"Q1191023$B1AC22F3-455F-4197-A204-CED328708C5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"891127582054f91fe01c72c0e2abe56e89bef374","datavalue":{"value":"https://doi.org/10.1016/0022-0000(92)90011-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1191023$8E6F3016-AD21-4A75-AC9C-52E656C9E31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ca071208bb284e097cba14d8918b01a22194ff7","datavalue":{"value":"W1999523344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191023$BB225881-5CD0-412A-B9C1-676F7F23DF93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d38293cc06627b45c6840e21e0f7cb4f5b5bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$244AD907-BD13-403E-905F-948E68A41CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cd4c0fc1f5a8f42092f317e184d08f13e82f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3964023,"id":"Q3964023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$6BEA122F-CF5A-490A-A96B-8AED750B54E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$33163F08-DAAE-4129-93C2-88BC48A33481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$4299CCAE-72BD-478A-9EC9-3DC07AB65F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191023$9DAA86BE-859C-4856-8606-F29ECD8D2CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef03de1c029ad69a616aff503f9690892d74719f","datavalue":{"value":{"entity-type":"item","numeric-id":3681915,"id":"Q3681915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bb61f6ab1009f5b5b75f1184306bd9df96641a","datavalue":{"value":{"amount":"+0.7270905375480652","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":"Q1191023$0A6FC5BE-CC16-4FB7-B346-C2353BFB3387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0cf158565eacba7fb5c644be8fe26469304ad","datavalue":{"value":{"entity-type":"item","numeric-id":1276244,"id":"Q1276244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3ce6aa050669b93b410df2f9cbb8e73fe1d1f7","datavalue":{"value":{"amount":"+0.7168113589286804","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":"Q1191023$ED88F478-D79C-4388-B8DF-E888FDD1BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783b849341debbdf5517c96609bba92df965c809","datavalue":{"value":{"entity-type":"item","numeric-id":2999052,"id":"Q2999052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b6d66be4fb31eadc2656eb3b508e71e0c9356f","datavalue":{"value":{"amount":"+0.714775025844574","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":"Q1191023$2AFFB5AD-C5C6-4BF3-AB35-3DA259AB7163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de8c3235af9d014d4e1d014886dc2dd214d21a8","datavalue":{"value":{"entity-type":"item","numeric-id":5262962,"id":"Q5262962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18206873fa7b5ef65a76a007b9a3e602966c2ca4","datavalue":{"value":{"amount":"+0.714770495891571","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":"Q1191023$85A71A81-385B-4EB2-B293-F5ACE264A45E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed event algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_event_algebras"}}}}}