Event Structures for Interrupt Process Algebras

Harald Fecher. Event Structures for Interrupt Process Algebras. Electronic Notes in Theoretical Computer Science, 96:113-127, 2004. [doi]

Abstract

Abstract is missing.