Translating FSP into LOTOS and Networks of Automata.

Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee

Browse the full IFM paper archive.