Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation
Authors:
Paolo Camurati;Fulvio Corno;Paolo Prinetto
Affiliations:
-;-;-
Venue:
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications