An Efficient Model Checking Algorithm for a Fragment of -Calculus.

Mohammad Izadi, Ali Movaghar-Rahimabadi

Browse the full SEKE paper archive.