Labelled Transaction Systems (LTS)