Combine and conquer: Relating BIP and Reo

Kasper Dokter*, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)134-156
Number of pages23
JournalJournal of Logical and Algebraic Methods in Programming
Volume86
Issue number1
DOIs
Publication statusPublished - Jan 2017

Keywords

  • Coordination
  • Formal translations
  • Correctness proofs
  • BIP
  • Reo
  • MODEL
  • CONNECTORS

Cite this