DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Observing context alterations

Bartek Klin
 Computer Laboratory, University of Cambridge

Wednesday January 27, 14:00 - 15:00
IT University, Copenhagen. Room: 4A14

Abstract:

I study the problem of defining a general notion of equivalence for reactive system specifications, that would give expected results on both synchronous and asynchronous CCS. I show that various flavours of the "context as labels" approach seem inadequate for that purpose, and I suggest an alternative approach of "context alterations as labels", loosely based on the general philosophy of Milner's button-pushing experiments.


Scientific host: Rasmus Møgelberg Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org