Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Peter_Mosses> ?p ?o. }
Showing items 1 to 66 of
66
with 100 items per page.
- Peter_Mosses abstract "Peter D. Mosses (born 1948) is a British computer scientist.Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before the latter's untimely death.Mosses has spent most of his career at BRICS in Denmark. He returned to a chair at Swansea University, Wales. His main contribution has been in the area of formal program semantics. In particular, with David Watt he developed action semantics, a combination of denotational, operational and algebraic semantics.".
- Peter_Mosses birthDate "1948".
- Peter_Mosses birthYear "1948".
- Peter_Mosses country United_Kingdom.
- Peter_Mosses viafId "85427386".
- Peter_Mosses wikiPageExternalLink www.brics.dk.
- Peter_Mosses wikiPageExternalLink homepage.php?staff=P.D.Mosses.
- Peter_Mosses wikiPageID "4319977".
- Peter_Mosses wikiPageRevisionID "580852052".
- Peter_Mosses dateOfBirth "1948".
- Peter_Mosses hasPhotoCollection Peter_Mosses.
- Peter_Mosses name "Mosses, Peter".
- Peter_Mosses subject Category:1948_births.
- Peter_Mosses subject Category:Academics_of_Swansea_University.
- Peter_Mosses subject Category:Alumni_of_Trinity_College,_Oxford.
- Peter_Mosses subject Category:Alumni_of_Wolfson_College,_Oxford.
- Peter_Mosses subject Category:British_computer_scientists.
- Peter_Mosses subject Category:Formal_methods_people.
- Peter_Mosses subject Category:Living_people.
- Peter_Mosses subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Peter_Mosses type Academician109759069.
- Peter_Mosses type AcademicsOfSwanseaUniversity.
- Peter_Mosses type Adult109605289.
- Peter_Mosses type AlumniOfTrinityCollege,Oxford.
- Peter_Mosses type AlumniOfWolfsonCollege,Oxford.
- Peter_Mosses type Alumnus109786338.
- Peter_Mosses type BritishComputerScientists.
- Peter_Mosses type CausalAgent100007347.
- Peter_Mosses type ComputerScientist109951070.
- Peter_Mosses type ComputerUser109951274.
- Peter_Mosses type Educator110045713.
- Peter_Mosses type FormalMethodsPeople.
- Peter_Mosses type Intellectual109621545.
- Peter_Mosses type LivingPeople.
- Peter_Mosses type LivingThing100004258.
- Peter_Mosses type Object100002684.
- Peter_Mosses type Organism100004475.
- Peter_Mosses type Person100007846.
- Peter_Mosses type PhysicalEntity100001930.
- Peter_Mosses type Professional110480253.
- Peter_Mosses type Scholar110557854.
- Peter_Mosses type Scientist110560637.
- Peter_Mosses type Whole100003553.
- Peter_Mosses type YagoLegalActor.
- Peter_Mosses type YagoLegalActorGeo.
- Peter_Mosses type Agent.
- Peter_Mosses type Person.
- Peter_Mosses type Person.
- Peter_Mosses type Q215627.
- Peter_Mosses type Q5.
- Peter_Mosses type Agent.
- Peter_Mosses type NaturalPerson.
- Peter_Mosses type Thing.
- Peter_Mosses type Person.
- Peter_Mosses comment "Peter D. Mosses (born 1948) is a British computer scientist.Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before the latter's untimely death.Mosses has spent most of his career at BRICS in Denmark.".
- Peter_Mosses label "Peter Mosses".
- Peter_Mosses sameAs m.0bwxmq.
- Peter_Mosses sameAs Q7175967.
- Peter_Mosses sameAs Q7175967.
- Peter_Mosses sameAs Peter_Mosses.
- Peter_Mosses wasDerivedFrom Peter_Mosses?oldid=580852052.
- Peter_Mosses givenName "Peter".
- Peter_Mosses isPrimaryTopicOf Peter_Mosses.
- Peter_Mosses name "Mosses, Peter".
- Peter_Mosses name "Peter Mosses".
- Peter_Mosses surname "Mosses".