serialization = ibis, sun, byte
worldmodel = closed
communication = OneToOne, OneToMany, ManyToOne, Poll, TotallyOrdered, \
		FifoOrdered, Reliable, PollUpcalls, \
		AutoUpcalls, ExplicitReceipt, Sequenced
