E-LIB Suche - Ergebnisse für: Bernardinello, Luca

1

Computing a Parametric Reveals Relation For Bounded Equal-C..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVII; Lecture Notes in Computer Science,

Adobbati, Federica ; Bernardinello, Luca ; Kılınç Soylu, Görkem. - p. 54-83 , 2023

2

Soundness-preserving composition of synchronously and async..:

Bernardinello, Luca ; Lomazova, Irina ; Nesterov, Roman.
Journal of Parallel and Distributed Computing. 179 (2023) - p. 104704 , 2023

Link: https://doi.org/10.1016/..

3

Implementable Strategies for a Two-Player Asynchronous Game..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVII; Lecture Notes in Computer Science,

Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia. - p. 189-211 , 2023

Link: https://doi.org/10.1007/..

4

Application and Theory of Petri Nets and Concurrency: 43rd ..

Lecture Notes in Computer Science, 13288

Bernardinello, Luca ; Petrucci, Laure - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

5

Property-Preserving Transformations of Elementary Net Syste..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVI; Lecture Notes in Computer Science,

Bernardinello, Luca ; Lomazova, Irina ; Nesterov, Roman. - p. 1-23 , 2022

Link: https://doi.org/10.1007/..

6

Discovering architecture-aware and sound process models of ..:

Nesterov, Roman ; Bernardinello, Luca ; Lomazova, Irina.
Software and Systems Modeling. 22 (2022) 1 - p. 351-375 , 2022

Link: https://doi.org/10.1007/..

7

A Two-Player Asynchronous Game on Fully Observable Petri Ne..:

, In: Transactions on Petri Nets and Other Models of Concurrency XV; Lecture Notes in Computer Science,

Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia - p. 126-149 , 2021

Link: https://doi.org/10.1007/..

8

Topics in Region Theory and Synthesis Problems:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Bernardinello, Luca - p. 3-16 , 2021

Link: https://doi.org/10.1007/..

9

The Road from Concurrency to Quantum Logics:

, In: Carl Adam Petri: Ideas, Personality, Impact,

Bernardinello, Luca ; Pomello, Lucia - p. 243-249 , 2019

Link: https://doi.org/10.1007/..

10

On Stability of Regional Orthomodular Posets:

, In: Transactions on Petri Nets and Other Models of Concurrency XIII; Lecture Notes in Computer Science,

Bernardinello, Luca ; Ferigato, Carlo ; Pomello, Lucia. - p. 52-72 , 2018

Link: https://doi.org/10.1007/..

11

Guest Editorial for Special Issue Application of Concurrenc..:

Barkaoui, Kamel ; Bernardinello, Luca ; Mokhov, Andrey
ACM Transactions on Embedded Computing Systems. 14 (2015) 4 - p. 1-2 , 2015

Link: https://doi.org/10.1145/..

12

Guest Editorial for Special Issue Application of Concurrenc..:

Barkaoui, Kamel ; Bernardinello, Luca ; Mokhov, Andrey
ACM Transactions on Embedded Computing Systems (TECS). 14 (2015) 4 - p. 1-2 , 2015

Link: https://dl.acm.org/doi/1..

13

On Orthomodular Posets Generated by Transition Systems:

Bernardinello, Luca ; Pomello, Lucia ; Rombolà, Stefania
Electronic Notes in Theoretical Computer Science. 270 (2011) 1 - p. 147-154 , 2011

Link: https://doi.org/10.1016/..

14

An algebraic model of observable properties in distributed ..:

Bernardinello, Luca ; Ferigato, Carlo ; Pomello, Lucia
Theoretical Computer Science. 290 (2003) 1 - p. 637-668 , 2003

Link: https://doi.org/10.1016/..

15

The synthesis problem for elementary net systems is NP-comp..:

Badouel, Eric ; Bernardinello, Luca ; Darondeau, Philippe
Theoretical Computer Science. 186 (1997) 1-2 - p. 107-134 , 1997

Link: https://doi.org/10.1016/..