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.

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems

Luis M. Alonso, Ricardo Pena. Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. In Emile H. L. Aarts, Jan van Leeuwen, Martin Rem, editors, PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Volume 506 of Lecture Notes in Computer Science, pages 75-91, Springer, 1991.

Authors

Luis M. Alonso

This author has not been identified. Look up 'Luis M. Alonso' in Google

Ricardo Pena

This author has not been identified. It may be one of the following persons: Look up 'Ricardo Pena' in Google
runs on