A unifying model for computational objects

Add to your list(s) Download to your calendar using vCal

• Tony Hoare (Microsoft Research)
• Monday 06 April 2009, 12:45-14:00
• Room FW26, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Sam Staton.

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.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Room FW26, Computer Laboratory, William Gates Building
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.