Abstract
Several formal systems have been proposed for reasoning about concurrent systems. The Algebra of Communicating Processes (ACP) is proposed by J. A. Bergstra and J. W. Klop, and an algebraic system for such reasoning. In such formal systems, the equivalence between processes is the fundamental relation for reasoning, and several kinds of equivalence have been investigated in the process algebras. These equivalence relations are based on behavior of processes. Recently, the computational cost in execution of processes is considered to be one of the important factors in concurrent systems and is beginning to interest to us. For example, the denial-of-service attacks are related to it closely. We developed a formal system for reasoning about computational costs of concurrent systems in the previous works, based on the Milner’s pi-calculus. In this paper, we investigate another system based on ACP.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Meadows, C.: A formal framework and evaluation method for network denial of service. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, pp. 4–13 (1999)
Tomioka, D., Nishizaki, S.-y., Ikeda, R.: A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. In: Futatsugi, K., Mizoguchi, F., Yonezaki, N. (eds.) ISSS 2003. LNCS, vol. 3233, pp. 25–44. Springer, Heidelberg (2004)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I and Part II. Information and Computation 100(1), 1–77 (1992)
Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. In: Fourth ACM Conference on Computer and Communication Security, pp. 36–47. ACM Press (1997)
Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control 60, 109–137 (1984)
Fokkink, W.: Introduction to Process Algebra. Springer (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nishizaki, Sy., Kiyoto, H. (2012). Formal Framework for Cost Analysis Based on Process Algebra. In: Zhao, M., Sha, J. (eds) Communications and Information Processing. Communications in Computer and Information Science, vol 288. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31965-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-31965-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31964-8
Online ISBN: 978-3-642-31965-5
eBook Packages: Computer ScienceComputer Science (R0)