Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.

Gwen Salaün Michel Allemand Christian Attiogbé Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. 299- 2001 conf/apsec/2001 APSEC http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080299abs.htm db/conf/apsec/apsec2001.html#SalaunAA01