Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

The circal system

  • Conference paper
  • First Online:

Part of the book series:Lecture Notes in Computer Science ((LNCS,volume 1349))

  • 92Accesses

This is a preview of subscription content,log in via an institution to check access.

Access this chapter

References

  1. 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.

    Google Scholar 

  2. M. Bate, A. Cowie, G. Milne and G. Russell. Process Algebras and the Rapid Simulation of Highly Concurrent System.Australian Computer Science Communication, 17(1):21–31, 1995.

    Google Scholar 

  3. 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, Oct 1996. http://www.cis.unisa.edu.au/cgi-bin/techreport?CIS-96-009

    Google Scholar 

  4. A. Cerone, A. J. Cowie, G. J. Milne and P. A. Moseley. Modelling a Time-Dependent Protocol using the Circal Process Algebra. InProc. International Workshop on Hybrid and Real-Time Systems, Grenoble, France, March 1997, Lecture Notes in Computer Science 1201, Springer, pages 124–138, Berlin, 1997.

    Google Scholar 

  5. A. Cerone D. A. Kearney and G. J. Milne. Verifying Bounded Delay Asynchronous Circuits using Time Relationship Constraints. Technical Report CIS-97-012, University of South Australia, School of Computer and Information Science, Adelaide, August 1997. http://www.cis.unisa.edu.au/cgi-bin/techreport?CIS-97-012

    Google Scholar 

  6. A. Cerone and G. J. Milne. Specification of Timing Constraints within the Circal Process Algebra. InProc. AMAST'97, Sydney, Australia, December 1997, Lecture Notes in Computer Science, this volume.

    Google Scholar 

  7. G. A. McCaskill. The XTC Language Reference Manual. Technical Report HDV-14-91, University of Strathclyde, Department of Computer Science, Glasgow, 1991.

    Google Scholar 

  8. G. J. Milne. The Formal Description and Verification of Hardware Timing.IEEE Transactions on Computers, 40(7):811–826, Jul 1991.

    Google Scholar 

  9. G. J. Milne.Formal Specification and Verification of Digital Systems. McGraw-Hill, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Advanced Computing Research Centre, School of Computer and Information Science, University of South Australia, 5095, Adelaide, SA, Australia

    Antonio Cerone, Alex J. Cowie & George J. Milne

Authors
  1. Antonio Cerone

    You can also search for this author inPubMed Google Scholar

  2. Alex J. Cowie

    You can also search for this author inPubMed Google Scholar

  3. George J. Milne

    You can also search for this author inPubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cerone, A., Cowie, A.J., Milne, G.J. (1997). The circal system. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000498

Download citation

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp