A complete axiomatisation for trace congruence of finite state behaviors (1993)

by Alexander Moshe Rabinovich
Venue:of Lecture Notes in Computer Science