{"entities":{"Q2464946":{"pageid":2475689,"ns":120,"title":"Item:Q2464946","lastrevid":73453233,"modified":"2026-04-14T16:03:08Z","type":"item","id":"Q2464946","labels":{"en":{"language":"en","value":"Tutorial on separation results in process calculi via leader election problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221247"}},"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":"Q2464946$2C5C048E-4893-49C9-AB08-B916F0950332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6defca63ae641dcb4a82a46723570d261325adf","datavalue":{"value":{"text":"Tutorial on separation results in process calculi via leader election problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464946$3BB84A59-FF45-412A-9CBC-1D0C70DD049A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504495dd9a413979730b6aae901a293639675eeb","datavalue":{"value":"1143.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464946$F720C9C5-B9C1-40A4-80B1-9DA0562B1A42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cae4c57ebf122bd6b07547962f7f89ed6a70304","datavalue":{"value":{"entity-type":"item","numeric-id":356425,"id":"Q356425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$9B49CC1A-EE48-4446-99B8-5421E9F421AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$139A9115-3012-4BAF-AF11-65A3DC0E720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$348568C3-E9AD-408D-88F0-5E1AA0B4FD5E","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":"Q2464946$567489BE-F5B8-4300-A224-076C461DDD29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464946$D141BEB3-F574-4478-8828-E9A38ABC2DCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8caf3d5075a429801f257a937c05f82b875b88b","datavalue":{"value":"https://hal.inria.fr/inria-00201071/file/tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464946$C0934C15-5910-4D0A-AC11-34168E8297FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464946$5DA8FA29-98ED-4FBB-9EB9-5E68D3DDF538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33bffccd487b8df77ad9a1b5184fcec7970d5db2","datavalue":{"value":"5221247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464946$F0E41E50-DC2A-43AE-95E4-B1AF26CB1A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4b342bface8af7dbc6ff44690c7a82174759179","datavalue":{"value":"leader election","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464946$351130EF-88C9-405C-8541-CC00E2414DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464946$484013A9-7A36-40C3-8BA9-C4B8CAE48554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464946$8F8E46F5-F2A7-4A22-AD7E-FC3D65F363CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464946$51524217-1012-40CF-8F4C-2CA3E28E83E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$7B2786C5-80B3-4809-AD53-682FCB9B5EDA","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":"Q2464946$755E0E38-8561-424E-ADBD-9B1A8EB664DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b69a2821dbf65ae9dd45a2b4cd38f8cb8d6ca352","datavalue":{"value":"W2028448192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464946$1265984F-C11A-4754-804D-50F7D25AFA56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d8b3cdac03b1c4e3b31c5b2acc70b029f2415b","datavalue":{"value":{"entity-type":"item","numeric-id":1090104,"id":"Q1090104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$B07FA933-BACD-405B-A7D8-4B9055D0E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6782c2c09e8bbfad643386b1f8d52e802c5e35","datavalue":{"value":{"entity-type":"item","numeric-id":5714432,"id":"Q5714432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$BD3956C5-351C-41BD-A0CF-3C63B78D3F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113ba6b8d159c66f8d3665b3ca7b7c94d50e0092","datavalue":{"value":{"entity-type":"item","numeric-id":2852065,"id":"Q2852065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$22894A15-4B1A-42FF-BFC3-46D011DEBF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$82BA997C-F20E-4FF6-80F7-72273C86D533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$AA4B38D5-0F74-47A9-92F4-06D0F1E68F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$4EA6F1EE-CC9A-46D4-B2FE-853F94DCAF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d36bbf83616714d044d5fbaf7637bcd122a92f","datavalue":{"value":{"entity-type":"item","numeric-id":2566220,"id":"Q2566220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$7123EF44-49AA-4B05-9961-DCF625261999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3b246f171d64dd343afae5b27fc203d245679","datavalue":{"value":{"entity-type":"item","numeric-id":4934334,"id":"Q4934334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$35C9C257-F8F3-4DB9-9CF2-CCD0A38A5EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3e2f600083ceae7ec8222e0e271706c9a87ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5899079,"id":"Q5899079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$218B22A3-E7D0-4A95-A65D-D67924B99B07","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":"Q2464946$E4AAD712-91C6-4E9F-87C7-A9F0EB81CD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$52027F62-DAA8-45F3-9E66-2C310CDB45ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$9C22CF27-DB65-43BD-B60C-41ABF0181647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$9B75D094-F889-4DD2-8730-1BC752D79451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$F9928C61-E99D-4B9B-A7AF-FA3C42F54C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$C3C56161-6323-42C6-8CF9-515354638E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$73E97B07-A9C7-419F-AEA9-0368FA43813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$B6F1D929-D677-4A2D-BC98-58BE329B7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$2A3B5E23-40A4-4358-8810-383F5BF1C9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc12f7e639228ee8e915c756a08eb8dda3ecdf92","datavalue":{"value":{"entity-type":"item","numeric-id":4791842,"id":"Q4791842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$5A7C2A10-D22D-4B60-B475-C78373B8977C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79536cfe7fba17732663baf5e141d591d617082","datavalue":{"value":{"entity-type":"item","numeric-id":2475806,"id":"Q2475806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$D91AC40C-DAB0-4FFB-980D-2E3A9FE8FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0f33c15b8e195eb18e16381bc2376ff5ba209c","datavalue":{"value":{"entity-type":"item","numeric-id":2491642,"id":"Q2491642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$FB734660-BB72-4865-BF7C-BD89C77B0F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$F5913091-01E1-4278-AC87-647E88180A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4f3a50d4dff4be008cac5ad28af0c68079ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":4917085,"id":"Q4917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$E181F788-AB1E-4C31-850F-058E2310842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$7228CC62-0196-44C0-B94D-528DCF03D14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$40C0761D-0181-4D64-870E-154ED164E3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d368581606fa0b78f626e8ba11b24daf9524eab8","datavalue":{"value":{"entity-type":"item","numeric-id":4763060,"id":"Q4763060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$658FA6D6-5AB8-41A3-B020-100846F7B425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63aa83914847492da5f6030516f6f08e85c8f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464946$992044E7-EC8D-4566-AC1F-6CF2ECC59EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f74da18d82ff4bdf7041c5ff98ad47a8297c821e","datavalue":{"value":"10.1016/J.TCS.2007.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464946$E98511A7-4A99-491C-94C3-3E39560CC59D","rank":"normal"}],"P1643":[{"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":"869273ab26659dd6d783fb7c1e6bff2d7baf4c70","datavalue":{"value":{"amount":"+0.954495131969452","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":"Q2464946$C6A46097-B0C5-4088-956D-A9748F62235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c91cbc82e5e274021eab7a7fa10fa5998f53e3","datavalue":{"value":{"entity-type":"item","numeric-id":2848143,"id":"Q2848143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2737eca1cdc2b8259154aa5b855f7bc252243e8","datavalue":{"value":{"amount":"+0.7952008843421936","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":"Q2464946$55DC6A14-ED28-4464-A6D5-57AD04481AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb1d6e9f79b5119924ab8c91b0e081ff065517","datavalue":{"value":{"entity-type":"item","numeric-id":2491642,"id":"Q2491642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e7dde5242a05e49bbb729c7617ff1f801e9e2b","datavalue":{"value":{"amount":"+0.7948434948921204","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":"Q2464946$AD67D961-6E0D-4D86-8E9E-4BE4010BAE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"369495aa8feacee097a7642380125eaa75e22273","datavalue":{"value":{"entity-type":"item","numeric-id":2475806,"id":"Q2475806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d21efd9160bc5b238752b2f161af0c846f38c7","datavalue":{"value":{"amount":"+0.7942448854446411","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":"Q2464946$4C3EF194-2178-42B1-8F53-0BECB38DC492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88767c7e177add0c390f8c219f0283e65c4917e","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164d47c5facb6d815df1c09ac02922eae1e08548","datavalue":{"value":{"amount":"+0.7654244899749756","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":"Q2464946$CCF79066-E32A-411E-B6A9-DD0A730F7FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tutorial on separation results in process calculi via leader election problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tutorial_on_separation_results_in_process_calculi_via_leader_election_problems"}}}}}