Endowing Concurrent Kleene Algebra with Communication Actions.
Jason JaskolkaRidha KhédriQinglei ZhangPublished in: RAMiCS (2014)
Keyphrases
- concurrent actions
- communication networks
- propositional logic
- communication protocol
- query language
- situation calculus
- communication systems
- concurrent execution
- regular expressions
- plan recognition
- algebraic expressions
- concurrent processes
- mutual exclusion
- communication overhead
- speech acts
- goal directed
- boolean algebra
- communication technologies
- communication channels
- temporally extended
- communication cost
- data sets