CNR Institutional Research Information System

BOLOGNESI, TOMMASO

BOLOGNESI, TOMMASO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.08 secondi).
Titolo Data di pubblicazione Autore(i) File
Integrated Information in Process-Algebraic Compositions 1-gen-2019 Bolognesi T.
Exploring nominal cellular automata 1-gen-2017 Bolognesi, T; Ciancia, V
Simple indicators for Lorentzian causets 1-gen-2016 Bolognesi, T; Lamb, A
Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose 1-gen-2014 Bolognesi T.
Algorithmic causets 1-gen-2011 Bolognesi, T
Building discrete spacetimes by simple deterministic computations 1-gen-2010 Bolognesi T.
Causal sets from simple models of computation 1-gen-2010 Bolognesi T.
A pseudo-random network mobile automaton with linear growth 1-gen-2009 Bolognesi, T
Planar trinet dynamics with two rewrite rules 1-gen-2008 Bolognesi T.
Behavioral complexity indicators for process algebra: the NKS approach 1-gen-2007 Bolognesi T.
Special Section on St.Eve workshop - Introduction 1-gen-2005 Tommaso Bolognesi ; John Derrick
Predicates for state changes vs. processes for event patterns 1-gen-2004 Bolognesi T.
Toward constraint-object-oriented development 1-gen-2000 Bolognesi, T
A consistent causality based view on a timed process algebra including urgent interactions 1-gen-1998 Kaoten, Jp; Latella, D; Langerak, R; Brinksma, E; Bolognesi, T
A layer on top of Prolog for composing behavioural constraints 1-gen-1998 Bolognesi T.; Accordino F.
Constraint-oriented style for object-oriented formal specification 1-gen-1998 Bolognesi T.; Derrick J.
Expressive flexibility of a constraint-oriented notation 1-gen-1997 Bolognesi, T
Regrouping parallel processes 1-gen-1996 Bolognesi T.
Converging towards a timed LOTOS standard 1-gen-1994 Bolognesi T.; Lucidi F.; Trigila S.
G-LOTOS: a graphical language for concurrent systems 1-gen-1994 Bolognesi, T; Najm, E; Tilanus, Paj