A tool for implementing distributed algorithms written in PROMELA, using DAJ toolkit
Master of Science === Department of Computing and Information Sciences === Gurdip Singh === PROMELA stands for Protocol Meta Language. It is a modeling language for developing distributed systems. It allows for the dynamic creation of concurrent processes which can communicate through message channe...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
Kansas State University
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2097/2311 |