Searching for "Representation of Computations in Concurrent Automata by Dependence Orders." – sorted by Relevance.
-
Representation of Computations in Concurrent Automata by Dependence Orders
- Representation of Computations in Concurrent Automata by Dependence Orders Felipe Bracho IIMAS
- Cited by 7 (2 self) – Add To MetaCart
-
Concurrency Models Bibliography - References
- ]Bracho.P,Droste.M,Kuske.D. Representation of computations in concurrent automata by dependence orders. Theoretical Computer Science 174
- Add To MetaCart
-
Logic and Algebra in Concurrency
- will present a graph representation for concurrent computions which generalizes dependance orders for traces
- Add To MetaCart

