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 refinement-based development of a distributed signalling system

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky. A refinement-based development of a distributed signalling system. Formal Asp. Comput., 33(6):1009-1036, 2021. [doi]

Authors

Paulius Stankaitis

This author has not been identified. Look up 'Paulius Stankaitis' in Google

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google

Tsutomu Kobayashi

This author has not been identified. Look up 'Tsutomu Kobayashi' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Fuyuki Ishikawa

This author has not been identified. Look up 'Fuyuki Ishikawa' in Google

Alexander B. Romanovsky

This author has not been identified. Look up 'Alexander B. Romanovsky' in Google
runs on