Process Algebra (2IF45) Introduction From Labeled Transition Systems back to Equational Theory Dr. Suzana Andova.