Abstract
We introduce two institutions for the process algebra Csp, one for the traces model, and one for the stable failures model. The construction is generic and should be easily instantiated with further models. As a consequence, we can use structured specification constructs like renaming, hiding and parameterisation (that have been introduced over an arbitrary institution) also for Csp. With a small example we demonstrate that structuring indeed makes sense for Csp.
This work has been supported by EPSRC under the grant EP/D037212/1 and by the German DFG under grant KR 1191/5-2.
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
Adámek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990)
Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universität des Saarlandes (1998)
Bergstra, J.A., Heering, J., Klint, P.: Module algebra. Journal of the ACM 37, 335–372 (1990)
Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)
Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science 286, 197–245 (2002)
Buth, B., Peleska, J., Shi, H.: Combining methods for the livelock analysis of a fault-tolerant system. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548, Springer, Heidelberg (1998)
Buth, B., Schrönen, M.: Model-checking the architectural design of a fail-safe communication system for railway interlocking systems. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, Springer, Heidelberg (1999)
Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Logical Environments, pp. 83–130. Cambridge (1993)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1990)
Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39, 95–146 (1992)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Isobe, Y., Roggenbach, M.: A complete axiomatic semantics for the CSP stable-failures model. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, Springer, Heidelberg (2006)
Mossakowski, T., Autexier, S., Hutter, D.: Development graphs – proof management for structured specifications. Journal of Logic and Algebraic Programming 67(1-2), 114–145 (2006)
Roggenbach, M.: CSP-CASL - a new integration of process algebra and algebraic specification. Theoretical Computer Science 354(1), 42–71 (2006)
Roggenbach, M., Schröder, L.: Towards trustworthy specifications I: Consistency checks. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol. 2267, Springer, Heidelberg (2002)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
Ryan, P., Schneider, S., Goldsmith, M., Lowe, G., Roscoe, B.: The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, Reading (2001)
Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation 76, 165–210 (1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Mossakowski, T., Roggenbach, M. (2007). Structured CSP – A Process Algebra as an Institution. In: Fiadeiro, J.L., Schobbens, PY. (eds) Recent Trends in Algebraic Development Techniques. WADT 2006. Lecture Notes in Computer Science, vol 4409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71998-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-71998-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71997-7
Online ISBN: 978-3-540-71998-4
eBook Packages: Computer ScienceComputer Science (R0)