The analysis of two virtual-token protocols for local area computer networks