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

    Activity: Talk or presentationInvited talk

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

    Keywords

    • METIS-121475