Nr. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Artikler

• A Compositional Proof of a Real-Time Mutual Exclusion Protocol

  Kåre J. Kristoffersen, Francois Laroussinie, Kim G. Petersen, Paul Pettersson, Wang Yi

  • PDF (English)