![[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)
Robin Milner (University of Cambridge)
Monday 08 June 2009, 12:45-14:00
A Ubiquitous Abstract Machine
- đ¤ Speaker: Robin Milner (University of Cambridge)
- đ Date & Time: Monday 08 June 2009, 12:45 - 14:00
- đ Venue: Room FW26, Computer Laboratory, William Gates Building
Abstract
Informatic systems pervading our environment are going to proliferate. We have few rigorous models and tools for them. The von Neumann machine is no good for this; we need an abstract machine to underpin large distributed mobile interactive non-deterministic systems.
I propose the Bigraphs model for this purpose; I’m discussing it with people who study the design and sociology of these systems. This talk has two parts:
(1) A brief introduction to bigraphs, by example, followed by a summary of various categories (and the functors between them) whose arrows are bigraphs.
(2) An experimental representation of a game called the Savannah game invented by Steve Benford at Nottingham, in which children with laptops and GPSs pretend to be lions hunting wildebeast in the African Savannah.
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.