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.

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson. Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Science of Computer Programming, 89:41-68, 2014. [doi]

Authors

Arni Hermann Reynisson

This author has not been identified. Look up 'Arni Hermann Reynisson' in Google

Marjan Sirjani

This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Matteo Cimini

This author has not been identified. Look up 'Matteo Cimini' in Google

Ali Jafari

This author has not been identified. Look up 'Ali Jafari' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google

Steinar Hugi Sigurdarson

This author has not been identified. Look up 'Steinar Hugi Sigurdarson' in Google
runs on