Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Bernardi, Giovanni"'
Autor:
Bernardi, Giovanni, Hennessy, Matthew
Publikováno v:
Logical Methods in Computer Science, Volume 11, Issue 2 (April 14, 2015) lmcs:776
In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes vi
Externí odkaz:
http://arxiv.org/abs/1502.06360
Autor:
Bernardi, Giovanni, Hennessy, Matthew
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1642
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show tha
Externí odkaz:
http://arxiv.org/abs/1310.6176
Autor:
Garengo, Patrizia, Bernardi, Giovanni
Publikováno v:
International Journal of Productivity and Performance Management, 2007, Vol. 56, Issue 5/6, pp. 518-532.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17410400710757178
Publikováno v:
The TQM Magazine, 2005, Vol. 17, Issue 5, pp. 440-455.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/09544780510615942
Autor:
Biazzo, Stefano, Bernardi, Giovanni
Publikováno v:
International Journal of Quality & Reliability Management, 2003, Vol. 20, Issue 8, pp. 881-900.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/02656710310493616
Autor:
Biazzo, Stefano, Bernardi, Giovanni
Publikováno v:
Business Process Management Journal, 2003, Vol. 9, Issue 2, pp. 149-169.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/14637150310468371
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lecture Notes in Computer Science
19th International Conference on Coordination Languages and Models (COORDINATION)
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
19th International Conference on Coordination Languages and Models (COORDINATION)
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
Part 5: Verification; International audience; The client ${\mathsf {must}}$ preorder relates tests (clients) instead of processes (servers). The existing characterisation of this preorder is unsatisfactory for it relies on the notion of usable client
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75ea821d3f2bedf11be921fcbf9e6065
https://hal.inria.fr/hal-01657337/document
https://hal.inria.fr/hal-01657337/document
Publikováno v:
Università degli Studi di Padova-IRIS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::708f1987a0086e2afe7d4cb9d14ca2d2
http://hdl.handle.net/11577/3193891
http://hdl.handle.net/11577/3193891
Autor:
Bernardi, Giovanni, Gotsman, Alexey
To achieve scalability, modern Internet services often rely on distributed databases with consistency models for transactions weaker than serializability. At present, application programmers often lack techniques to ensure that the weakness of these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1fe5ce27970668e675025dea77627cf