TitleUTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
Publication TypeWorkshop Paper
Year of Publication2016
AuthorsButterfield A, Mjeda A., Noll J.