Articles by Author

Author

Guy Tremblay

Dept. d'informatique, Université du Québec à Montréal
Montréal, Canada

1 article by this author

Sort by:

Research Article

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol

Charles Wallace, Guy Tremblay, Jose Amaral

10.3217/jucs-007-11-1088

28-11-2001

Unique: 356 | Total: 398

1088-1112

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics