Search Results - BIDOIT, MICHEL

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Compatibility Properties of Synchronously and Asynchronously Communicating Components

    Compatibility Properties of Synchronously and Asynchronously Communicating Components by Hennicker, Rolf, Bidoit, Michel

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    CASL: the Common Algebraic Specification Language

    CASL: the Common Algebraic Specification Language by Astesiano, Egidio, Bidoit, Michel, Kirchner, Hélène, Krieg-Brückner, Bernd, Mosses, Peter D., Sannella, Donald, Tarlecki, Andrzej

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Compatibility Properties of Synchronously and Asynchronously Communicating Components

    Compatibility Properties of Synchronously and Asynchronously Communicating Components by Hennicker, Rolf, Bidoit, Michel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Observational logic, constructor-based logic, and their duality

    Observational logic, constructor-based logic, and their duality by Bidoit, Michel, Hennicker, Rolf, Kurz, Alexander

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Observational interpretation of Casl specifications

    Observational interpretation of Casl specifications by BIDOIT, MICHEL, SANNELLA, DONALD, TARLECKI, ANDRZEJ

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Behavioural theories and the proof of behavioural properties

    Behavioural theories and the proof of behavioural properties by Bidoit, Michel, Hennicker, Rolf

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Architectural specifications in CASL

    Architectural specifications in CASL by BIDOIT, Michel, SANNELLA, Donald, TARLECKI, Andrzei

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Behavioural and abstractor specifications

    Behavioural and abstractor specifications by Bidoit, Michel, Hennicker, Rolf, Wirsing, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Proof systems for structured specifications with observability operators

    Proof systems for structured specifications with observability operators by Hennicker, Rolf, Wirsing, Martin, Bidoit, Michel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Modular correctness proofs of behavioural implementations

    Modular correctness proofs of behavioural implementations by BIDOIT, M, HENNICKER, R

    Published in Acta informatica
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Constructor-based observational logic

    Constructor-based observational logic by Bidoit, Michel, Hennicker, Rolf

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Observational specifications and the indistinguishability assumption

    Observational specifications and the indistinguishability assumption by Bernot, Gilles, Bidoit, Michel, Knapik, Teodor

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Behavioural approaches to algebraic specifications: a comparative study

    Behavioural approaches to algebraic specifications: a comparative study by BERNOT, G, BIDOIT, M, KNAPIK, T

    Published in Acta informatica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Glass-box and black-box views on object-oriented specifications

    Glass-box and black-box views on object-oriented specifications by Bidoit, M., Hennicker, R., Knapp, A., Baumeister, H.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Exception Handling: Formal Specification and Systematic Program Construction

    Exception Handling: Formal Specification and Systematic Program Construction by Bidoit, M., Biebow, B., Gaudel, M.-C., Gresse, C., Guiho, G.D.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: