We submit that the following five postulates are … [messages outside system will have responses outside system], No Surprise Postulate [every message can be handled], No Deadlock postulate, Concurrent Postulate [concurrent messages can be received in any order], No harmful race Postulate [always same effects for concurrent messages]
Google-1
Google-2
Copyright clearance needed for quotation.