Finding Contents or People

Mohammad-Javad Mehdipour
Fixed point properties related to character amenable Banach algebras
Involutions on certain Banach algebras related to locally compact groups
Biography 62
Ph.D Thesis Sabbatical
Hamid Reza Mirdamadi
Basic Information
Promela model for process_run()
process_run() source code
do_poll() source code
do_event() source code
A Promela Model for Contiki's scheduler
Contki's scheduler functions
do_event() proctype
call_process() source code