Білл Роско
Перейти до навігації
Перейти до пошуку
.svg){kind=small}
Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,[4], особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром.[5] Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
Зноски[ред. | ред. код]
- ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ Математичний генеалогічний проєкт — 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
- Білл Роско(англ.) в проєкті «Математична генеалогія».