Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE

Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding. Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. In HICSS. 1999. [doi]

Abstract

Abstract is missing.