Lucia Pomello

According to our database1, Lucia Pomello
  • authored at least 39 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Weak Observable Liveness and Infinite Games on Finite Graphs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.
T. Petri Nets and Other Models of Concurrency, 2016

2015
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
Modeling Distributed Private Key Generation by Composing Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2014

Preface.
Fundam. Inform., 2014

Closed Sets in Occurrence Nets with Conflicts.
Fundam. Inform., 2014

Orthomodular algebraic lattices related to combinatorial posets.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Morphisms on Marked Graphs.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.
Trans. Petri Nets and Other Models of Concurrency, 2013

Modeling Distributed Private Key Generation by Composing Petri Nets.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
Between quantum logic and concurrency.
Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Local state refinement on Elementary Net Systems: an approach based on morphisms.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011
On Orthomodular Posets Generated by Transition Systems.
Electr. Notes Theor. Comput. Sci., 2011

2010
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets.
Fundam. Inform., 2010

2009
Orthomodular Lattices Induced by the Concurrency Relation
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Closure Operators Associated to Partially Ordered Sets.
Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

Orthomodular Lattices in Occurrence Nets.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
A Multi-facet Approach to Dynamic Agent Systems.
Fundam. Inform., 2008

2007
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces.
Fundam. Inform., 2007

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.
Proceedings of the Membrane Computing, 8th International Workshop, 2007

2004
Modelling Mobility with Petri Hypernets.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formal Tools for Modular System Development.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
An algebraic model of observable properties in distributed systems.
Theor. Comput. Sci., 2003

Modular System Development with Pullbacks.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

1999
Observation equivalences for the semantics of inheritance.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1997
A Category of Transition Systems and Its Relations with Orthomodular Posets.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1992
An Algebraic Characterisation of Elementary Net System (Observable) State Space.
Formal Asp. Comput., 1992

A survey of equivalence notions for net based systems.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991
Concurrent Bisimulations in Petri Nets.
Acta Inf., 1991

1989
Refinement of Concurrent Systems Based on Local State Transformations.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

A state transformation preorder over a class of EN systems.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
Concurrency versus interleaving: an instructuve example.
Bulletin of the EATCS, 1987

1985
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

Some equivalence notions for concurrent systems. An overview.
Proceedings of the Advances in Petri Nets 1985, 1985

1982
Real Systems Modeling: A Formal but Realistic Approach to Organizational Design.
International Working Conference on Model Realism, 1982

Milner's Communicating Systems and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982

Equivalence Notions for Concurrent Systems.
Proceedings of the Applications and Theory of Petri Nets, 1982

1981
Superposed Automata Nets.
Proceedings of the Application and Theory of Petri Nets, 1981


  Loading...