View of Model checking processes specified in join-calculus algebra

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