Authors: Fages, F Ruet, P Soliman, S

Citation: F. Fages et al., Linear concurrent constraint programming: Operational and phase semantics, INF COMPUT, 165(1), 2001, pp. 14-41

Authors: Abrusci, VM Ruet, P

Citation: Vm. Abrusci et P. Ruet, Non-commutative logic I: the multiplicative fragment, ANN PUR APP, 101(1), 2000, pp. 29-64