Model Theory for Process Algebra - Bergstra, Jan A.; Middelburg, C. A. (Kees) (Lecture notes in computer science, 2005)
Keywords: Axiom Schema; Model Theory; Predicate Symbol; Process Algebra; Transition System