( en | de | ru )

 

Disambiguation of "Pomello, Lucia"

Author of the publication

copydeleteadd this publication to your clipboard
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.

, , , and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 222-236. Springer, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Annie Luciani

Fabio Luciani

Etienne Luciani

Andrea Luciani

Sergio Lucia

 

Other publications of authors with the same name

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets., , , and . Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 124-137. Springer, (2007)A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence., , , and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 222-236. Springer, (1988)Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design., , , and . ICDCS, page 486-495. IEEE Computer Society, (1985)On Orthomodular Posets Generated by Transition Systems., , and . QPL/DCM@ICALP, volume 270 of Electronic Notes in Theoretical Computer Science, page 147-154. Elsevier, (2008)On the Decomposition of Regional Events in Elementary Systems., , , and . ATAED@Petri Nets/ACSD, volume 2115 of CEUR Workshop Proceedings, page 39-55. CEUR-WS.org, (2018)Compositional Discovery of Workflow Nets from Event Logs Using Morphisms., , , and . ATAED@Petri Nets/ACSD, volume 2115 of CEUR Workshop Proceedings, page 23-38. CEUR-WS.org, (2018)Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets., , , and . Trans. Petri Nets Other Model. Concurr., (2023)Weak Observable Liveness and Infinite Games on Finite Graphs., , and . Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 181-199. Springer, (2017)On Stability of Regional Orthomodular Posets., , , and . Trans. Petri Nets Other Model. Concurr., (2018)Soundness-preserving composition of synchronously and asynchronously interacting workflow net components., , , and . CoRR, (2020)