Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Bill_Roscoe> ?p ?o }
Showing triples 1 to 100 of
100
with 100 triples per page.
- Bill_Roscoe abstract "Andrew William \"Bill\" 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.Professor Roscoe works in the area of concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.".
- Bill_Roscoe almaMater University_of_Oxford.
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe doctoralAdvisor Tony_Hoare.
- Bill_Roscoe field Computer_science.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Bill_Roscoe wikiPageExternalLink uuid:ed4e2289-f817-4851-868a-00e2c4f48db5.
- Bill_Roscoe wikiPageExternalLink www.cs.ox.ac.uk.
- Bill_Roscoe wikiPageExternalLink bill.roscoe.
- Bill_Roscoe wikiPageID "1276676".
- Bill_Roscoe wikiPageLength "2823".
- Bill_Roscoe wikiPageOutDegree "25".
- Bill_Roscoe wikiPageRevisionID "704033804".
- Bill_Roscoe wikiPageWikiLink Category:1956_births.
- Bill_Roscoe wikiPageWikiLink Category:Alumni_of_University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:Fellows_of_University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:Formal_methods_people.
- Bill_Roscoe wikiPageWikiLink Category:Living_people.
- Bill_Roscoe wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe wikiPageWikiLink Category:People_educated_at_the_High_School_of_Dundee.
- Bill_Roscoe wikiPageWikiLink Category:People_from_Dundee.
- Bill_Roscoe wikiPageWikiLink Category:Scottish_computer_scientists.
- Bill_Roscoe wikiPageWikiLink Category:Scottish_scholars_and_academics.
- Bill_Roscoe wikiPageWikiLink Communicating_sequential_processes.
- Bill_Roscoe wikiPageWikiLink Computer_science.
- Bill_Roscoe wikiPageWikiLink Computer_scientist.
- Bill_Roscoe wikiPageWikiLink Concurrency_(computer_science).
- Bill_Roscoe wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe wikiPageWikiLink Dundee.
- Bill_Roscoe wikiPageWikiLink FDR2.
- Bill_Roscoe wikiPageWikiLink Fellow.
- Bill_Roscoe wikiPageWikiLink Occam_(programming_language).
- Bill_Roscoe wikiPageWikiLink Scotland.
- Bill_Roscoe wikiPageWikiLink Tony_Hoare.
- Bill_Roscoe wikiPageWikiLink University_College,_Oxford.
- Bill_Roscoe wikiPageWikiLink University_of_Oxford.
- Bill_Roscoe wikiPageWikiLinkText "A. W. Roscoe".
- Bill_Roscoe wikiPageWikiLinkText "Bill Roscoe".
- Bill_Roscoe almaMater "Oxford University".
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe citizenship "United Kingdom".
- Bill_Roscoe doctoralAdvisor Tony_Hoare.
- Bill_Roscoe fields Computer_science.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Bill_Roscoe name "Bill Roscoe".
- Bill_Roscoe nationality "Scottish".
- Bill_Roscoe thesisTitle "A Mathematical Theory of Communicating Processes".
- Bill_Roscoe thesisUrl uuid:ed4e2289-f817-4851-868a-00e2c4f48db5.
- Bill_Roscoe thesisYear "1982".
- Bill_Roscoe wikiPageUsesTemplate Template:Birth_year_and_age.
- Bill_Roscoe wikiPageUsesTemplate Template:Compu-bio-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Infobox_scientist.
- Bill_Roscoe wikiPageUsesTemplate Template:Reflist.
- Bill_Roscoe wikiPageUsesTemplate Template:Scotland-academic-bio-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Scotland-scientist-stub.
- Bill_Roscoe wikiPageUsesTemplate Template:Use_dmy_dates.
- Bill_Roscoe workplaces University_of_Oxford.
- Bill_Roscoe subject Category:1956_births.
- Bill_Roscoe subject Category:Alumni_of_University_College,_Oxford.
- Bill_Roscoe subject Category:Fellows_of_University_College,_Oxford.
- Bill_Roscoe subject Category:Formal_methods_people.
- Bill_Roscoe subject Category:Living_people.
- Bill_Roscoe subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Bill_Roscoe subject Category:People_educated_at_the_High_School_of_Dundee.
- Bill_Roscoe subject Category:People_from_Dundee.
- Bill_Roscoe subject Category:Scottish_computer_scientists.
- Bill_Roscoe subject Category:Scottish_scholars_and_academics.
- Bill_Roscoe hypernym Scientist.
- Bill_Roscoe type Agent.
- Bill_Roscoe type List.
- Bill_Roscoe type Person.
- Bill_Roscoe type Scientist.
- Bill_Roscoe type Writer.
- Bill_Roscoe type Person.
- Bill_Roscoe type Educator.
- Bill_Roscoe type List.
- Bill_Roscoe type Member.
- Bill_Roscoe type Method.
- Bill_Roscoe type Scholar.
- Bill_Roscoe type Scientist.
- Bill_Roscoe type Writer.
- Bill_Roscoe type Agent.
- Bill_Roscoe type NaturalPerson.
- Bill_Roscoe type Thing.
- Bill_Roscoe type Q215627.
- Bill_Roscoe type Q5.
- Bill_Roscoe type Q901.
- Bill_Roscoe type Person.
- Bill_Roscoe comment "Andrew William \"Bill\" 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.Professor Roscoe works in the area of concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.".
- Bill_Roscoe label "Bill Roscoe".
- Bill_Roscoe sameAs Q4910708.
- Bill_Roscoe sameAs Bill_Roscoe.
- Bill_Roscoe sameAs m.04pfmk.
- Bill_Roscoe sameAs Q4910708.
- Bill_Roscoe sameAs 比尔·罗斯科.
- Bill_Roscoe wasDerivedFrom Bill_Roscoe?oldid=704033804.
- Bill_Roscoe isPrimaryTopicOf Bill_Roscoe.
- Bill_Roscoe name "Bill Roscoe".