BERNARDINELLO, LUCA

BERNARDINELLO, LUCA  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.022 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Towards Modular Synthesis of EN Systems 03 - Contributo in libro 2002 Bernardinello, LPomello, L +
Modular system development with pullbacks 02 - Intervento a convegno 2003 Bernardinello, LPomello, L +
An Algebraic Model of Observable Properties in Distributed Systems 01 - Articolo su rivista 2003 Bernardinello, LFerigato, CPomello Chinaglia Pomello, L
Formal Tools for Modular System Development 02 - Intervento a convegno 2004 POMELLO CHINAGLIA POMELLO, LUCIABERNARDINELLO, LUCA
Modelling mobility with Petri Hypernets 02 - Intervento a convegno 2005 Bernardinello, LPomello, L +
On preserving structural and behavioural properties by composing net systems on interfaces 01 - Articolo su rivista 2007 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 02 - Intervento a convegno 2007 BERNARDINELLO, LUCAMASCHERONI, MARCOPOMELLO CHINAGLIA POMELLO, LUCIA +
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 03 - Contributo in libro 2008 Bernardinello, LPomello, L +
On orthomodular posets generated by transition systems 02 - Intervento a convegno 2008 ROMBOLA', STEFANIAPOMELLO CHINAGLIA POMELLO, LUCIABERNARDINELLO, LUCA
A Multi-facet Approach to Dynamic Agent Systems 01 - Articolo su rivista 2008 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
Orthomodular lattices induced by the concurrency relation 01 - Articolo su rivista 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Concurrency, communication and computation. A position paper 03 - Contributo in libro 2009 Bernardinello, LCardone, FPomello, L
Orthomodular lattices induced by the concurrency relation 02 - Intervento a convegno 2009 Bernardinello, LPomello, L +
Orthomodular lattices in occurrence nets 02 - Intervento a convegno 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Closure operators associated to partially ordered sets 02 - Intervento a convegno 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA +
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 01 - Articolo su rivista 2010 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Dynamically closed sets for the logical analysis of systems 99 - Altro 2011 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
On orthomodular posets generated by transition systems 01 - Articolo su rivista 2011 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
A framework for resource management in air traffic systems 02 - Intervento a convegno 2011 BERNARDINELLO, LUCALULLI, GUGLIELMORAIBULET, CLAUDIA
Between quantum logic and concurrency 02 - Intervento a convegno 2012 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +