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.

Abstraction and composition in Δ-specifications of concurrent systems

Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering. Abstraction and composition in Δ-specifications of concurrent systems. In Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman, editors, Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. pages 52-59, IEEE Computer Society, 1991. [doi]

Authors

Joseph P. Loyall

This author has not been identified. Look up 'Joseph P. Loyall' in Google

Simon M. Kaplan

This author has not been identified. Look up 'Simon M. Kaplan' in Google

Steven K. Goering

This author has not been identified. Look up 'Steven K. Goering' in Google
runs on