Endowing Concurrent Kleene Algebra with Communication Actions

DOI10.1007/978-3-319-06251-8_2zbMath1405.68214OpenAlexW29329506MaRDI QIDQ5410475

Jason Jaskolka, Ridha Khedri, Qinglei Zhang

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_2

zbMATH Keywords

communicationconcurrencyspecificationsemimodulesconcurrent Kleene algebraalgebraic approaches to concurrency

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Mitigating covert channels based on analysis of the potential for communication

This page was built for publication: Endowing Concurrent Kleene Algebra with Communication Actions