| dbo:abstract
|
- Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. (en)
- 安德鲁·威廉·"比尔"·罗斯科（Andrew William "Bill" Roscoe；1956年－），是一个苏格兰计算机科学家。他在2004年至2014年间担任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。 罗斯科教授的研究领域是并发理论，特别是和東尼·霍爾一起研究用于构建通信顺序进程（CSP）的语义及其相关的occam programming language。他和别人共同创建了正規系統（歐洲）有限公司（Formal Systems (Europe) Limited）并且研究（FDR）工具的算法。 (zh)
- Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,, особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR). (uk)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3864 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
|
- University of Oxford (en)
|
| dbp:birthPlace
| |
| dbp:citizenship
| |
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:fields
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:thesisTitle
|
- A Mathematical Theory of Communicating Processes (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford. (en)
- 安德鲁·威廉·"比尔"·罗斯科（Andrew William "Bill" Roscoe；1956年－），是一个苏格兰计算机科学家。他在2004年至2014年间担任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。 罗斯科教授的研究领域是并发理论，特别是和東尼·霍爾一起研究用于构建通信顺序进程（CSP）的语义及其相关的occam programming language。他和别人共同创建了正規系統（歐洲）有限公司（Formal Systems (Europe) Limited）并且研究（FDR）工具的算法。 (zh)
- Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,, особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром. Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR). (uk)
|
| rdfs:label
|
- Bill Roscoe (en)
- Білл Роско (uk)
- 比尔·罗斯科 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is foaf:primaryTopic
of | |
