Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Martin Abadi"'
Autor:
Martin Abadi, Gordon Plotkin
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimi
Externí odkaz:
https://doaj.org/article/c7a0c3dce37949f5b5683494ac4e6a89
Autor:
Martín Abadi, Steve Kremer
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in A
Autor:
Martín Abadi, Alberto Lluch Lafuente
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together wit
Autor:
John Lamping, Martin Abadi
Publikováno v:
Theory and Practice of Object Systems. 1:5-18
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5b719d1de71a9603397686db36eac84
https://doi.org/10.1002/j.1096-9942.1995.tb00003.x
https://doi.org/10.1002/j.1096-9942.1995.tb00003.x
Autor:
Martin Abadi, Luca Cardelli
Publikováno v:
Theory and Practice of Object Systems. 1:151-166
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2528934aeffae00c01827360ba783781
https://doi.org/10.1002/j.1096-9942.1995.tb00016.x
https://doi.org/10.1002/j.1096-9942.1995.tb00016.x
Autor:
Martin Abadi
Publikováno v:
La sécurité informatique
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cfcf6ca2153fccc0cc17b723f600cfb
https://doi.org/10.4000/books.cdf.443
https://doi.org/10.4000/books.cdf.443
Autor:
Martín Abadi, Luca de Alfaro
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theor
Autor:
Martín Abadi, Gordon D. Plotkin
Publikováno v:
Logical Methods in Computer Science, Vol Volume 6, Issue 4 (2010)
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-ba
Externí odkaz:
https://doaj.org/article/65cd04091ae34efca95ac2aca1821b54
Conference
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.