You are about to access our book library "Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science Book 15560) full version" .