Software design methods for concurrent and real-time systems /

Documenti analoghi

• Concurrent programming : Fundamental techniques for real-time and parallel software design /
  di: Axford, Tom
  Pubblicazione: (1989)
• The temporal logic of reactive and concurrent systems : Specification /
  di: Manna, Zohar, et al.
  Pubblicazione: (1991)
• Specification and analysis of concurrent systems : The COSY approach /
  di: Janicki, Ryszard, et al.
  Pubblicazione: (1992)
• Neural and concurrent real-time systems : The sixth generation /
  di: Souček, Branko
  Pubblicazione: (1989)
• Developments in concurrency and communication /
  Pubblicazione: (1990)