Title of article
Using the causal domain to specify and verify distributed programs
Author/Authors
Vijay K. Garg and Alexander I. Tomlinson ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
20
From page
667
To page
686
Journal title
acta Informatica
Serial Year
1997
Journal title
acta Informatica
Record number
287608
Link To Document