HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Lawrence Dickson

Publications
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure
Lawrence Dickson
EasyChair Preprint no. 5430

Keyphrases

bison, Communicating Sequential Processes, CSP, formal verification, hardware-software equivalence, Occam, partial order, preorder, yacc.

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