Search Results - Boudol, G.

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Noninterference for concurrent programs and thread systems

    Noninterference for concurrent programs and thread systems by Boudol, Gérard, Castellani, Ilaria

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The recursive record semantics of objects revisited

    The recursive record semantics of objects revisited by BOUDOL, GÉRARD

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A theory of processes with localities

    A theory of processes with localities by BOUDOL, G, CASTELLANI, I, HENNESSY, M, KIEHN, A

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    On the semantics of the call-by-name CPS transform

    On the semantics of the call-by-name CPS transform by Boudol, Gérard

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On declassification and the non-disclosure policy

    On declassification and the non-disclosure policy by Matos, A.A., Boudol, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    The receptive distributed π-calculus

    The receptive distributed π-calculus by Amadio, Roberto M., Boudol, Gérard, Lhoussaine, Cédric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    The Discriminating Power of Multiplicities in theλ-Calculus

    The Discriminating Power of Multiplicities in theλ-Calculus by Boudol, Gérard, Laneve, Cosimo

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Computational semantics of terms rewriting systems

    Computational semantics of terms rewriting systems by Boudol, G.

    Published in Computer compacts
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: