Sign Up to like & get
recommendations!
0
Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00371-w
Abstract: We enrich the operational semantics of a simple process calculus with ACP-style communication with a concurrency relation, so that for every process expression there exists an associated notion of just path . We then present…
read more here.
Keywords:
analysis liveness;
shelf automated;
automated analysis;
process ... See more keywords