Modeling and Verification of Reconfigurable Actor Families

Hamideh Sabouri, Ramtin Khosravi. Modeling and Verification of Reconfigurable Actor Families. J. UCS, 19(2):207-232, 2013. [doi]

Abstract

Abstract is missing.