Paper Description: Lec96a

@article{Lec96a,

author = {U.~Lechner},

title = {Object-Oriented Specifications of Distributed Systems in the $\mu$-Calculus and Maude},

journal = {Electronic Notes in Theoretical Computer Science},

volume = {4},

year = 1996,

pages =

note = {Proc. First International Workshop on Rewriting Logics and its applications.} }