Towards a Time Model for Circus

  title={Towards a Time Model for Circus},
  author={A. Sherif and J. He},
  • A. Sherif, J. He
  • Published in ICFEM 2002
  • Computer Science
  • In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy… CONTINUE READING
    A Tutorial Introduction to CSP in Unifying Theories of Programming
    • 99
    • PDF
    rCOS: A refinement calculus of object systems
    • 111
    Unifying theories in ProofPower-Z
    • 52
    • PDF
    A Semantic Foundation for TCOZ in Unifying Theories of Programming
    • 44
    • Highly Influenced
    • PDF
    A Framework for Specification and Validation of Real-Time Systems Using Circus Actions
    • 29
    • PDF
    Operational Semantics for Model Checking Circus
    • 27
    • PDF
    A Relational Model for Object-Oriented Designs
    • 33
    • PDF


    Publications referenced by this paper.
    The Theory and Practice of Concurrency
    • 1,979
    • PDF
    Guarded commands, nondeterminacy and formal derivation of programs
    • 1,858
    • PDF
    A Timed Model for Communicating Sequential Processes
    • 470
    • PDF
    A Calculus of Durations
    • 851
    Programming from specifications
    • 1,354
    The Semantics of Circus
    • 238
    The Z notation - a reference manual
    • 3,901
    • PDF
    Unifying theories of programming
    • 371
    Refinement in Circus
    • 69