Skip to contents

  1. Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina

    Recent Trends in Algebraic Development Techniques: Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2009

    Published in: Recent Trends in Algebraic Development Techniques