I det arbete som presenteras här undersöks kombinationen av Kleene algebra med synkronimodellen för konvergens från Milners SCCS-kalkyl. Den resulterande algebraiska strukturen kallas synkron Kleene algebra. Modeller ges i termer av uppsättningar av synkrona strängar och finita automata som accepterar synkrona strängar. Förlängningen av synkrona Kleene algebra med Booleska tester presenteras tillsammans med modeller på grupper av bevakade synkrona strängar och tillhörande automata på bevakade synkrona strängar. Fullständighet v.r.t. Standardtolkningarna ges för var och en av de två nya formalismerna. Beslutbarheten beror på fullständighet. Kleene algebra med synkroni bör ingå i klassen av äkta konvergens modeller. I denna riktning görs en jämförelse med Mazurkiewicz spår som ger sin ojämförlighet med synkrona Kleene algebras (en kan inte simulera den andra). Å andra sidan isolerar vi en klass av pomset som fångar exakt synkrona Kleene algebras. Vi presenterar en ansökan till Hoare-liknande resonemang om parallella program i synkronins stil.
Prisacariu introducerade Synkron Kleene Algebra (SKA) REF, förlänga Klene Algebra med en synkron komposition operatör.
Synchronous Kleene Algebra
{'venue': None, 'journal': 'The Journal of Logic and Algebraic Programming', 'mag_field_of_study': ['Mathematics']}