The Community for Technology Leaders
Proceedings 26th Annual International Computer Software and Applications (2002)
Oxford, England
Aug. 26, 2002 to Aug. 29, 2002
ISSN: 0730-3157
ISBN: 0-7695-1727-7
pp: 385
Gwen Salaün , University of Nantes
Michel Allemand , University of Nantes
Christian Attiogbé , University of Nantes
ABSTRACT
We introduce in [10] the formal foundations to make a generic combination of one process algebra and one algebraic specification language possible. Furthermore, to strengthen the contribution of this work, a concrete illustration about an orders invoicing case study is detailed in [9]. In this paper, we especially focus on the addition of other languages; indeed in the initial work, we only consider a restricted number of process algebras: CCS, CSP, ACP, basic LOTOS. Therefore, we aim at formalizing the way to extend the previous combination. To achieve this goal, we present a method to enhance the syntax and semantics of the formal kernel introduced in [10]. These guidelines are illustrated with the π-Calculus.
INDEX TERMS
null
CITATION

M. Allemand, C. Attiogbé and G. Salaün, "A Method to Combine any Process Algebra with an Algebraic Specification Language: the π-Calculus Example," Proceedings 26th Annual International Computer Software and Applications(COMPSAC), Oxford, England, 2002, pp. 385.
doi:10.1109/CMPSAC.2002.1045033
454 ms
(Ver 3.3 (11022016))