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.
|
|