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.

A relational trace logic for simple hierarchical actor-based component systems

Ilham W. Kurnia, Arnd Poetzsch-Heffter. A relational trace logic for simple hierarchical actor-based component systems. In Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci, editors, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. pages 47-58, ACM, 2012. [doi]

Authors

Ilham W. Kurnia

This author has not been identified. Look up 'Ilham W. Kurnia' in Google

Arnd Poetzsch-Heffter

This author has not been identified. Look up 'Arnd Poetzsch-Heffter' in Google
runs on