An Operational Semantics for Timed CSP

@article{Schneider1995AnOS,
  title={An Operational Semantics for Timed CSP},
  author={S. Schneider},
  journal={Inf. Comput.},
  year={1995},
  volume={116},
  pages={193-213}
}
  • S. Schneider
  • Published 1995
  • Computer Science
  • Inf. Comput.
  • An operational semantics is defined for the language of timed CSP, in terms of two relations: an evolution relation, which describes when a process becomes another simply by allowing time to pass; and a timed transition relation, which describes when a process may become another by performing an action at a particular time. It is shown how the timed behaviours used as the basis for the denotational models of the language may be extracted from the operational semantics. Finally, the failures… CONTINUE READING

    Topics from this paper.

    Concurrent and Real-time Systems: The CSP Approach
    • 443
    • PDF
    A Process Algebra for Timed Systems
    • 271
    • PDF
    Structural Operational Semantics
    • 226
    • PDF
    A Congruence Theorem for Structured Operational Semantics with Predicates
    • 143
    • PDF
    Process algebra for performance evaluation
    • 263
    • PDF
    The Real-Time Process Algebra (RTPA)
    • 276
    • PDF
    A Conservative Look at Operational Semantics with Variable Binding
    • 64
    • PDF
    RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
    • 119
    • PDF
    SPADES - a process algebra for discrete event simulation
    • 73

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 64 REFERENCES
    Communication and concurrency
    • 8,146
    Communicating sequential processes
    • 9,269
    • PDF
    Algebraic laws for nondeterminism and concurrency
    • 1,416
    • PDF
    A Temporal Calculus of Communicating Systems
    • 465
    • Highly Influential
    Algebraic theory of processes
    • 1,031
    • PDF
    A Timed Model for Communicating Sequential Processes
    • 469
    • PDF
    The Algebra of Timed Processes, ATP: Theory and Application
    • 303
    • Highly Influential
    • PDF
    A Process Algebra for Timed Systems
    • 271
    • PDF
    Petri Nets
    • 1,154
    • PDF
    A Brief History of Timed CSP
    • 198
    • PDF