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