Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems.

Jos Meseguer, Peter Csaba lveczky

Browse the full ICFEM paper archive.