The SCEAS System
| |||||||

## 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.006secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |