Finding Contents or People

Promela model for exit_process()
A Promela Model for Contiki's scheduler
publication
Publications
Promela model for do_poll()
Selected Publications
Publications
do_event() proctype
Promela model for process_is_running
call_process() proctype
Promela model for process_poll()
Publications
Publications
Promela model for pThread
Contiki's data structures