Search the dblp DataBase
Lucia Pomello :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] Lucia Pomello , Luca Bernardinello Formal Tools for Modular System Development. [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:77-96 [Conf ] 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 ] 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 ] 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 ] C. Balzarotti , Fiorella de Cindio , Lucia Pomello Observation equivalences for the semantics of inheritance. [Citation Graph (0, 0)][DBLP ] FMOODS, 1999, pp:- [Conf ] 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 ] 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 ] 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 ] Lucia Pomello Refinement of Concurrent Systems Based on Local State Transformations. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1989, pp:641-668 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP ] Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. [Citation Graph (, )][DBLP ] Orthomodular Lattices Induced by the Concurrency Relation [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.301secs