Dear all, Is there any existent work dedicated on formally expressing task model similar to nesC's concurrency model (task + interrupt handler), no matter it is FSM, Petri net, etc.? Thanks for your attention.
Best regards, Yours, Zhifeng Lai
_______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
