Inproceedings,

UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models.

, , and .
TASE, page 93-100. IEEE Computer Society, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews