On the Compositionality and Analysis of Algebraic High-Level Nets (1991)

by Johan Lilius
Venue:RESEARCH REPORT A16, DIGITAL SYSTEMS LABORATORY