DMCA
Promela Planning (2003)
by
Stefan Edelkamp
| Venue: | In Proceedings of SPIN-03 |
| Citations: | 27 - 12 self |
BibTeX
@INPROCEEDINGS{Edelkamp03promelaplanning,
author = {Stefan Edelkamp},
title = {Promela Planning},
booktitle = {In Proceedings of SPIN-03},
year = {2003},
pages = {197--212}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper a compiler from a restricted subset of SPIN's input language Promela into an action planning description language is presented. It exploits the representation of protocols as communicating finite state machines. The work targets the transfer between the state space...
