University of Cambridge > > Semantics Lunch (Computer Laboratory) > A unifying model for computational objects

A unifying model for computational objects

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity