Logics and models of concurrent systems

Similar Items

• Verification Of Sequential And Concurrent Programs
  by: Apt, Krzysztof R
  Published: (1991)
• The Temporal logic of reactive and concurrent systems
  by: Manna, Zohar, et al.
  Published: (1992)
• Verification of sequential and concurrent programs
  by: Krzysztof r apt,Ernst -Rudiger olderog
  Published: (1997)
• The temporal logic of reactive and concurrent systems/specification
  by: zohar Manna,Amir Phueli
  Published: (1992)
• Understanding concurrent systems /
  by: Roscoe, A. W.
  Published: (2010)