CSP-OZ: a combination of object-Z and CSP

@inproceedings{Fischer1997CSPOZAC,
  title={CSP-OZ: a combination of object-Z and CSP},
  author={Clemens Fischer},
  year={1997}
}
  • Clemens Fischer
  • Published 1997
  • Computer Science
  • In this paper we define a combination of Object-Z and CSP called CSP-OZ. The basic idea is to define a CSP-semantics for every Object-Z class. Special care is taken to capture the characteristics of input and output parameters properly and to preserve the expected refinement rules. 

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 163 CITATIONS

    From CSP-OZ to Java with processes

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Data Abstraction for CSP-OZ

    VIEW 2 EXCERPTS
    CITES METHODS

    Combining Specification Techniques for Processes, Data and Time

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    csp2B: A Practical Approach to Combining CSP and B

    VIEW 2 EXCERPTS
    CITES METHODS

    Refinement in integrated specifications of CSP-OZ

    VIEW 1 EXCERPT
    CITES METHODS

    Blending Object-Z and Timed CSP: an introduction to TCOZ

    FILTER CITATIONS BY YEAR

    1997
    2018

    CITATION STATISTICS

    • 30 Highly Influenced Citations

    References

    Publications referenced by this paper.