Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Csaba Hoch"'
Autor:
Natalia Chechina, Stavros Aronis, Kjell Winblad, Konstantinos Sagonas, Phil Trinder, Katerina Roukounaki, Maurizio Di Stefano, Kenneth MacKenzie, Kenneth Lundin, Olivier Boudeville, Sverker Eriksson, Rickard Green, Stephen Adams, Nikolaos Papaspyrou, Viktória Fördős, Huiqing Li, Csaba Hoch, Eva Bihari, Amir Ghaffari, Francesco Cesarini, Yiannis Tsiouris, Aggelos Giantsios, David Klaftenegger, Robert Baker, Simon Thompson
Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While the Erlang model conceptually provides reliable scalability, it has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89d408b66a02d8cce6d1a8b04108bce
Publikováno v:
Formal Techniques for Networked and Distributed Systems – FORTE 2008 ISBN: 9783540688549
FORTE
FORTE
Verification is an important process in the development of Erlang systems. A recent strand of work has studied the verification of Erlang applications using the process algebra μCRL. The general idea is that Erlang programs are translated into a μC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20ba7c9fddb668a37654c8898f2417ca
https://doi.org/10.1007/978-3-540-68855-6_13
https://doi.org/10.1007/978-3-540-68855-6_13
Autor:
Roland Király, Tamás Nagy, Róbert Kitlei, Csaba Hoch, Anikó Nagyné Víg, Hanna Köllö, Dániel Horpácsi, László Lövei
Publikováno v:
Scopus-Elsevier
Erlang Workshop
Erlang Workshop
This paper focuses on restructuring software written in Erlang. In large software projects, it is a common problem that internal structural complexity can grow to an extent where maintenance becomes impossible. This situation can be avoided by carefu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de19add7a483421cac95eccf1323c72f
http://www.scopus.com/inward/record.url?eid=2-s2.0-62949220113&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-62949220113&partnerID=MN8TOARS