Title: Models of trace theory systems
Subjects: Parallel programming (Computer science), System theory