{"entities":{"Q1090104":{"pageid":1100856,"ns":120,"title":"Item:Q1090104","lastrevid":66912165,"modified":"2026-04-12T13:41:33Z","type":"item","id":"Q1090104","labels":{"en":{"language":"en","value":"On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007705"}},"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":"Q1090104$0DFB3888-D832-4CD8-812D-30BF3B10ED3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2ed14134db6d550ec66ab88dd769e9b3c3a5e9d","datavalue":{"value":{"text":"On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090104$24A2CDC1-5BD6-45A4-BBB4-7C55C7FE63C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e03146a578c70a071b1c19d3f3193011e1d23000","datavalue":{"value":"0621.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$CD0A6489-06FB-4E31-9EE3-574DC2AC213B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daf5f0a2ca8b018ef3a5a33d2462825ac533813f","datavalue":{"value":"10.1007/BF02737102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$4361C7CB-7B55-4CF7-83E2-57411489AF6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c87bbeae8b6bea4f7ced9717f3e861af033eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1060836,"id":"Q1060836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$E2AF6018-3538-4AEC-BF0B-DC26DA9AF34F","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":"Q1090104$67D90630-1874-4CEF-BB19-4A330E096F12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1090104$3F730C14-47BA-4147-AC42-40CC69801681","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea9f8e882550f1fe9f109ee1cb01feca25b72273","datavalue":{"value":"We define a semantic notion of symmetry well-suited for networks of processes specified in Hoare's language CSP. Symmetric algorithms to find a leader in such networks are then studied. We show that the existence of such algorithms depends crucially on the network topology and on the use of input/output guards in processes. The election problem appears thus as a powerful criterion in assessing the expressive power of distributed programming languages like CSP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$C4FE239C-4F99-4C9F-8F44-A2733CA2B456","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$D62E69D4-B0ED-4736-8755-86D6630A6F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cf44d503e7d4771a74e60c8b165d38259abcf57","datavalue":{"value":"90B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$C409591B-60D1-44BA-89DB-D70BD38A936E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cdace1649d0275548a052e23b65f578540b71a0","datavalue":{"value":"4007705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$333175E8-9384-4B11-A562-66681C469BD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6f15db792940be5367add5d95e1ae394a69cbf5","datavalue":{"value":"semantic notion of symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$B590BF8E-0774-4A49-9150-9A855A4CADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a79e6ce0d000673214e230cffb3d247371c4537","datavalue":{"value":"networks of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$38A5A13B-77FD-4F4C-AEE0-5B0C3FF77087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$23B23E6F-C9D6-4426-8A77-8F21CF98D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a8b5e13572c9069a3be04f1f38b65a9aac0a8d","datavalue":{"value":"network topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$398CB515-B556-43D9-9372-9D6E9BB57161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e7bd6fa8a0644087e92d5926523155b386e9c2","datavalue":{"value":"distributed programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090104$3ED22F02-A6E3-4A53-8B41-545EB6D2FA1E","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":"Q1090104$F45FB164-070D-477A-A501-238CF304B78D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58461e2b4053385170325daa14e6f1f349f2a88b","datavalue":{"value":{"entity-type":"item","numeric-id":3321434,"id":"Q3321434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$97F383A6-E773-49E1-9B19-DECD7D665571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$176D7BA3-28E4-4C08-B13A-B2227280BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c9a1ee22a38ac5f95a97b95055be9aae500679","datavalue":{"value":{"entity-type":"item","numeric-id":3681912,"id":"Q3681912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$A2156319-A9BE-4B20-B929-D4C5A08903AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b2be8630819c0185168a7a93ceacaa68493468","datavalue":{"value":{"entity-type":"item","numeric-id":3664419,"id":"Q3664419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$5A5FD301-1BD4-4AB7-A3CD-3E2F44B5ED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86968b6e8c712a29122d21b64bd69e304e4feab9","datavalue":{"value":{"entity-type":"item","numeric-id":1822234,"id":"Q1822234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$AD47345C-883F-468C-AACA-320E401316E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2060e34e9adbaf8e9561c6a06b8a682acb01485c","datavalue":{"value":{"entity-type":"item","numeric-id":3787467,"id":"Q3787467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$5687F99C-4C35-435A-B129-129C9E3AB039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2d1adfae1b81eef721cda5469b95a291ba93d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082071,"id":"Q1082071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$850BB531-25F4-4E2B-ACA7-AEDE9BB6EDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca8fd4541c429a1843d8c629632d0c235c92367","datavalue":{"value":{"entity-type":"item","numeric-id":3681916,"id":"Q3681916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$78D20291-2AA2-42FE-8CAA-1514CD035A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a520a1f46b10b70d31beacbb5e1b11c78a2f48","datavalue":{"value":{"entity-type":"item","numeric-id":3929024,"id":"Q3929024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$634E67C8-BCC9-4DF3-943D-5C1882834878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7402b71ea4bbf991c01bf95776d9a52b2b5419","datavalue":{"value":{"entity-type":"item","numeric-id":3922146,"id":"Q3922146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$8523BCF6-B457-4C22-95DA-B091B265A38D","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":"Q1090104$BF44D152-F786-4827-890E-A5E9C7399130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be207dd7009328a21c4903d3ec7e8e4f1935ead","datavalue":{"value":{"entity-type":"item","numeric-id":1838283,"id":"Q1838283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$03CD9008-3A0F-418C-9D87-FBE7925214EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4f8b895580a1d7e55abef5c97f162c9fb06942","datavalue":{"value":{"entity-type":"item","numeric-id":3677158,"id":"Q3677158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090104$1E52E51C-1B57-400C-A925-063E973092A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91dad820aaaae5f183243b42d5b4f79b9e193449","datavalue":{"value":"https://doi.org/10.1007/bf02737102","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090104$3DC3F096-B1FA-4A80-9D26-77963B4BEE24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73c1893358375b3007aaed4a22df20e08526f4f3","datavalue":{"value":"W4250454201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090104$998D156D-6C17-4086-BC95-0486ADBE3E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"106cb7e9e84da2e4e4770857556c0dea302219eb","datavalue":{"value":{"entity-type":"item","numeric-id":918187,"id":"Q918187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6268c714992920a2798017a7bd6baa3be0d59b","datavalue":{"value":{"amount":"+0.789412260055542","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":"Q1090104$5C16E726-4B5B-41DA-88EE-F0E081139522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b22729e486d662ce5c3b13858b4d98ccb1e30bd","datavalue":{"value":{"entity-type":"item","numeric-id":3787467,"id":"Q3787467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51357452cae536cd2e151447670cb7e47721e17","datavalue":{"value":{"amount":"+0.7745133638381958","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":"Q1090104$182CDAD2-410D-4B80-99FF-435EA7B8B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237601314e68ffee7dc6c50216ba5e75a0317d41","datavalue":{"value":{"entity-type":"item","numeric-id":3591393,"id":"Q3591393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4c64724c36834b1f6af9d81c41813a87cc04e3","datavalue":{"value":{"amount":"+0.7685256004333496","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":"Q1090104$4D864DD4-C271-49F4-8E8F-22FB7F3B5EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cc9ff5aa9569fb54d618205248e8c12357f139","datavalue":{"value":{"entity-type":"item","numeric-id":5168349,"id":"Q5168349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a382dad74dbbf7c29c372e951f599747ed1ed4","datavalue":{"value":{"amount":"+0.7611469626426697","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":"Q1090104$8FD00FD9-257E-435E-8648-6E23DEE12933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db99411ea6df5cb387d0d1b1e4fe0cebb53ccf4","datavalue":{"value":{"entity-type":"item","numeric-id":4016536,"id":"Q4016536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88db0f6e6befad519e04773706dcd309514a3a4","datavalue":{"value":{"amount":"+0.7473368644714355","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":"Q1090104$DB12E368-27E4-4E73-ABF5-6E5E717F3CD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_existence_of_symmetric_algorithms_to_find_leaders_in_networks_of_communicating_sequential_processes"}}}}}