Specification and verification of decentralized daisy chain arbiters with &ohgr;-extended regular expressions

• Authors:

• I Suzuki;Y Motohashi;K Taniguchi;T Kasami;T Okamoto

• Affiliations:

• -;-;-;-;-

• Venue:
• Theoretical Computer Science
• Year:
• 1986