Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
RAIRO-Theor. Inf. Appl., 21 3 (1987) 287-322
Published online: 01 February 2017
We offer the option to send directly this article to your Kindle device as a PDF. To allow us to send documents to your Kindle, you must add email@example.com to the list of approved contacts in your Amazon's Kindle account (see Amazon help page).
Please select either @kindle.com or @free.kindle.com address to send the PDF as a Kindle Personal Document. Note that using @kindle.com will allow direct syncing to your device but may imply a fee. @free.kindle.com may take longer, using USB or wi-fi, but with no fee.