Login / Signup

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

Andrew ButterfieldAnila MjedaJohn Noll
Published in: TASE (2016)
Keyphrases