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

Yeongbok Choe, Moonkun Lee. δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications. In Jörg Becker, Jan vom Brocke, Marco de Marco, editors, 23rd European Conference on Information Systems, ECIS 2015, Münster, Germany, May 26-29, 2015. 2015. [doi]

Abstract

Abstract is missing.