Skip to main content
SpringerLink
Log in

The circal system

  • Conference paper
  • First Online:
Book cover Algebraic Methodology and Software Technology (AMAST 1997)

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

  • 91 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

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. In Proc. 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. In Proc. 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
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alex J. Cowie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. George J. Milne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Reprints 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

  • DOI: https://doi.org/10.1007/BFb0000498

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63888-9

  • Online ISBN: 978-3-540-69661-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation