Deriving a graph rewriting system from a complete finite prefix of an unfolding

    Activity: Talk or presentation › Invited talk

    Period23 Aug 1999
    Event title6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999
    Event typeWorkshop
    Conference number6
    LocationEindhoven, NetherlandsShow on map

    Keywords

    • METIS-121475