Showing 1 - 6 results of 6 for search 'Erik P. de Vink', query time: 0.02s Refine Results
  1. 1
    Rooted branching bisimulation as a congruence for probabilistic transition systems

    Rooted branching bisimulation as a congruence for probabilistic transition systems by Matias D. Lee, Erik P. de Vink

    Published 2015-09-01
    Get full text
    Article
  2. 2
    Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

    Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically by Diego Latella, Mieke Massink, Erik P De Vink

    Published 2015-12-01
    Get full text
    Article
  3. 3
    Lowerbounds for Bisimulation by Partition Refinement

    Lowerbounds for Bisimulation by Partition Refinement by Jan Friso Groote, Jan Martens, Erik. P. de Vink

    Published 2023-05-01
    Get full text
    Article
  4. 4
    Coherent branching feature bisimulation

    Coherent branching feature bisimulation by Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

    Published 2015-04-01
    Get full text
    Article
  5. 5
    An Efficient Algorithm to Determine Probabilistic Bisimulation

    An Efficient Algorithm to Determine Probabilistic Bisimulation by Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink

    Published 2018-09-01
    Get full text
    Article
  6. 6
    Towards a Feature mu-Calculus Targeting SPL Verification

    Towards a Feature mu-Calculus Targeting SPL Verification by Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse

    Published 2016-03-01
    Get full text
    Article

Search Tools: