A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.

Olivier Ponsini, Wendelin Serwe

Browse the full FM paper archive.