Modelling a time-dependent protocol using the Circal process algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 124-138

  Cerone, Antonio ^a   Cowie, Alex J ^a   Milne, George J ^a   Moseley, Philip A ^a,b  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^b Mortorola Australia Software Centre   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INTERACTIVE COMPUTER SYSTEMS; MACHINERY; TIME SHARING SYSTEMS;

CONCURRENT SYSTEMS; CONTROL PROTOCOLS; MECHANISATION; PROCESS ALGEBRAS; TIME DEPENDENT; TIMED SYSTEMS;

REAL TIME SYSTEMS;

EID: 28044454311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014721     Document Type: Conference Paper

References (16)

1. R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
2. A. Bailey, G. A. McCaskill, and G. J. Milne. An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods in System Design, 4(3):213-242, May 1994.
3. J. Bengtsson, W.O.D. Griliioen, K.J. Kristoffersen, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Verification of an Audio Control Protocol with Bus Collision Using UPPAAL. In Proceedings of the 8th International Conference on Computer- Aided Verification, New Brunswick, USA, 31 July-3 August, 1996, Lecture Notes in Computer Science 1102, pages 244-256, Springer, Berlin, Germany, 1996.
4. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an Audio Control Protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Proceedings of the 3rd School and Symposium on Formal Techniques in Real-Time and Fault tolerant Systems, Lübeck, Germany, September 1994, Lecture Notes in Computer Science 863, pages 170-192, Springer, Berlin, Germany, 1994. Full version as Report CS-R9445, CWI, Amsterdam, The Netherlands, July 1994.
5. A. Cerone, A. J. Cowie, and G. J. Milne. The Circal System In C. Priami, editor, DEMOS at CONCUR96, pages 4-5, Technical Report TR-96-29, University of Pisa, Department of Computer Science, Pisa, Italy, 1996. http://lite.ncstrl.org:3803/Dienst/UI/2.0 /Describe/ncstrl.unipi_it%2fTR-96-29
6. A. Cerone, A. J. Cowie, G. J. Milne, and P. A. Moseley. Description and Verification of a Time-Sensitive Protocol. Technical Report CIS-96-009, University of South Australia, School of Computer and Information Science, Adelaide, Australia, October 1996. http://www.cis.unisa.edu.au/cgi-bin/techreport ?CIS-96-009
7. C. Daws, and S. Yovine. Two Examples of Verification of Multirate Timed Automata with Kronos. In Proceedings of the 7th 1995 IEEE Real Time Systems Symposium, Pisa, Italy, December 1995, IEEE Computer Society Press.
8. W.O.D. Griffioen. Proof-checking an Audio Control Protocol with LP. Technical Report CS-R9570, CWI, Department of Software Technology, Amsterdam, The Netherlands, October 1995.
9. P.-H. Ho, and H. Wong-Toi. Automated Analysis of an Audio Control Protocol. In Proceedings of the 7th International Conference on Computer-Aided Verification, 1995, Lecture Notes in Computer Science 939, pages 381-394, Springer, Berlin, Germany, 1995.
10. C. A. R. Hoare. Communication Sequential Processes. International Series in Computer Science. Prentice Hall, 1985.
11. K.G. Larsen, P. Pettersson, and W. Yi. Diagnostic Model-checking for Real-Time Systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, USA, 22-24 October, 1995.
12. Wenbo Mao. Verification of Concurrent Finite State Systems. PhD thesis, University of Strathclyde, Department of Computer Science, Glasgow, UK, 1992.
13. G. J. Milne. The Formal Description and Verification of Hardware Timing. IEEE Transactions on Computers, 40(7):811-826, July 1991.
14. G.J. Milne. Formal Specification and Verification of Digital Systems. McGraw- Hill, 1994.
15. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
16. F. Moller. The Semantics of Circal. Technical Report HDV-3-89, University of Strathclyde, Department of Computer Science, Glasgow, UK, 1989.