Combine and conquer: Relating BIP and Reo

Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze

doi:10.1016/j.jlamp.2016.09.008

Combine and conquer: Relating BIP and Reo

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

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Web of Science)

Original language	English
Pages (from-to)	134-156
Number of pages	23
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	86
Issue number	1
DOIs	https://doi.org/10.1016/j.jlamp.2016.09.008
Publication status	Published - Jan 2017

Keywords

Coordination
Formal translations
Correctness proofs
BIP
Reo
MODEL
CONNECTORS

Access to Document

10.1016/j.jlamp.2016.09.008

Cite this

@article{0546a295dd3d4f52a18e3f79714ebcf7,

title = "Combine and conquer: Relating BIP and Reo",

keywords = "Coordination, Formal translations, Correctness proofs, BIP, Reo, MODEL, CONNECTORS",

author = "Kasper Dokter and Sung-Shik Jongmans and Farhad Arbab and Simon Bliudze",

year = "2017",

month = jan,

doi = "10.1016/j.jlamp.2016.09.008",

language = "English",

volume = "86",

pages = "134--156",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier Science Inc.",

number = "1",

}

TY - JOUR

T1 - Combine and conquer

T2 - Relating BIP and Reo

AU - Dokter, Kasper

AU - Jongmans, Sung-Shik

AU - Arbab, Farhad

AU - Bliudze, Simon

PY - 2017/1

Y1 - 2017/1

KW - Coordination

KW - Formal translations

KW - Correctness proofs

KW - BIP

KW - Reo

KW - MODEL

KW - CONNECTORS

U2 - 10.1016/j.jlamp.2016.09.008

DO - 10.1016/j.jlamp.2016.09.008

M3 - Article

SN - 2352-2208

VL - 86

SP - 134

EP - 156

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 1

ER -

Combine and conquer: Relating BIP and Reo

Keywords

Access to Document

Fingerprint

Cite this