A systematic study of models of abstract data types
- 作者M. Broy; M. Wirsing; C. Pair
- 卷第33卷
- 印刷ISSN0304-3975
- 文件大小3686.29KB
- 发表时间1984
- DOI10.1016/0304-3975(84)90086-0
- 页码139-174
同作者推荐
Power languages and densityValtteri Niemi · 1991
Secure multiparty computations without computersValtteri Niemi; Ari Renvall · 1998
Trends in mobile security standardsValtteri Niemi · 2004
Editorial for the LTE special sectionValtteri Niemi · 2010
Distributed Usage ControlDebmalya Biswas; Nikolai Nefedov; Valtteri Niemi · 2011
Distributed and minimal usage controlDebmalya Biswas, Nikolai Nefedov, Valtteri Niemi · Service Oriented Computing and Applications · 2012
Fragmentation algorithms for DTN linksGinzboorg, Philip; Niemi, Valtteri; Ott, Jörg · Computer Communications · 2013
Density of grammar forms part IINiemi, Valtteri · International Journal of Computer Mathematics · 1986