Trustless Grid Computing in ConCert
- 8 November 2002
- book chapter
- Published by Springer Nature
- p. 112-125
- https://doi.org/10.1007/3-540-36133-2_11
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Stack-based typed assembly languageJournal of Functional Programming, 2002
- Resource bound certificationPublished by Association for Computing Machinery (ACM) ,2000
- Proof-carrying authenticationPublished by Association for Computing Machinery (ACM) ,1999
- Metacomputing with the ICET SystemThe International Journal of High Performance Computing Applications, 1999
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Type-safe linking and modular assembly languagePublished by Association for Computing Machinery (ACM) ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- The Definition of Standard MLPublished by MIT Press ,1997
- The Legion vision of a worldwide virtual computerCommunications of the ACM, 1997
- Unreliable failure detectors for reliable distributed systemsJournal of the ACM, 1996