Sfoglia per Autore
On Stability of Regional Orthomodular Posets
2017 Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A
Synthesis of transition systems from quantum logics
2017 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Weak observable liveness and infinite games on finite graphs
2017 Bernardinello, L; Kılınç, G; Pomello, L
The legacy of Carl Adam Petri: From automata to communication
2016 Bernardinello, L; Cardone, F; Pomello, L
Non-interference notions based on reveals and excludes relations for petri nets
2016 Bernardinello, L; Kilinc, G; Pomello, L
Petri Net Synthesis
2015 Badouel, E; Bernardinello, L; Darondeau, P
Non-interference notions based on reveals and excludes relations for petri nets
2015 Bernardinello, L; Kilinc, G; Pomello, L
Between quantum logic and concurrency
2014 Bernardinello, L; Ferigato, C; POMELLO CHINAGLIA POMELLO, L
Closed Sets in Occurrence Nets with Conflicts
2014 Bernardinello, L; Ferigato, C; Haar, S; POMELLO CHINAGLIA POMELLO, L
Modeling Distributed Private Key Generation by Composing Petri Nets
2014 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Morphisms on Marked Graphs
2014 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Scaccabarozzi, S
Orthomodular algebraic lattices related to combinatorial posets
2014 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombolà, S
Modeling Distributed Private Key Generation by Composing Petri Nets
2013 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Dynamically Closed Sets in Occurrence Nets
2013 Bernardinello, L; Ferigato, C; Haar, S; POMELLO CHINAGLIA POMELLO, L
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms
2013 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Local state refinement on Elementary Net Systems: an approach based on morphisms
2012 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Composition of Elementary Net Systems based on α-morphisms
2012 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Between quantum logic and concurrency
2012 Bernardinello, L; Ferigato, C; POMELLO CHINAGLIA POMELLO, L
On orthomodular posets generated by transition systems
2011 Bernardinello, L; POMELLO CHINAGLIA POMELLO, L; Rombola', S
A framework for resource management in air traffic systems
2011 Bernardinello, L; Lulli, G; Raibulet, C
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile