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