{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:21:05Z","timestamp":1725906065670},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631202"},{"type":"electronic","value":"9783319631219"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_9","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T04:05:15Z","timestamp":1500869115000},"page":"170-195","source":"Crossref","is-referenced-by-count":4,"title":["Teaching Academic Concurrency to Amazing Students"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Biewer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Freiberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal Leo","family":"Held","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-319-25150-9_33","volume-title":"Theoretical Aspects of Computing - ICTAC 2015","author":"JR Andersen","year":"2015","unstructured":"Andersen, J.R., Andersen, N., Enevoldsen, S., Hansen, M.M., Larsen, K.G., Olesen, S.R., Srba, J., Wortmann, J.K.: CAAL: concurrency workbench, aalborg\u00a0edition. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 573\u2013582. Springer, Cham (2015). doi: 10.1007\/978-3-319-25150-9_33"},{"key":"9_CR2","first-page":"25","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25\u201359 (1987)","journal-title":"Comput. Netw."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Boudol, G., Roy, V., de Simone, R., Vergamini, D.: Process calculi, from theory to practice: verification tools. In: Sifakis [25], pp. 1\u201310","DOI":"10.1007\/3-540-52148-8_1"},{"key":"9_CR4","unstructured":"CAV award (2013). http:\/\/i-cav.org\/cav-award"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-60630-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Cleaveland","year":"1995","unstructured":"Cleaveland, R., Madelaine, E., Sims, S.: A front-end generator for verification tools. In: Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B. (eds.) TACAS 1995. LNCS, vol. 1019, pp. 153\u2013173. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60630-0_8"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench. In: Sifakis [25], pp. 24\u201337","DOI":"10.1007\/3-540-52148-8_3"},{"issue":"1","key":"9_CR7","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Trans. Program. Lang. Syst. 15(1), 36\u201372 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"R Cleaveland","year":"1996","unstructured":"Cleaveland, R., Sims, S.: The NCSU concurrency workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 394\u2013397. Springer, Heidelberg (1996). doi: 10.1007\/3-540-61474-5_87"},{"key":"9_CR9","unstructured":"Dijkstra, E.W.: Over seinpalen. Circulated privately, n.d"},{"key":"9_CR10","unstructured":"Garavel, H.: Compilation et v\u00e9rification de programmes LOTOS. Ph.D. thesis, Joseph Fourier University, Grenoble, France (1989)"},{"key":"9_CR11","unstructured":"The Go programming language specification. http:\/\/golang.org\/ref\/spec"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: Shared classes. In: Operating System Principles. Prentice-Hall Series in Automatic Computation, pp. 226\u2013232. Prentice-Hall (1973)","DOI":"10.1007\/978-1-4757-3472-0_9"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: Monitors and concurrent pascal: a personal history. In: Lee, J.A.N., Sammet, J.E. (eds.) History of Programming Languages Conference (HOPL-II), Preprints, Cambridge, Massachusetts, USA, 20\u201323 April 1993, pp. 1\u201335. ACM (1993)","DOI":"10.1145\/154766.155361"},{"issue":"10","key":"9_CR14","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"CAR Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Commun. ACM 17(10), 549\u2013557 (1974)","journal-title":"Commun. ACM"},{"key":"9_CR15","volume-title":"The Spin Model Checker - Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker - Primer and Reference Manual, 1st edn. Addison-Wesley Professional, Boston (2003)","edition":"1"},{"key":"9_CR16","unstructured":"ISO. Information processing systems - Open Systems Interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour. ISO ISO 8807:1989, International Organization for Standardization, Geneva, Switzerland (1989)"},{"key":"9_CR17","unstructured":"Larsen, K.: Context-dependent bisimulation between processes. Ph.D. thesis, University of Edinburgh, Mayfield Road, Edinburgh, Scotland (1986)"},{"issue":"1\u20132","key":"9_CR18","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1\u20132), 134\u2013152 (1997)","journal-title":"STTT"},{"key":"9_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)"},{"key":"9_CR20","volume-title":"Concurrency - State Models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency - State Models and Java Programs. Wiley, Hoboken (1999)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)"},{"key":"9_CR22","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"9_CR23","volume-title":"Communicating and Mobile Systems - The Pi-calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems - The Pi-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: Modelling and verifying key-exchange protocols using CSP and FDR. In: The Eighth IEEE Computer Security Foundations Workshop (CSFW 1995), 13\u201315 March 1995, Kenmare, County Kerry, Ireland, pp. 98\u2013107. IEEE Computer Society (1995)","DOI":"10.1109\/CSFW.1995.518556"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Automatic Verification Methods for Finite State Systems","year":"1990","unstructured":"Sifakis, J. (ed.): CAV 1989. LNCS, vol. 407. Springer, Heidelberg (1990)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BFb0035867","volume-title":"STACS 88","author":"A Soriano","year":"1988","unstructured":"Soriano, A.: Prototype de venus: un outil d\u2019aide \u00e1 la verification de systemes communicantes. In: Cori, R., Wirsing, M. (eds.) STACS 1988. LNCS, vol. 294, pp. 401\u2013402. Springer, Heidelberg (1988). doi: 10.1007\/BFb0035867"}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T09:28:37Z","timestamp":1569922117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}