Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Bill_Roscoe> ?p ?o. }
Showing items 1 to 97 of
97
with 100 items per page.
- Bill_Roscoe abstract "Andrew William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford.Professor Roscoe has undertaken important theoretical research work in the area of concurrency, 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 alias "Roscoe, A. William".
- Bill_Roscoe almaMater University_of_Oxford.
- Bill_Roscoe birthDate "1956".
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe birthYear "1956".
- 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 wikiPageRevisionID "584444303".
- Bill_Roscoe almaMater "Oxford University".
- Bill_Roscoe alternativeNames "Roscoe, A. William".
- Bill_Roscoe birthPlace Dundee.
- Bill_Roscoe birthPlace Scotland.
- Bill_Roscoe citizenship "United Kingdom".
- Bill_Roscoe dateOfBirth "1956".
- Bill_Roscoe doctoralAdvisor Tony_Hoare.
- Bill_Roscoe fields Computer_science.
- Bill_Roscoe hasPhotoCollection Bill_Roscoe.
- Bill_Roscoe knownFor Communicating_sequential_processes.
- Bill_Roscoe name "Bill Roscoe".
- Bill_Roscoe name "Roscoe, Bill".
- Bill_Roscoe nationality "Scottish".
- Bill_Roscoe placeOfBirth Dundee.
- Bill_Roscoe placeOfBirth Scotland.
- Bill_Roscoe shortDescription "Computer scientist".
- Bill_Roscoe thesisTitle "A Mathematical Theory of Communicating Processes".
- Bill_Roscoe thesisUrl uuid:ed4e2289-f817-4851-868a-00e2c4f48db5.
- Bill_Roscoe thesisYear "1982".
- Bill_Roscoe workplaces University_of_Oxford.
- Bill_Roscoe description "Computer scientist".
- Bill_Roscoe description "Computer scientist".
- 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_Oxford_University_Department_of_Computer_Science.
- 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 type AlumniOfUniversityCollege,Oxford.
- Bill_Roscoe type Alumnus109786338.
- Bill_Roscoe type Associate109816771.
- Bill_Roscoe type CausalAgent100007347.
- Bill_Roscoe type Colleague109935990.
- Bill_Roscoe type ComputerScientist109951070.
- Bill_Roscoe type ComputerUser109951274.
- Bill_Roscoe type FellowsOfUniversityCollege,Oxford.
- Bill_Roscoe type FormalMethodsPeople.
- Bill_Roscoe type Intellectual109621545.
- Bill_Roscoe type LivingPeople.
- Bill_Roscoe type LivingThing100004258.
- Bill_Roscoe type Object100002684.
- Bill_Roscoe type Organism100004475.
- Bill_Roscoe type Peer109626238.
- Bill_Roscoe type PeopleEducatedAtTheHighSchoolOfDundee.
- Bill_Roscoe type PeopleFromDundee.
- Bill_Roscoe type Person100007846.
- Bill_Roscoe type PhysicalEntity100001930.
- Bill_Roscoe type Scholar110557854.
- Bill_Roscoe type Scientist110560637.
- Bill_Roscoe type ScottishComputerScientists.
- Bill_Roscoe type ScottishScholarsAndAcademics.
- Bill_Roscoe type Whole100003553.
- Bill_Roscoe type YagoLegalActor.
- Bill_Roscoe type YagoLegalActorGeo.
- Bill_Roscoe type Agent.
- Bill_Roscoe type Person.
- Bill_Roscoe type Scientist.
- Bill_Roscoe type Person.
- Bill_Roscoe type Scientist.
- Bill_Roscoe type Q215627.
- Bill_Roscoe type Q5.
- Bill_Roscoe type Agent.
- Bill_Roscoe type NaturalPerson.
- Bill_Roscoe type Thing.
- Bill_Roscoe type Person.
- Bill_Roscoe comment "Andrew William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford.Professor Roscoe has undertaken important theoretical research work in the area of concurrency, 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 m.04pfmk.
- Bill_Roscoe sameAs Q4910708.
- Bill_Roscoe sameAs Q4910708.
- Bill_Roscoe sameAs 251715.
- Bill_Roscoe sameAs Bill_Roscoe.
- Bill_Roscoe wasDerivedFrom Bill_Roscoe?oldid=584444303.
- Bill_Roscoe givenName "Bill".
- Bill_Roscoe isPrimaryTopicOf Bill_Roscoe.
- Bill_Roscoe name "Bill Roscoe".
- Bill_Roscoe name "Roscoe, Bill".
- Bill_Roscoe surname "Roscoe".