Techreport,

Models and Logics for True Concurrency

, , , and .
IMSc/90/12. The Institute of Mathematical Sciences, Madras, INDIA, (1990)

Meta data

Tags

Users

  • @schaal

Comments and Reviews