BERNARDINELLO, LUCA
BERNARDINELLO, LUCA
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Towards Modular Synthesis of EN Systems
2002 Bernardinello, L; Ferigato, C; Pomello, L
An Algebraic Model of Observable Properties in Distributed Systems
2003 Bernardinello, L; Ferigato, C; Pomello Chinaglia Pomello, L
Modular system development with pullbacks
2003 Bednarczyk, M; Bernardinello, L; Caillaud, B; Pawlowski, W; Pomello, L
Formal Tools for Modular System Development
2004 POMELLO CHINAGLIA POMELLO, L; Bernardinello, L
Modelling mobility with Petri Hypernets
2005 Bednarczyk, M; Bernardinello, L; Pawlowski, W; Pomello, L
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
2007 Bernardinello, L; Bonzanni, N; Mascheroni, M; POMELLO CHINAGLIA POMELLO, L
On preserving structural and behavioural properties by composing net systems on interfaces
2007 Bernardinello, L; Monticelli, E; POMELLO CHINAGLIA POMELLO, L
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems
2008 Bednarczyk, M; Bernardinello, L; Pawlowski, W; Pomello, L
On orthomodular posets generated by transition systems
2008 Rombola', S; POMELLO CHINAGLIA POMELLO, L; Bernardinello, L
A Multi-facet Approach to Dynamic Agent Systems
2008 Bednarczyk, M; Pawlowski, W; Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Borzyszkowski, T
Closure operators associated to partially ordered sets
2009 Bernardinello, L; Ferigato, C; POMELLO CHINAGLIA POMELLO, L; Rombola', S
Orthomodular lattices induced by the concurrency relation
2009 Bernardinello, L; Pomello, L; Rombolà, S
Concurrency, communication and computation. A position paper
2009 Bernardinello, L; Cardone, F; Pomello, L
Orthomodular lattices induced by the concurrency relation
2009 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombola', S
Orthomodular lattices in occurrence nets
2009 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombola', S
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets
2010 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombola', S
A framework for resource management in air traffic systems
2011 Bernardinello, L; Lulli, G; Raibulet, C
Dynamically closed sets for the logical analysis of systems
2011 Bernardinello, L; Ferigato, C; Haar, S; POMELLO CHINAGLIA POMELLO, L
On orthomodular posets generated by transition systems
2011 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombola', S
Between quantum logic and concurrency
2012 Bernardinello, L; Ferigato, C; POMELLO CHINAGLIA POMELLO, L