Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus

  • Authors:

  • Shuailiang Ma;Li Zhang;Jimei He

  • Affiliations:

  • -;-;-

  • Venue:
  • SERA '08 Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many network devices implement capabilities to manipulate traffic depending on the application. Examples include a firewall or a load balancer. These are based on Layer 2-4 packet-based classifications such as port or protocol, or signature recognition. ...