Refinement and demonic semantics

  • Authors:

  • Jules Desharnais;Ali Mili;Thanh Tung Nguyen

  • Affiliations:

  • -;-;-

  • Venue:
  • Relational methods in computer science
  • Year:
  • 1997

  • Integration of sequential scenarios

    ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering

  • Integration of Sequential Scenarios

    IEEE Transactions on Software Engineering

  • The Demonic Product of Probabilistic Relations

    FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures

  • wp Is wlp

    RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra

  • Modal design algebra

    UTP'06 Proceedings of the First international conference on Unifying Theories of Programming

  • Demonic algebra with domain

    RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

Quantified Score

Hi-index 0.00

Visualization

Abstract