where P,Q are systems (processes, programs with state, etc. . . ) and a is a label, that is an observation LTS are used for defining the behaviour of calculi/systems because they endorse most important techniques for verifying properties (e.g., model checking) and observational equivalence (e.g., bisimulations) the labels should be enough to describe… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.