{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:48Z","timestamp":1725456168513},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017608","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:11:18Z","timestamp":1132621878000},"page":"77-96","source":"Crossref","is-referenced-by-count":1,"title":["Ada reusable software components for teaching distributed systems"],"prefix":"10.1007","author":[{"given":"Yvon","family":"Kermarrec","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/356901.356903","volume":"15","author":"G. Andrews","year":"1983","unstructured":"G. Andrews and F. Schneider. Concepts and notations for concurrent programming. ACM computing surveys, 15(1):3\u201344, 1983.","journal-title":"ACM computing surveys"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/72551.72552","volume":"21","author":"H. Bal","year":"1989","unstructured":"H. Bal, J. Steiner, and A. Tanenbaum. Programming languages for distributed computing systems. ACM computing surveys, 21(3):260\u2013322, september 1989.","journal-title":"ACM computing surveys"},{"key":"6_CR3","unstructured":"G. Booch. Software engineering with Ada. Benjamin-Cummings Publishing Company, 1983."},{"key":"6_CR4","unstructured":"R. Buhr. System design with Ada. Prentice Hall, 1984."},{"key":"6_CR5","unstructured":"CIFO working group. Asynchronous co-operation mechanisms (with reference memory model). Catalog of Interface Features and Options for Ada run time environment, july 1991. Realease 3.0."},{"issue":"11","key":"6_CR6","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"E.W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communication of ACM, 17(11):643\u2013644, November 1974.","journal-title":"Communication of ACM"},{"key":"6_CR7","unstructured":"ExTRA working group. Proposed draft standard for real-time Ada extensions, december 1991. specific Input\/Output chapter, release 1.0, version 1.0."},{"key":"6_CR8","unstructured":"M. Hillman. A network programming package in Eiffel. In Jean Bezivin et al., editor, TOOLS 2 Proceedings of the Second International Conference, pages 541\u2013551, Paris, France, 1990."},{"key":"6_CR9","unstructured":"K. Johnson, E. Simmons, and F. Stluka. Ada quality and style: guidelines for professional programmers. Software Productivity Consortium, 1991."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Y. Kermarrec and L. Pautet. Ada communication components for distributed and real time applications. In Proceedings of the TRI Ada 92 conference, Orlando, Florida, November 1992. ACM SigAda.","DOI":"10.1145\/143557.144012"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Y. Kermarrec and L. Pautet. A distributed shared virtual memory for Ada 83 and Ada 9X applications. In Proceedings of the TRI Ada 93 conference, Seattle, Washington, September 1993. ACM SigAda.","DOI":"10.1145\/170657.170738"},{"key":"6_CR12","volume-title":"Proceedings of the 19th Modeling and Simulation Conference","author":"Y. Kermarrec","year":"1988","unstructured":"Y. Kermarrec and R. Rannou. Simulation experiments with Ada. In Proceedings of the 19th Modeling and Simulation Conference, Pittsburg, May 1988. IEEE, ISA and SCS."},{"issue":"7","key":"6_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system. Communication of ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communication of ACM"},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"K. Li","year":"1989","unstructured":"K. Li and P. Hudak. Memory coherence in shared virtual memory systems. ACM transactions on computer systems, 7(4):321\u2013359, november 1989.","journal-title":"ACM transactions on computer systems"},{"key":"6_CR15","unstructured":"M. Raynal. Distributed algorithms and protocols. John Wiley, 1988."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"W. Richard Stevens. Unix network programming. Prentice Hall Software series, 1990.","DOI":"10.1145\/378570.378600"},{"issue":"6","key":"6_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/j.1538-7305.1978.tb02137.x","volume":"57","author":"K. Thompson","year":"1978","unstructured":"K. Thompson. Unix implementation. Bell System Technical Journal, 57(6):1\u201310, 1978.","journal-title":"Bell System Technical Journal"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017608.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:39:11Z","timestamp":1607531951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574611"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0017608","relation":{},"subject":[]}}