Off-the-shelf automated analysis of liveness properties for just paths
Sign Up to like & getrecommendations! 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