×
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯

向新生教授并发概念。 （英语） Zbl 1171.68571号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。
摘要：并发现象在日常计算机实践中无处不在，因此理解并发现象必须成为当代计算机科学学术教育的首要焦点。本文设计了一个适用于计算机科学一年级本科生并发理论教学的概念。它基于罗宾·米尔纳（Robin Milner）的《通信系统演算》（Calculus of Communicating Systems），该书顺利融入了函数编程入门课程。我们在2005/2006年冬季在萨尔州大学举办的入门课程中报告了这一概念的具体实例。
关于整个系列，请参见[Zbl 1154.68308号].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
97立方英尺30英寸 教师手册和计划辅助工具（数学教育方面）

软件：

政治公众人物协议;毫升
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。注释计算。科学。5100、35-53（2008年；Zbl 1171.68571）
全文： 内政部

参考文献：

[1] Aceto，L.、Ingolfsdottir，A.、Larsen，K.G.、Srba，J.：反应系统——建模、规范和验证。剑桥大学出版社，剑桥（2007）·Zbl 1141.68043号 ·doi:10.1017/CBO9780511814105
[2] Adams，J.，Nevison，C.，Schaller，N.C.：并行计算开启了新千年。摘自：SIGCSE 2000：第三十届SIGCSE计算机科学教育技术研讨会论文集，第65-69页。ACM，纽约（2000年）·数字对象标识代码：10.1145/330908.331815
[3] Ben-Ari，M.：一套用于教授并发性的工具。SIGCSE牛市。 36(3), 251 (2004) ·数字对象标识代码：10.1145/1026487.1008083
[4] Ben Ari，M.：用spin教授并发性和非确定性。收录于：ITiCSE 2007：第十二届SIGCSE计算机科学教育创新与技术年会会议记录，第363–364页。ACM，纽约（2007）·数字对象标识代码：10.1145/1268784.1268936
[5] Ben-Ari，M.，Kolikant，Y.B.-D.：平行思考：学习并发性的过程。SIGCSE牛市。 31(3), 13–16 (1999) ·数字对象标识代码：10.1145/384267.305831
[6] Brabrand，C.：使用构造性对齐来教授基于模型的并发设计。摘自：2007年《TeaConc会议录》，第二期并行教学研讨会，第1-17页。波德拉西大学出版社，Siedlce（2007）
[7] Brabrand，C.，Mosegaard，M.：互模拟游戏（2006），http://www.brics.dk/bisim网站
[8] Calder，M.，Gilmore，S.，Hillston，J.：使用随机过程代数pepa模拟rkip对erk信号通路的影响。摘自：Priami，C.、Ingólfsdóttir，A.、Mishra，B.、Riis Nielson，H.（编辑）《计算系统生物学学报》VII。LNCS（LNBI），第4230卷，第1-23页。斯普林格，海德堡（2006）·doi:10.1007/11905455_1
[9] Calzolai，F.，De Nicola，R.，Loreti，M.，Tiezzi，F.：TAPAs：过程代数分析工具。摘自：《2007年TeaConc会议录》，第二期并行教学研讨会，第51-66页。波德拉西大学出版社，Siedlce（2007）
[10] Cunha，J.C.，ao Lourenço，J.：并行和分布式处理综合课程。SIGCSE牛市。 30(1), 217–221 (1998) ·doi:10.1145/274790.274300
[11] Desel，J.，Reisig，W.，Rozenberg，G.（编辑）：并发和Petri网讲座。LNCS，第3098卷。斯普林格，海德堡（2004）·Zbl 1052.68003号
[12] Gosling，J.，Joy，B.，Steele，G.，Bracha，G.:Java语言规范，第二版。Addison Wesley，波士顿（2000）·Zbl 0865.68001号
[13] Grötker，T.、Liao，S.、Martin，G.、Swan，S.：使用SystemC进行系统设计。斯普林格，海德堡（2002）
[14] Hermanns，H.，Eisentraut，C.：附录zum Skipt，http://depend.cs.uni-sb.de/ProgI05/script.php
[15] Higginbotham，C.W.，Morelli，R.：并发编程教学系统。收录于：SIGCSE 1991：第二十届SIGCSE计算机科学教育技术研讨会论文集，第309-316页。ACM，纽约（1991）·doi:10.1145/107004.107071
[16] Hoare，C.A.R.：通信顺序过程。Prentice-Hall，Englewood Cliffs（1985）·Zbl 0637.68007号
[17] 日内瓦ITU-TS。ITU-TS建议Z.120：消息序列图（MSC）（1996）
[18] Magee，J.，Kramer，J.：并发：状态模型和Java程序。约翰·威利父子公司，奇切斯特（1999）·Zbl 0924.68026号
[19] McDonald，C.：与乔伊斯和琳达教授并发性。SIGCSE牛市。 24(1), 46–52 (1992) ·数字对象标识代码：10.1145/135250.134521
[20] Milner，R.：沟通与并发。Prentice-Hall，Englewood Cliffs（1989）·Zbl 0683.68008号
[21] Milner，R.、Tofte，M.、Harper，R.和MacQueen，D.：标准ML的定义——修订版。麻省理工学院出版社，剑桥（1997）
[22] Olszewski，J.：CSP实验室。摘自：SIGCSE 1993：第二十四届SIGCSE计算机科学教育技术研讨会论文集，第91-95页。ACM出版社，纽约（1993）·doi:10.1145/169070.169356
[23] Plotkin，G.D.：操作语义的结构方法。奥胡斯大学DAIMI FN-19技术报告（1981年）
[24] Smolka，G.：Programmierung–Eine Einführung，摘自马萨诸塞州奥尔登堡Wissensch标准信息技术学院。Vlg（重量）。(2008) ·Zbl 1228.68002号
[25] van Glabbeek，R.J.：线性时间分支时间谱（扩展摘要）。收录人：Baeten，J.C.M.，Klop，J.W.（编辑）CONCUR 1990。LNCS，第458卷，第278-297页。施普林格，海德堡（1990）·doi:10.1007/BFb0039066
[26] van Glabbeek，R.J.：线性时间分支时间谱II。收录：Best，E.（编辑）CONCUR 1993。LNCS，第715卷，第66-81页。施普林格，海德堡（1993）·doi:10.1007/3-540-57208-26
[27] Winskel，G.：事件结构。收录：Brauer，W.、Reisig，W.和Rozenberg，G.（编辑）APN 1986。LNCS，第255卷，第325-392页。施普林格，海德堡（1987）·兹比尔062668022 ·文件编号：10.1007/3-540-17906-2_31
[28] Wolf，V.：用随机自动机网络模拟生化反应。选举人。理论注释。计算。科学。 171(2), 197–208 (2007) ·Zbl 1277.68215号 ·doi:10.1016/j.entcs.2007.05.017
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。