Finding Contents or People

Fixed point properties related to character amenable Banach algebras
Involutions on certain Banach algebras related to locally compact groups
Biography 62
Hamid Reza Mirdamadi
Basic Information
On sabbatical leave at ULB
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
exit_process() source code