Rishiyur S. Nikhil. Composable Guarded Atomic Actions: a Bridging Model for SoC Design. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 23-28, IEEE Computer Society, 2007. [doi]
Abstract is missing.