Ingolfsdottir, I.
9  results:
Search for persons X
?
6

A unified rule format for bounded nondeterminism in SOS wit..:

Aceto, L. ; Fábregas, I. ; García-Pérez, A..
Journal of Logical and Algebraic Methods in Programming.  92 (2017)  - p. 64-86 , 2017
 
?
8

List of Contributors:

, In: Handbook of Process Algebra,
Aceto, L. ; Baeten, J.C.M. ; Basten, T.... - p. xi-xii , 2001
 
?
9

When are prime formulae characteristic?:

L. Aceto ; Della Monica, D ; I. F'abregas.
info:eu-repo/semantics/altIdentifier/wos/WOS:000371025600011.  , 2015
 
1-9