Concurrent Kleene Algebra
Authors:
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 399-414
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Q-Automata: Modelling the Resource Usage of Concurrent ComponentsElectronic Notes in Theoretical Computer Science, 2007
- Resources, concurrency, and local reasoningTheoretical Computer Science, 2007
- Kleene algebra with domainACM Transactions on Computational Logic, 2006
- From μCRL to mCRL2Electronic Notes in Theoretical Computer Science, 2006
- Kleene algebra with testsACM Transactions on Programming Languages and Systems, 1997
- Semiring-based constraint satisfaction and optimizationJournal of the ACM, 1997
- Process Algebra with Iteration and NestingThe Computer Journal, 1994
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Axioms for memory access in asynchronous hardware systemsACM Transactions on Programming Languages and Systems, 1986
- An axiomatic basis for computer programmingCommunications of the ACM, 1969