Frank S. de Boer
-
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae