Highly Influenced

# On the Power of Bounded Concurrency I: Finite Automata

@article{Drusinsky1994OnTP, title={On the Power of Bounded Concurrency I: Finite Automata}, author={Doron Drusinsky and David Harel}, journal={J. ACM}, year={1994}, volume={41}, pages={517-539} }

- Published 1994 in J. ACM
DOI:10.1145/176584.176587

We investigate the descriptive succinctness of three fundamental notions for modeling concurrency: nondeterminism and pure parallelism, the two facets of alternation, and bounded cooperative concurrency, whereby a system configuration consists of a bounded number of cooperating states. Our results are couched in the general framework of finite-state automata, but hold for appropriate versions of most concurrent models of computation, such as Petri nets, statecharts or finite-state versions of… CONTINUE READING

Highly Cited

This paper has 145 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

67 Citations

2 References

Similar Papers

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 145 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**145**citations based on the available data.See our **FAQ** for additional information.

#### References

##### Publications referenced by this paper.

Showing 1-2 of 2 references

Highly Influential

Highly Influential