Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

A modelling language approach to defining mathematical structures via semantics

Series
Strachey 100: an Oxford Computing Pioneer
Video Embed
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their meaning is presented.


More in this series

View Series
Journey of a Molecular Detective; David Sherratt

Greetings to the participants at “Strachey 100”

The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method.
Previous
Journey of a Molecular Detective; David Sherratt

Christopher Strachey, First-Class Citizen

Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.
Next

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Jane Hillston
Keywords
Process algebras
Markov chains
performance analysis
dynamic systems
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:33:10

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford