Sfoglia per Autore
On the Decomposition of Regional Events in Elementary Systems
2018 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
Checking weak observable liveness on unfoldings through asynchronous games
2018 Bernardinello, L; Pomello, L; Puerto Aubel, A; Villa, A
On Stability of Regional Orthomodular Posets
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
Synthesis of transition systems from quantum logics
2017 Bernardinello, L; Ferigato, C; Pomello, L; PUERTO AUBEL, A
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
Non-interference notions based on reveals and excludes relations for petri nets
2015 Bernardinello, L; Kilinc, G; 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
Fundamenta Informaticae. Application and Theory of Petri Nets and Concurrency, 2012
2014 Haddad, S; Kleijn, J; POMELLO CHINAGLIA POMELLO, L
Between quantum logic and concurrency
2014 Bernardinello, L; Ferigato, C; POMELLO CHINAGLIA POMELLO, L
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
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