{"entities":{"Q7361929":{"pageid":31521326,"ns":120,"title":"Item:Q7361929","lastrevid":105370481,"modified":"2026-10-07T13:39:10Z","type":"item","id":"Q7361929","labels":{"en":{"language":"en","value":"Communicating Concurrent Kleene Algebra for Distributed Systems Specification"}},"descriptions":{"en":{"language":"en","value":"AFP entry C2KA_DistributedSystems"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de2cfed9b03e3f9bbfc0e72cb170de192abbe7b","datavalue":{"value":"https://isa-afp.org/entries/C2KA_DistributedSystems.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361929$430AE004-DDBE-409C-AAE5-F11214A8D7F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fa4f09d251e61a33743d6069a0de888e22c0a8e","datavalue":{"value":{"time":"+2019-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361929$15260575-04C8-40E4-B577-89987DAFD140","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"52f3a1954f03c7236106dbe2787f971f750de31b","datavalue":{"value":"Maxime Buyse","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361929$4507CD5F-3FE6-4A30-8A61-F863791F5AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"1c66bbcb6f5f1eab8f7e0245aa8e4858dcf7890f","datavalue":{"value":"Jason Jaskolka","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361929$C698E75E-F978-43BC-B4B1-96906DAA980C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc416458906a25f1bdaee215081314ac3dfce22a","datavalue":{"value":{"text":"Communicating Concurrent Kleene Algebra for Distributed Systems Specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361929$FFE02A09-F742-46E4-93D4-A8A5FC74677E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a81525c81e1f671da0d12b92f2ec13b080dd3c73","datavalue":{"value":"Communicating Concurrent Kleene Algebra (C\u00b2KA) is a mathematical framework for capturing the communicating and concurrent behaviour of agents in distributed systems. It extends Hoare et al.'s Concurrent Kleene Algebra (CKA) with communication actions through the notions of stimuli and shared environments. C\u00b2KA has applications in studying system-level properties of distributed systems such as safety, security, and reliability. In this work, we formalize results about C\u00b2KA and its application for distributed systems specification. We first formalize the stimulus structure and behaviour structure (CKA). Next, we combine them to formalize C\u00b2KA and its properties. Then, we formalize notions and properties related to the topology of distributed systems and the potential for communication via stimuli and via shared environments of agents, all within the algebraic setting of C\u00b2KA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361929$9D9AABA4-4EC3-4C6E-9A30-AC3CE5975DCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$CBD1DE77-A0E7-42AA-BE25-401563F39936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24dfe099cb1a5f662a727be887e68171b121c438","datavalue":{"value":{"entity-type":"item","numeric-id":5410475,"id":"Q5410475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$9FCCD2D4-3926-4677-88BF-DEFC8A2FF9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ea5dca080140969108c9d29fef431607859b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4995367,"id":"Q4995367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$F9D38815-4BCB-4A5F-811A-CFF1AEB1C01B","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":"Q7361929$52638048-2106-4C93-A3A0-CAFC54035256","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$C52BC973-A672-4CD6-9F36-688704A00F26","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$B42D8C15-4399-4944-B7E9-48836AEE452C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361929$4C7DF607-60E0-4C3D-B9F3-6D9CD9FC44C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Communicating Concurrent Kleene Algebra for Distributed Systems Specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Communicating_Concurrent_Kleene_Algebra_for_Distributed_Systems_Specification"}}}}}