Loading...
Please wait, while we are loading the content...
Similar Documents
Analysing a basic call protocol using PROMELA/XSPIN (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Calder, Mu Y. Miller, Alice |
| Abstract | A basic call model for telecommunications services, including a communication protocol for asynchronous communication between call processes, is de ned in PROMELA. The model and protocol are analysed for using XSPIN and some errors are uncovered. keywords telecommunications services and features � PROMELA/XSPIN � communicating processes� formal modelling � analysis and reasoning techniques. 1 |
| File Format | |
| Language | English |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Promela Xspin Basic Call Protocol Feature Promela Xspin Process Formal Modelling Analysis Telecommunication Service Asynchronous Communication Call Process Communication Protocol Keywords Telecommunication Service Basic Call Model |
| Content Type | Text |
| Resource Type | Technical Report |