Playing Games and Proving Properties ofConcurrent Systems

Colin Stirling. Playing Games and Proving Properties ofConcurrent Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 482.

Citation:

Colin Stirling. Playing Games and Proving Properties ofConcurrent Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 482.

Citation:

Colin Stirling. Playing Games and Proving Properties ofConcurrent Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 482.

FullText(HTML)

Export File