View of Model checking processes specified in join-calculus algebra

Return to Article Details Model checking processes specified in join-calculus algebra Download Download PDF