Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Cacciagrano, Diletta Romana"'
Autor:
Barbuti, Roberto, Cacciagrano, Diletta Romana, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Tesei, Luca
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being less discriminating than bisimulation and with a natural interpretation
Externí odkaz:
http://arxiv.org/abs/1108.3424
Autor:
Bartocci, Ezio, Cacciagrano, Diletta Romana, Di Berardini, Maria Rita, Merelli, Emanuela, Tesei, Luca
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models
Externí odkaz:
http://arxiv.org/abs/1011.2488
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2016 30th International Conference on Advanced Information Networking & Applications Workshops (WAINA); 2016, p319-324, 6p