Background: laparoscopy surgery has many proven clinical advantages over conventional surgery and more recently, robotic surgery has been the emerging platform in the minimally invasive era. In the ...

ABSTRACT: Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing ...