Abstract
This work presents a way to express Concurrent Action Oriented Specification (CAOS) designs using the Abstract State Machine (ASM) formalism. Specifically, we provide the syntax, and scheduling semantics for CAOS in ASMs. This forms an essential piece of our larger multiple model of computation (MoC) hardware/software co-design framework utilizing ASMs. We illustrate the specification of the hardware and software components using this framework with a simple switch case study.