Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Andrew M. Mironov
Publications
A Sufficient Condition for the Observational Equivalence of Processes
Andrew Mironov
In
:
PSI 2014. Ershov Informatics Conference
Keyphrases
message passing
,
processes
,
sliding window protocol
,
verification
.
Copyright © 2012-2025 easychair.org. All rights reserved.
