The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lucia Pomello: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [Conf]
  2. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Superposed Automata Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:269-279 [Conf]
  3. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Equivalence Notions for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:29-39 [Conf]
  4. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Milner's Communicationg Systmes and Petri Nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:40-59 [Conf]
  5. Lucia Pomello
    Some equivalence notions for concurrent systems. An overview. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:381-400 [Conf]
  6. Lucia Pomello, Luca Bernardinello
    Formal Tools for Modular System Development. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:77-96 [Conf]
  7. Lucia Pomello, Grzegorz Rozenberg, Carla Simone
    A survey of equivalence notions for net based systems. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:410-472 [Conf]
  8. Lucia Pomello, Carla Simone
    A state transformation preorder over a class of EN systems. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:436-456 [Conf]
  9. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:222-236 [Conf]
  10. C. Balzarotti, Fiorella de Cindio, Lucia Pomello
    Observation equivalences for the semantics of inheritance. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  11. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:486-495 [Conf]
  12. Luca Bernardinello, Lucia Pomello
    A Category of Transition Systems and Its Relations with Orthomodular Posets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:139-148 [Conf]
  13. Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
    Real Systems Modeling: A Formal but Realistic Approach to Organizational Design. [Citation Graph (0, 0)][DBLP]
    International Working Conference on Model Realism, 1982, pp:134-152 [Conf]
  14. Lucia Pomello
    Refinement of Concurrent Systems Based on Local State Transformations. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:641-668 [Conf]
  15. Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
    Modelling Mobility with Petri Hypernets. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:28-44 [Conf]
  16. Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello
    Concurrent Bisimulations in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:3, pp:231-264 [Journal]
  17. Luca Castellano, Giorgio De Michelis, Lucia Pomello
    Concurrency versus interleaving: an instructuve example. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:31, n:, pp:12-14 [Journal]
  18. Lucia Pomello, Carla Simone
    An Algebraic Characterisation of Elementary Net System (Observable) State Space. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6A, pp:612-637 [Journal]
  19. Luca Bernardinello, Carlo Ferigato, Lucia Pomello
    An algebraic model of observable properties in distributed systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:637-668 [Journal]

  20. Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP]


  21. Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. [Citation Graph (, )][DBLP]


  22. Orthomodular Lattices Induced by the Concurrency Relation [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002