{"entities":{"Q299205":{"pageid":300972,"ns":120,"title":"Item:Q299205","lastrevid":60859521,"modified":"2026-04-10T19:35:22Z","type":"item","id":"Q299205","labels":{"en":{"language":"en","value":"Concurrent Kleene algebra with tests and branching automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596350"}},"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":"Q299205$61F5FD3D-7308-4904-AFF0-288069253AC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d42ba60b821d824ce6f78765a24cecc6eebf1b28","datavalue":{"value":{"text":"Concurrent Kleene algebra with tests and branching automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q299205$E8921D1E-63E0-421C-B944-AD5DB6D002B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a9cdf4a5aa210e212e51b5018786df9503352f6","datavalue":{"value":"1344.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$E494550E-5525-4F06-9585-86A6227737C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$9592DC7E-C536-47A1-AA7B-622D73F53921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d521e2c17b305a792cdffdc2fc62dc25d523a52","datavalue":{"value":{"entity-type":"item","numeric-id":299204,"id":"Q299204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$F8BCC3F1-BF78-4521-BA8F-8A8B9579DAB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$0A8CE3E6-24FB-4446-8D52-4D28D0E0588D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q299205$AA812C6E-009B-4986-9F14-F78EF198C825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$F77D6EB5-0218-41D4-BD42-E9093B76C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$71D15A96-E745-4C7B-BC21-27B1AC3A95AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$98CDCA8E-922E-4E12-B6B3-27B5ED385C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$08AA08B8-293B-452C-BB60-59903B50DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$2C7B4D30-7582-4A4D-9D5B-FF1C3D8A7650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bb6221ab12523a59fc6448152c7989ae9a7ee58","datavalue":{"value":"6596350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$D45C784B-44D8-411C-90B0-2A4C01722811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$D85080C9-5C4B-4FB7-8149-6C2210F53891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$FF493AE4-DAB9-412E-A8FC-7BA2214B23F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35b426c6fe396651af6e8a8405c5d6b07dc92a62","datavalue":{"value":"parallel programming models","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$8823CF82-96CF-455D-9B93-378D40C5D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00363e36260cc4df459bbd160640f8a6d2b779c5","datavalue":{"value":"deterministic fork-join automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$9094E0FD-6FAD-4FB2-802D-DAF03296FE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4031f505c79ccde289378ecb2b97300bf11a1cf","datavalue":{"value":"series-parallel strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$2C502860-DB6B-42AD-B030-D19E3BFB7330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f82f366fbe2947e1e4a8223fb79f6c8506291","datavalue":{"value":"weak exchange law","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$1B004539-A4B9-4B0B-989A-B60F00420DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84791c9b5c5c0eb2eae79ea9e558b5deaedc84c","datavalue":{"value":"positive separation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$8FE4A06C-4F98-4F1B-8643-2B54CAFC2F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeff42850d74f488dc71149db56f674bf205b3e5","datavalue":{"value":"flowchart schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q299205$611C80B7-C44D-41B4-BE7F-A3AB65BCBB8A","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":"Q299205$377364FE-3178-42FE-936C-BB19A88F5955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bffb14b36493e2bcb739585910d1f22950f4a43","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q299205$CBED9B01-8E6C-43C6-AE9E-94FF93093DFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1521dda41782bf933db3a8be717bd0c6d25f56","datavalue":{"value":"W2236738605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$B9F73946-250B-4481-A17D-5A3861F076F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae952b5a6e09f9ea2421f1b9a46f80b96d32647f","datavalue":{"value":"Q114851584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$D24A0A4B-4DF2-4C1A-B421-695E45BB9C6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$0780746E-F7D6-4476-B27C-3FA091E5C892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4283f7cd93d420d41471d6e4dd2c2c3fc28655","datavalue":{"value":{"entity-type":"item","numeric-id":671351,"id":"Q671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$25A041EB-16BD-4A9D-A786-0ECE50109B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c3c79c38d0017404804da3eb9d7043e664a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5410330,"id":"Q5410330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$8A79C0E0-F7BD-4D5D-A720-8F6E0B0F1A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$993C84C1-4970-4093-89A6-25DD3B4E8984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$2A32E687-A0CB-494E-B348-8C8208814361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$CC8C2C20-9927-41BF-8FC7-F3BE2529EC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a2e4e054a3754c874dbcec7a3c8429b1f5d422","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$7B1ABCFE-5E71-429B-AD0F-5D3CDFA79AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$DE03B1F5-106F-496B-BF4D-82D05E557E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c4812908c2c978c7f2f0eb381cbb972cde4d28","datavalue":{"value":{"entity-type":"item","numeric-id":3090834,"id":"Q3090834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$C86C3039-C810-4BE8-8D97-7B31B3A64C30","rank":"normal"},{"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":"Q299205$C737BDDE-7BC7-4D18-835D-52C0E190C72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$C108D957-2743-4FE1-AA33-E7910610D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7b60c77c0b5f89a27eaf0a201ebe8770436186","datavalue":{"value":{"entity-type":"item","numeric-id":5517672,"id":"Q5517672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$DDB60CD3-644D-462A-8663-08C0D27D1A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$190CD0B6-3F73-43AE-9B7F-32E00063D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$24722BFA-DE9D-4778-9A5E-803F81D6AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e48550f7ecf2005ecd5986c285d6ef1cec9ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$D24EFA6F-09F7-4EA1-AC4C-143CC4563BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$2219B6E2-7317-40A5-AF90-372E4C916C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$D82F18B8-2340-4592-AB2E-46B4078BBDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a282cc86156b5316dafe3b37bb48c59058e7c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4381401,"id":"Q4381401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$AF360512-A56D-4920-906B-D0F6703BD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$F3A78674-8A19-413E-A90F-0367F1952336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$B8630CC1-A854-412A-9B41-0658EDBFB4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$37B76395-41A6-41BF-838B-4ADA4283DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299205$D086BAB6-26A0-4DD6-A408-3D99945AB7CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5366b71b4a87646bfe2d4f159368031d84301aa8","datavalue":{"value":"10.1016/J.JLAMP.2015.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299205$92EDCBE1-6971-4332-8674-387CFD0F0E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfafbe1a39df3a7680717d56d2c978e1ab23120","datavalue":{"value":{"amount":"+0.9402908086776732","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":"Q299205$04AFCB56-D815-4E8E-9D6A-BE6918DD6BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206e8694c4fa47e4a48a9dfc06bcd78ecb00d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5111639,"id":"Q5111639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0860fd66f1c91a9315a54bf900f2bb0aa6048d","datavalue":{"value":{"amount":"+0.8428301215171814","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":"Q299205$3C986010-94B8-4519-8E78-4E15372C0DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7dcd1b0be946b4cda5b4f492211648cb7e8ea4","datavalue":{"value":{"amount":"+0.8407760858535767","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":"Q299205$6CEAEAA8-BA1D-4F95-9656-57F782EA6973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9167e336d7ea79e235bb39d89552456ce762e6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae36eb1fa4444351172757bf9afb26c0b91a8ca","datavalue":{"value":{"amount":"+0.8388657569885254","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":"Q299205$5CD081C7-B062-46E2-A99F-3EF0AE8F54F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e53f133b2469bf06d25de9dee2a9c3ca2cd871","datavalue":{"value":{"amount":"+0.8371462821960449","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":"Q299205$826FA38E-D805-4E11-A02B-0871E3B84645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent Kleene algebra with tests and branching automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_Kleene_algebra_with_tests_and_branching_automata"}}}}}