A Thesis for Bounded Concurrency

Authors:
David Harel
Affiliations:
-
Venue:
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
Year:
1989

Citing 0
Cited 3

On the power of bounded concurrency I: finite automata

Journal of the ACM (JACM)
Workflow, transactions and datalog

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of verifying concurrent transition systems

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract