Showing 1 - 6 results of 6 for search 'Joachim Parrow', query time: 0.02s Refine Results
  1. 1
    The Largest Respectful Function

    The Largest Respectful Function by Joachim Parrow, Tjark Weber

    Published 2016-06-01
    Get full text
    Article
  2. 2
    Formalising the pi-calculus using nominal logic

    Formalising the pi-calculus using nominal logic by Jesper Bengtson, Joachim Parrow

    Published 2009-06-01
    Get full text
    Article
  3. 3
    A Fully Abstract Symbolic Semantics for Psi-Calculi

    A Fully Abstract Symbolic Semantics for Psi-Calculi by Magnus Johansson, Björn Victor, Joachim Parrow

    Published 2010-02-01
    Get full text
    Article
  4. 4
    Psi-calculi: a framework for mobile processes with nominal data and logic

    Psi-calculi: a framework for mobile processes with nominal data and logic by Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

    Published 2011-03-01
    Get full text
    Article
  5. 5
    A Sorted Semantic Framework for Applied Process Calculi

    A Sorted Semantic Framework for Applied Process Calculi by Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

    Published 2016-03-01
    Get full text
    Article
  6. 6
    Modal Logics for Nominal Transition Systems

    Modal Logics for Nominal Transition Systems by Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramūnas Forsberg Gutkovas, Tjark Weber

    Published 2021-01-01
    Get full text
    Article

Search Tools: