Nr. 307 (1990): PB-307 Partial orders and fully abstract models for concurrency