[ont.events] UW Inf. Logic Sem., Mr. Tremblay on "A Calculus for Communicating Systems" by R. Milner.

mwang@watmath.UUCP (mwang) (02/07/84)

_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