Anhang – Weiterführende Literatur

C. Hopmann, Helmut Greif, L. Wolters
{"title":"Anhang – Weiterführende Literatur","authors":"C. Hopmann, Helmut Greif, L. Wolters","doi":"10.3139/9783446469600.022","DOIUrl":null,"url":null,"abstract":"1. Abdallah AE, Jones CB, Sanders JW (Hrsg) (2005) Communicating sequential processes, the first 25 years. Springer, Berlin/Heidelberg 2. Andrews GR (1989) A method for solving synchronization problems. Sci Comput Prog 13:1–21. https://doi.org/10.1016/0167-6423(89)90013-0 3. Andrews GR (1991) Paradigms for process interaction in distributed programs. ACM Comput Surv 23:49–90. https://doi.org/10.1145/103162.103164 4. Andrews GR, Schneider FB (1983) Concepts and notations for concurrent programming. ACM Comput Surv 15:3–43. https://doi.org/10.1145/356901.356903 5. Annot JK, Janssens MD, Van de Goor AJ (1986) Comments on Morris’s starvation-free solution to the mutual exclusion problem. Inf Proc Lett 23:91–97 6. Apt KR, de Boer FS, Olderog E-R (2009) Verification of sequential and concurrent programs. Springer, Dodrecht. https://doi.org/10.1007/978-1-84882-745-5 7. Attiya H, Welch J (2004) Distributed computing: fundamentals, simulations, and advanced topics. Wiley, Hoboken 8. Axford T (1989) Concurrent programming. Wiley, New York 9. Bacon J (2003) Concurrent systems. Operating systems, distributed and database systems, 3. Aufl. Addison-Wesley, Reading 10. Bernstein AJ (1980) Output guards and nondeterminism in ”communicating sequential processes”. ACM Trans Program Lang Syst 2:234–238. https://doi.org/10.1145/357094.357101 11. Birrell AD, Nelson BJ (1984) Implementing remote procedure calls. ACM Trans Comput Syst 2:39–59. https://doi.org/10.1145/2080.357392 12. Block K, Woo T-K (1990) A more efficient generalization of Peterson’s mutual exclusion algorithm. Inf Proc Lett 35:219–222. https://doi.org/10.1016/0020-0190(90)90048-3 13. Breshears C (2009) The art of concurrency: A thread monkey’s guide to writing parallel applications. O’Reilly, Beijing 14. Brinch Hansen P (1999) Java’s insecure parallelism. ACM SIGPLAN Not 34:38–45. https://doi. org/10.1145/312009.312034 15. Brinch Hansen P (Hrsg) (2002) The origin of concurrent programming. Springer, New York","PeriodicalId":146676,"journal":{"name":"Technologie der Kunststoffe","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Technologie der Kunststoffe","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3139/9783446469600.022","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

1. Abdallah AE, Jones CB, Sanders JW (Hrsg) (2005) Communicating sequential processes, the first 25 years. Springer, Berlin/Heidelberg 2. Andrews GR (1989) A method for solving synchronization problems. Sci Comput Prog 13:1–21. https://doi.org/10.1016/0167-6423(89)90013-0 3. Andrews GR (1991) Paradigms for process interaction in distributed programs. ACM Comput Surv 23:49–90. https://doi.org/10.1145/103162.103164 4. Andrews GR, Schneider FB (1983) Concepts and notations for concurrent programming. ACM Comput Surv 15:3–43. https://doi.org/10.1145/356901.356903 5. Annot JK, Janssens MD, Van de Goor AJ (1986) Comments on Morris’s starvation-free solution to the mutual exclusion problem. Inf Proc Lett 23:91–97 6. Apt KR, de Boer FS, Olderog E-R (2009) Verification of sequential and concurrent programs. Springer, Dodrecht. https://doi.org/10.1007/978-1-84882-745-5 7. Attiya H, Welch J (2004) Distributed computing: fundamentals, simulations, and advanced topics. Wiley, Hoboken 8. Axford T (1989) Concurrent programming. Wiley, New York 9. Bacon J (2003) Concurrent systems. Operating systems, distributed and database systems, 3. Aufl. Addison-Wesley, Reading 10. Bernstein AJ (1980) Output guards and nondeterminism in ”communicating sequential processes”. ACM Trans Program Lang Syst 2:234–238. https://doi.org/10.1145/357094.357101 11. Birrell AD, Nelson BJ (1984) Implementing remote procedure calls. ACM Trans Comput Syst 2:39–59. https://doi.org/10.1145/2080.357392 12. Block K, Woo T-K (1990) A more efficient generalization of Peterson’s mutual exclusion algorithm. Inf Proc Lett 35:219–222. https://doi.org/10.1016/0020-0190(90)90048-3 13. Breshears C (2009) The art of concurrency: A thread monkey’s guide to writing parallel applications. O’Reilly, Beijing 14. Brinch Hansen P (1999) Java’s insecure parallelism. ACM SIGPLAN Not 34:38–45. https://doi. org/10.1145/312009.312034 15. Brinch Hansen P (Hrsg) (2002) The origin of concurrent programming. Springer, New York
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
黄书参照
1. Abdallah AE, Jones CB, Sanders JW (Hrsg)(2005)通信顺序过程:前25年。施普林格,柏林/海德堡Andrews GR(1989)一种求解同步问题的方法。计算机科学进展13:1-21。https://doi.org/10.1016/0167 - 6423(89) 90013 - 0 3。Andrews GR(1991)分布式程序中过程交互的范例。计算机科学,23:49-90。https://doi.org/10.1145/103162.103164 4。Andrews GR, Schneider FB(1983)并发编程的概念和符号。ACM计算机调查15:3-43。https://doi.org/10.1145/356901.356903 5。Annot JK, Janssens MD, Van de Goor AJ(1986)对Morris无饥饿解决互斥问题的评论。[j][工程学报]23:91-97。陈晓明,陈晓明(2009)并行程序与顺序程序验证。施普林格,Dodrecht。https://doi.org/10.1007/978 5 - 1 - 84882 - 745 - 7。Attiya H, Welch J(2004)分布式计算:基础、模拟和高级主题。威利,霍博肯(1989)并发编程。威利,纽约Bacon J(2003)并发系统。操作系统,分布式和数据库系统;Aufl。艾迪生-韦斯利《阅读》Bernstein AJ(1980)“通信顺序过程”中的输出保护和不确定性。ACM跨程序语言系统2:234-238。https://doi.org/10.1145/357094.357101 11。Birrell AD, Nelson BJ(1984)实现远程过程调用。ACM传输计算机系统2:39-59。https://doi.org/10.1145/2080.357392 12。Block K, Woo T-K(1990)对Peterson互斥算法的更有效推广。生物工程学报35:19 19 - 22。https://doi.org/10.1016/0020 13 - 0190(90) 90048 - 3。Breshears C(2009)并发的艺术:一个线程猴子编写并行应用程序的指南。奥莱利,北京Brinch Hansen P (1999) Java的不安全并行性。ACM SIGPLAN不是34:38-45。https://doi。org/10.1145/312009.312034 15。Brinch Hansen P (Hrsg)(2002)并发编程的起源。施普林格出版社,纽约
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Spritzgießen Schweißen von Kunststoffen Spanende Bearbeitung von Kunststoffen Physikalische Eigenschaften Kunststoffabfälle
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1