δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications

@inproceedings{Choe2015calculusPA,
  title={δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications},
  author={Yeongbok Choe and Moonkun Lee},
  booktitle={ECIS},
  year={2015}
}
Some process algebras were applied to enterprise business modelling for formal specification and verification. However the algebras mostly dealt with stationary cases but the distributed and mobile. calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes… CONTINUE READING