![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Monday 06 April 2009, 12:45-14:00
A unifying model for computational objects
- đ¤ Speaker: Tony Hoare (Microsoft Research)
- đ Date & Time: Monday 06 April 2009, 12:45 - 14:00
- đ Venue: Room FW26, Computer Laboratory, William Gates Building
Abstract
I am looking for a highly modular description of the behaviour of various computational objects (variables, channels, threads, semaphores,...) within a unifying framework. Each type of object should be described independently of the others, independent of the programs which manipulate them, and independent of the language in which they are embedded. The behaviour of the objects is defined axiomatically by means of diagrams. Like Petri nets, event structures, pomsets, transition nets, etc. these can be modelled as labelled graphs. But diagrams are more fun than syntax and semantics, as I hope you will agree.
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Martin's interesting talks
- Room FW26, Computer Laboratory, William Gates Building
- School of Technology
- Semantics Lunch (Computer Laboratory)
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.