Loading...
Please wait, while we are loading the content...
Similar Documents
Analysing a basic call protocol using Promela/XSpin
| Content Provider | Semantic Scholar |
|---|---|
| Author | Calder, Muffy Miller, Alice |
| Copyright Year | 1998 |
| Abstract | A basic call model for telecommunications services, including a commu- nication protocol for asynchronous communication between call processes, is defined in PROMELA. The model and protocol are analysed for using XSPIN and some errors are uncovered. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://spinroot.com/spin/Workshops/ws98/muffy.pdf |
| Alternate Webpage(s) | http://spinroot.com/spin/symposia/ws98/muffy.pdf |
| Alternate Webpage(s) | http://www.netlib.org/spin/ws98/muffy.ps.gz |
| Alternate Webpage(s) | http://www.netlib.org/spin/ws98/p26.ps.gz |
| Alternate Webpage(s) | http://netlib.bell-labs.com/netlib/spin/ws98/muffy.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |