{"entities":{"Q6828067":{"pageid":15108346,"ns":120,"title":"Item:Q6828067","lastrevid":56705055,"modified":"2026-03-19T01:18:01Z","type":"item","id":"Q6828067","labels":{"en":{"language":"en","value":"FTMPST: fault-tolerant multiparty session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7788986"}},"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":"Q6828067$E555FA31-16B0-46DF-80FA-8007D1CC192E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ffb10b613cfb32f5801ccfc1daaee1f9d88df3d","datavalue":{"value":{"text":"FTMPST: fault-tolerant multiparty session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828067$344105E8-E05B-4436-9DEF-ACA59A27A0FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78bb7fbee40387c6dbe766ee4d3199d822342ca","datavalue":{"value":"1553.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828067$33D8E9ED-3B3F-4939-BD3C-B2802D5BC1EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"943ad1a0b9d85a760b6251426f3c12df77735264","datavalue":{"value":"10.46298/LMCS-19(4:14)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828067$F6684464-583A-4C4C-AED9-F959B6E67FCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828067$72A1B6C3-9D0A-4672-B646-353CD5017375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828067$27BC3B72-997E-4C26-A9F2-511B7A8E2A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f375f52dedb519fb7914ef17f5ff32804c4269","datavalue":{"value":{"entity-type":"item","numeric-id":900424,"id":"Q900424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828067$65D36217-244F-4BE4-A3B5-CCDAB9454831","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828067$B5B1FFB6-E1D4-4E0A-AB3A-FEF35E3FEB83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8cd618aba52e258fe3cb0e097a7203f8486d94","datavalue":{"value":{"time":"+2024-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828067$BC8BB100-88FE-4499-B20B-DC977011F86E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5290ca68dd7459d8054342d2ccfa73a4cda3f96d","datavalue":{"value":"The authors present a fault-tolerant variant of Multi-Party Session Types (MPST) for systems that may suffer from message loss or crash failures. Unreliable communication and weakly reliable branching are implemented. The failure patterns in the semantics allow them to verify algorithms modulo system requirements. Subject reduction and progress are proven and a small but relevant case study is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828067$35F3A531-D2AA-4E1D-9423-69C762A0C1D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828067$D7FA97DC-8642-467D-834C-6553FDFA6F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828067$EAB1DA70-9A98-475B-B1BD-7C60106EBB41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66705ec8e68a33cf6bd3c04da102ffbbff597a01","datavalue":{"value":"7788986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828067$B9C8E846-2AB3-464B-94CA-743166F1754F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828067$17D3332B-3977-4BC1-8FE0-1441FD5CCACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828067$483483ED-1100-4AC2-A8CF-E1491F35312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc0c0c7cdce2eaeedad25a8d589a935262ba338","datavalue":{"value":"link and crash failures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828067$114D7867-7C24-4BFC-A4C7-B3E10A0CFF11","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":"Q6828067$1445F57A-CE99-4C42-B719-2A78F3B3A775","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828067$ACDD3F4A-A89E-421C-B73F-406B55A18B0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FTMPST: fault-tolerant multiparty session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FTMPST:_fault-tolerant_multiparty_session_types"}}}}}