A method to combine any process algebra with an algebraic specification language: The π-Calculus example

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 385-390

  Salaün, Gwen ^a   Allemand, Michel ^a   Attiogbé, Christian ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL GRAMMARS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; SEMANTICS; SYNTACTICS; TELECOMMUNICATION LINKS;

ALGEBRAIC SPECIFICATION LANGUAGE; PI CALCULUS; PROCESS ALGEBRA;

SOFTWARE ENGINEERING;

EID: 0036386913     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23-73. Elsevier Science Publishers North-Holland, 1989.
2. J. F. Groote and A. Ponse. The Syntax and Semantics of μCRL. In A. Ponse, C. Verhoef, and S. F. M. van Vlijmen, editors, Proceedings of the 1st Workshop on the Algebra of Communicating Processes (ACP'94), pages 26-62. Springer-Verlag, 1995.
3. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A Tutorial Introduction to PVS. In Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), USA, 1995.
4. J. W. Klop. Term Rewriting Systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1-117. Oxford University Press, Oxford, 1992.
5. S. Mauw and G. J. Veltink. A Process Specification Formalism. Fundamenta Informaticae, XIII:85-139, 1990.
6. R. Milner. The Polyadic π-Calculus: A Tutorial. In F. L. Hamer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer-Verlag, Germany, 1993.
7. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Part I and II. Lfcs report series, University of Edinburgh, 1989.
8. J. Parrow. An Introduction to the π-Calculus, chapter 8, pages 479-543. Handbook of Process Algebra. Elsevier, 2001.
9. G. Salaün, M. Allemand, and C. Attiogbé. A Practical Combination of a Process Algebra with an Algebraic Specification Language. In H. R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'01), CSREA Press, pages 73-79, USA, 2001.
10. G. Salaün, M. Allemand, and C. Attiogbé. Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language: an Overview. In Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC'01), IEEE Computer Society Press, pages 299-302, China, 2001.
11. G. Salaün, M. Allemand, and C. Attiogbé. Specification of an Access Control System with a Formalism Combining CCS and CASL. In Proceedings of the 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'02), IEEE Computer Society Press, USA, April 2002.
12. G. Salaün, M. Allemand, and C. Attiogbé. Extending the Generic Combination of Process Algebras with Algebraic Specification Languages: Illustration with the pi-calculus. Technical Report 01.6, University of Nantes, July 2001, revised in May 2002. Available at http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/papers/rr016.ps
13. B. Victor and F. Moller. The Mobility Workbench - A Tool for the π-Calculus. In D. Dill, editor, Proceedings of the Conference on Computer-Aided Verification (CAV'94), volume 818 of LNCS, pages 428-440. Springer-Verlag, 1994.