A process algebra interpretation of a verification oriented overlanguage of VHDL
EURO-DAC '94 Proceedings of the conference on European design automation
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Hi-index | 0.00 |