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.

Mobile CSP

Jim Woodcock, Andy J. Wellings, Ana Cavalcanti. Mobile CSP. In Márcio Cornélio, Bill Roscoe, editors, Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. Volume 9526 of Lecture Notes in Computer Science, pages 39-55, Springer, 2015. [doi]

Authors

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google

Andy J. Wellings

This author has not been identified. Look up 'Andy J. Wellings' in Google

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google
runs on