A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols

• Authors:

• Richard Furuta;P. D Stotts

• Affiliations:

• -;-

• Venue:
• A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols
• Year:
• 1994