[bib01_001] Agerwala, T., and M. Flynn. 1973. Comments on capabilities, limitations and correctness of Petri nets. Hopkins Computer Research Report No. 26, Computer Science Program, Johns Hopkins University, Baltimore, Maryland, July.
[bib01_002] Aho, A. V., R. Sethi, and J. D. Ullman. 1988. Compilers, Principles, Techniques, and Tools. Addison Wesley Publishing Company, Reading, Massachusetts.
[bib01_003] Armstrong, J., R. Virding, and M. Williams. 1993. Concurrent Programming in Erlang. Prentice Hall, Englewood Cliffs, New Jersey.
[bib01_004] Balarin, F., M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. 1997. Hardware-Software Co-Design of Embedded ...