Joseph E. Urban, Hankyu Joo. Executable specifications for distributed software systems. In 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings. pages 257-265, IEEE Computer Society, 1995. [doi]
Abstract is missing.