作者：G. Castagnetti;M. Piccolo;T. Villa;N. Yevtushenko;A. Mishchenko;R. Brayton 作者单位：University of Verona;Tomsk State University;University of California, Berkeley 加工时间：2013-11-17 信息来源：EECS 索取原文[33 页]
关键词：并行语言；有限状态机；BALM-II协议转换器；应用程序；软件包 摘 要：In this report we describe how to solve parallel language equations over regular languages/automata and finite state machines (FSMs), using the software package BALM-II, which is an extended version of BALM.As an important application, we describe how to synthesize protocol converters with BALM-II.
索取原文[33 页]
027-87841330