Local Specification of Distributed Families of Sequential Objects (1995)

Cached

Download Links

by Hans-dieter Ehrich , Amílcar Sernadas
Venue:Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers
Citations:28 - 11 self