Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation

Paolo Camurati, Fulvio Corno, Paolo Prinetto. Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. In David Agnew, Luc J. M. Claesen, Raul Camposano, editors, Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL 93, sponsored by IFIP WG10.2 and in cooperation with IEE. Volume A-32 of IFIP Transactions, pages 31-44, North-Holland, 1993.

Abstract

Abstract is missing.