Promela

#	Item
31	PDF Document Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers
32	PDF Document Add to Reading List Source URL: www.teigfam.net Language: English - Date: 2006-06-20 10:02:26 Process calculi Synchronization Communicating sequential processes Occam Message queue Process calculus Specification and Description Language Asynchronous I/O Promela Computing Concurrent computing Inter-process communication