Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)

Autor: Ter Beek M. H., Sirjani M.

Publikováno v: info:cnr-pdr/source/autori:ter Beek M.H.; Sirjani M./titolo:Coordination Models and Languages-Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)/editore:/anno:2022

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Dist

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b1af5f1d19f439ffa88a7d6ea16b270

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Bisimilarity of Open Terms in Stream GSOS

Autor: Bonchi, F., Lee, M.D., Rot, J., Dastani, M., Sirjani, M.

Publikováno v: Fundamentals of Software Engineering ISBN: 9783319689715
FSEN
Lecture Notes in Computer Science
7th International Conference on Fundamentals of Software Engineering (FSEN)
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers, 35-50. Cham : Springer International Publishing
STARTPAGE=35;ENDPAGE=50;ISSN=0302-9743;TITLE=Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers, pp. 35-50

International audience; Stream GSOS is a specification format for operations and calculi on infinite sequences. The notion of bisimilarity provides a canonical proof technique for equivalence of closed terms in such specifications. In this paper, we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::970516ef21ad67589ccd188bdbc46cb5
https://doi.org/10.1007/978-3-319-68972-2_3

Dynamic consistency in process algebra: From Paradigm to ACP

Autor: Andova, S., Groenewegen, L.P.J., Vink, de, E.P., Poizat, P., Sirjani, M.

Publikováno v: Science of Computer Programming, 76(8), 711-735
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08, Reykjavik, Iceland, July 13th, 2008; in conjunction with CONCUR'08), 3-20
STARTPAGE=3;ENDPAGE=20;TITLE=Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08, Reykjavik, Iceland, July 13th, 2008; in conjunction with CONCUR'08)
Science of Computer Programming, 76(8), 711-735. Elsevier

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17bcd7a3577b1680344700697f90cd54
https://doi.org/10.1016/j.scico.2010.04.011

Efficient symmetry reduction for an actor-based model

Autor: Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Movaghar, A., Chakraborty, G.

Publikováno v: Distributed Computing and Internet Technology: Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings, 494-507
STARTPAGE=494;ENDPAGE=507;TITLE=Distributed Computing and Internet Technology
Distributed Computing and Internet Technology ISBN: 9783540309994
ICDCIT

Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the equivalence classes, i.e., the so-called orbits, of states under symmetry is a difficult problem known to be as hard as gra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76b6ff9da999347f9ed2a05c70a9688c
https://doi.org/10.1007/11604655_56