Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation

Authors
Publication date
1 January 1993
Publisher
North-Holland Publishing Co.

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    PORTO Publications Open Repository TOrino

    redirect
    oaioai:porto.polito.it:2501273
    Last time updated on 10/07/2013

    PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

    redirect
    oaioai:iris.polito.it:11583/25012...
    Last time updated on 30/10/2019