> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus Beteiligte: Watanabe, Keishi; Nishizaki, Shin-ya Erschienen: International Academy Publishing (IAP), 2017 Erschienen in: Journal of Software, 12 (2017) 7, Seite 570-580 Sprache: Nicht zu entscheiden DOI: 10.17706/jsw.12.7.570-580 ISSN: 1796-217X Schlagwörter: Artificial Intelligence ; Human-Computer Interaction ; Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang