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

Langerak, R. (Keynote speaker)

    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