BOLOGNESI, TOMMASO
BOLOGNESI, TOMMASO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.021 secondi).
Single-step and asymptotic mutual information in bipartite boolean nets
2019 Bolognesi T.
LOTOS-like composition of boolean nets and causal set construction
2017 Bolognesi, T
Humanity is much more than the sum of humans
2016 Bolognesi, T
Let's consider two spherical chickens
2016 Bolognesi T.
Spacetime computing: towards algorithmic causal sets with special-relativistic properties
2016 Bolognesi T.
Algorithmic causal sets for a computational spacetime
2013 Bolognesi, T
Do particles evolve?
2013 Bolognesi T.
Correctness preserving transformations for the early phases of software development
1995 BOLOGNESI T; DE FRUTOS D.; LANGERAK R.; LATELLA D.
GLOW 3.0 - A Graphical LOTOS Browser
1995 Bolognesi, T; Caneve, M; Salvatori, E
A timed full LOTOS with time/action tree semantics
1994 Bolognesi, T; Lucidi, F
Equivalence verification: theory, algorithms, and a tool
1989 Bolognesi, T; Caneve, M
Introduction to the ISO Specification Language LOTOS
1989 Bolognesi, T; Brinksma, E