Endowing Concurrent Kleene Algebra with Communication Actions
作者： Jason Jaskolka , Ridha Khedri , Qinglei Zhang
DOI: 10.1007/978-3-319-06251-8_2
关键词: Extension (predicate logic) 、 Mathematics 、 Algebra 、 Concurrency 、 Kleene algebra
摘要: Communication is integral to the understanding of agent interactions in concurrent systems. In this paper,we propose a mathematical framework for communication and concurrency called Communicating Concurrent Kleene Algebra (C2KA). C2KAextends algebra with notion actions. This extension captures both influence external stimuli on behaviour aswell as communicating agents.
springer.com
sci-hub.st 参考文章(33)
C. A. R. Hoare, Notes on Communicating Sequential Systems Springer, Berlin, Heidelberg. pp. 123- 204 ,(1986) , 10.1007/978-3-642-82921-5_4
Gianluigi Zavattaro, Mario Bravetti, Concur 2009 - Concurrency Theory ,(2009)
Mati Kilp, Ulrich Knauer, Alexander A. Mikhalev, Monoids, Acts and Categories: With Applications to Wreath Products and Graphs. a Handbook for Students and Researchers ,(2000)
John Wickerson, Tony Hoare, Unifying Models of Data Flow Software and Systems Safety - Specification and Verification. ,vol. 30, pp. 211- 230 ,(2011) , 10.3233/978-1-60750-711-6-211
U Hebisch, Hanns Joachim Weinert, Semirings: Algebraic Theory and Applications in Computer Science ,(1998)
Robin Milner, Communication and Concurrency ,(1989)
Carl Adam Petri, Kommunikation mit Automaten ,(1962)
Dexter C. Kozen, Automata and Computability ,(2014)
William M. Holcombe, Algebraic automata theory ,(1982)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, The Maude 2.0 System Rewriting Techniques and Applications. pp. 76- 87 ,(2003) , 10.1007/3-540-44881-0_7