On the Power of Bounded Concurrency I: Finite Automata.
Doron Drusinsky, David Harel:
On the Power of Bounded Concurrency I: Finite Automata.
J. ACM 41(3): 517-539(1994)@article{DBLP:journals/jacm/DrusinskyH94,
author = {Doron Drusinsky and
David Harel},
title = {On the Power of Bounded Concurrency I: Finite Automata},
journal = {J. ACM},
volume = {41},
number = {3},
year = {1994},
pages = {517-539},
ee = {db/journals/jacm/DrusinskyH94.html, http://doi.acm.org/10.1145/176584.176587},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Anthony J. Bonner:
Workflow, Transactions, and Datalog.
PODS 1999: 294-305
- David Harel:
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary).
PODS 1994: 1-3
BibTeX
Copyright © Sun May 17 00:05:50 2009
by Michael Ley (ley@uni-trier.de)