External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)

David Harel, Roni Rosner, Moshe Y. Vardi. On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 478-488, IEEE Computer Society, 1990.

Authors

David Harel

Identified as David Harel

Roni Rosner

This author has not been identified. Look up 'Roni Rosner' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google
runs on