Local Specification of Distributed Families of Sequential Objects

TitleLocal Specification of Distributed Families of Sequential Objects
Publication TypeBook Chapter
Year of Publication2018
AuthorsEhrich, H. - D., and A. Sernadas
Refereed DesignationRefereed
Book TitleLogic and Computation
Series TitleTributes
Volume33
Chapter1
Pagination1-22
PublisherCollege Publications
CityLondon
ISBN978-1-84890-248-0
Original Publicationin E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Springer, LNCS 906, 1995
AttachmentSize
2017adt94.pdf189.66 KB