Treo: Textual Syntax for Reo Connectors

Autor: Dokter, Kasper, Arbab, Farhad

Publikováno v: EPTCS 272, 2018, pp. 121-135

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (

Externí odkaz: http://arxiv.org/abs/1806.09852

Relating BIP and Reo

Autor: Dokter, Kasper, Jongmans, Sung-Shik, Arbab, Farhad, Bliudze, Simon

Publikováno v: EPTCS 189, 2015, pp. 3-20

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper

Externí odkaz: http://arxiv.org/abs/1508.04848

Scheduling games for concurrent systems

Autor: Dokter, Kasper, Jongmans, Sung-Shik, Arbab, Farhad, Lafuente, Alberto Lluch, Proença, José

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319395180
COORDINATION
Lafuente, A. Lluch; Proença, J. (ed.), Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 84-100
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, 84-100
STARTPAGE=84;ENDPAGE=100;TITLE=Coordination Models and Languages
Dokter, K, Jongmans, S-S & Arbab, F 2016, Scheduling Games for Concurrent Systems . in A L Lafuente & J Proença (eds), Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings . Springer International Publishing, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 9686, Programming and Software Engineering LNPSE, vol. 9686, pp. 84-100, 18th IFIP International Conference on Coordination Models and Languages, Heraklion, Greece, 6/06/16 . https://doi.org/10.1007/978-3-319-39519-7_6
Lafuente, A. Lluch; Proença, J. (ed.), Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, 84-100. Cham : Springer International Publishing
STARTPAGE=84;ENDPAGE=100;ISSN=0302-9743;TITLE=Lafuente, A. Lluch; Proença, J. (ed.), Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

A scheduler is an algorithm that assigns at any time a set of processes to a set of processors. Processes usually interact with each other, which introduces dependencies amongst them. Typically, such dependencies induce extra delays that the schedule

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12184574e328c4b01e301e71d42029f1
https://ir.cwi.nl/pub/25179

Relating BIP and Reo

Autor: Dokter, Kasper, Jongmans, Sung-Shik, Arbab, Farhad, Bliudze, Simon

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______185::f99ca7ed3789b3598c878e97da768c5b
https://infoscience.epfl.ch/record/216963