Gwen Salaün, Michel Allemand, Christian Attiogbé. A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 385-392, IEEE Computer Society, 2002. [doi]
Abstract is missing.