Showing 1 - 3 results of 3 for search 'Pedro R. D'Argenio', query time: 0.03s Refine Results
  1. 1
    Semantics for Interactive Sequential Systems and Non-Interference Properties

    Semantics for Interactive Sequential Systems and Non-Interference Properties by Matias Lee, Pedro R. D’Argenio

    Published 2011-12-01
    Get full text
    Article
  2. 2
    SOS rule formats for convex and abstract probabilistic bisimulations

    SOS rule formats for convex and abstract probabilistic bisimulations by Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

    Published 2015-08-01
    Get full text
    Article
  3. 3
    Tree rules in probabilistic transition system specifications with negative and quantitative premises

    Tree rules in probabilistic transition system specifications with negative and quantitative premises by Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

    Published 2012-08-01
    Get full text
    Article

Search Tools: