Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10333726 | Journal of Logical and Algebraic Methods in Programming | 2016 | 16 Pages |
Abstract
To express basic concurrent algorithms, we define concurrent deterministic flowchart schemas and relate them to branching automata and to concurrent Kleene algebras with tests.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Peter Jipsen, M. Andrew Moshier,