Authors: BOS SHJ RENIERS MA

Citation: Shj. Bos et Ma. Reniers, THE I(2)C-BUS IN DISCRETE-TIME PROCESS ALGEBRA, Science of computer programming, 29(1-2), 1997, pp. 235-258

Authors: FEIJS LMG RENIERS MA

Citation: Lmg. Feijs et Ma. Reniers, LAZY FUNCTIONAL PROGRAMS IN A CONCURRENT ENVIRONMENT, Computer journal, 40(9), 1997, pp. 572-584

Authors: MAUW S RENIERS MA

Citation: S. Mauw et Ma. Reniers, COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS - REPLY, Computer journal, 37(9), 1994, pp. 815-817

Authors: MAUW S RENIERS MA

Citation: S. Mauw et Ma. Reniers, AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS, Computer journal, 37(4), 1994, pp. 269-277

Authors: MAUW S RENIERS MA

Citation: S. Mauw et Ma. Reniers, AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS, Computer journal, 37(4), 1994, pp. 269-277