Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
Monday, 18th May, 1998: Simon Mørk
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > Monday, 18th May, 1998: Simon Mørk

Speaker: Simon Mørk, Technical University of Denmark
Title: A Universal Reactive Machine for CCS
Time: Monday, 18th May, 1998, 14:00
Abstract:

Turing showed the existence of a model universal for the set of Turing machines in the sense that given an encoding of any Turing machine as input the universal Turing machine simulates it. We introduce the concept of universality for reactive systems and construct a CCS process universal in the sense that, given an encoding of any CCS process, it behaves like this process up to weak bisimulation. This construction has a rather non-constructive use of silent actions and we argue (informally) that this would be the case for any universal CCS process.