Білл Роско
науковець у галузі комп'ютерних технологій
Ендрю Вільям Біл Роско (англ. Andrew William «Bill» Roscoe) — шотландський інформатик. Працює в областях теорії рівночасності,[4], особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром.[5] Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
.svg){kind=small}
Примітки
ред.- ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ Математичний генеалогічний проєкт — 1997.
- ↑ https://www.ae-info.org/ae/Member/Roscoe_Andrew
- ↑ https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
- ↑ A. W. Roscoe. Публікації DBLP.
- ↑ Roscoe, A.W., Jones, C.B.[en] and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).
Посилання
ред.- Домашня сторінка [Архівовано 21 лютого 2018 у Wayback Machine.]
- Публікації за ім'ям: Білл Роско індексовані Google Scholar, сервісом Google
- Білл Роско(англ.) у проєкті «Математична генеалогія».