Slicing-based Reductions for Rebeca

Hamideh Sabouri, Marjan Sirjani. Slicing-based Reductions for Rebeca. Electronic Notes in Theoretical Computer Science, 260:209-224, 2010. [doi]

Abstract

Abstract is missing.