An analysis of reshuffled handshaking expansions
The work
| Authors | Rajit Manohar |
|---|---|
| Editors | |
| Type | misc |
| Year | 2001 |
| Also known as | manohar2002analysis |
| Citekey | manohar2001analysis |
Where it appeared
| Pages | 96--105 |
|---|
Identifiers
| DOI | 10.1109/async.2001.914073 |
|---|---|
| OpenAlex | W2116702992 |
Access
| Landing page | https://doi.org/10.1109/async.2001.914073 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We present a method for reasoning about the synchronization behavior of reshuffled handshaking expansions. The technique introduced converts the handshaking expansion into communicating hardware processes. We identify and discuss some of the limitations of the method. We show how the approach can be applied to analyze both the performance and the correctness of handshaking expansions.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 22:17 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{manohar2001analysis,
title = {An analysis of reshuffled handshaking expansions},
author = {Rajit Manohar},
year = {2001},
pages = {96--105},
doi = {10.1109/async.2001.914073},
}
This record lives at https://refs.drheap.org/manohar2001analysis/ and will keep
doing so. It used to be called manohar2002analysis, and those addresses still resolve to this one.