Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site watmath.UUCP
Path: utzoo!watmath!mwang
From: mwang@watmath.UUCP (mwang)
Newsgroups: ont.events
Subject: UW Inf. Logic Sem., Mr. Tremblay on "A Calculus for Communicating Systems" by R. Milner.
Message-ID: <6805@watmath.UUCP>
Date: Tue, 7-Feb-84 11:28:40 EST
Article-I.D.: watmath.6805
Posted: Tue Feb  7 11:28:40 1984
Date-Received: Thu, 9-Feb-84 04:04:45 EST
Expires: Tue, 14-Feb-84 00:00:00 EST
Organization: U of Waterloo, Ontario
Lines: 33


_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S

_I_n_f_o_r_m_a_t_i_c _L_o_g_i_c _S_e_m_i_n_a_r
                           -  Monday, February 13, 1984.

Guy Tremblay, a graduate student  of  this  department,
will  speak on ``A Calculus for Communicating Systems''
by R. Milner.

TIME:                3:30 PM

ROOM:              MC 5158A

ABSTRACT

The talk will be about a calculus whose main goals  are
to  describe the behaviours of concurrent/communicating
systems and to be able to prove properties about  those
behaviours.

The meaning of the calculus will be defined both opera-
tionally - by mean of reduction rules - and denotation-
ally - by  giving  a  model  for  the  notion  of  non-
deterministic behaviours.

The calculus will then be used to give  a  denotational
semantics, for an imperative concurrent language.

                   February 7, 1984