Abstract :
The following topics are dealt with: concurrent program; instruction codes; asynchronous routing algorithm; sequential circuits; mobile ad hoc network; model checking; synchronous system; and stochastic system.
Keywords :
ad hoc networks; concurrency theory; formal verification; mobile communication; sequential circuits; stochastic processes; telecommunication network routing; asynchronous routing algorithm; concurrent program; instruction codes; model checking; sequential circuit; stochastic system; synchronous system;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2010 10th International Conference on
Conference_Location :
Braga
Print_ISBN :
978-1-4244-7266-6
DOI :
10.1109/ACSD.2010.1
