HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Lawrence Dickson

Publications
Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
Lawrence Dickson
In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Race-Condition-Robust Hardware-Software Equivalence in *n*x
Larry Dickson
In:Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure
Lawrence Dickson
EasyChair Preprint 5430

Keyphrases

*n*x, bison, Communicating Sequential Processes, CSP, formal verification, hardware-software equivalence3, Internet of Things, Linux, Occam2, partial order, preorder, race condition, race conditions, SSH, synchronization, yacc.

Copyright © 2012-2025 easychair.org. All rights reserved.