A distributed alternative to finite-state-machine specifications
A specification technique, formally equivalent to finite-state machines, is offered as an alternative because it is inherently distributed and more comprehensible. When applied ...
Publications
1 shownResearcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 50
- Institution
- AT&T (United States)
External Links
Identifiers
- ORCID
- 0000-0002-6568-2052
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.