A formal specification approach for holonic control systems: the ADACOR case

Paulo Leitão, Armando W. Colombo, Francisco Restivo. A formal specification approach for holonic control systems: the ADACOR case. IJMTM, 8(1/2/3):37-57, 2006. [doi]

Abstract

Abstract is missing.