An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract)

Ruth Breu, Elena Zucca. An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Formal Asp. Comput., 8(6):706-715, 1996.