A Language for Specifying Distributed Programm Behaviorстатья