Obserwuj
Lucia Pomello
Lucia Pomello
Associate Professor of Computer Science, University of Milano-Bicocca
Zweryfikowany adres z disco.unimib.it
Tytuł
Cytowane przez
Cytowane przez
Rok
A survey of equivalence notions for net based systems
L Pomello, G Rozenberg, C Simone
Advances in Petri Nets 1992, 410-472, 1992
1991992
Concurrent bisimulations in Petri nets
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-264, 1991
1881991
Some equivalence notions for concurrent systems. An overview
L Pomello
European Workshop on Applications and Theory in Petri Nets, 381-400, 1985
1491985
Concurrency versus interleaving: an instructuve example
L Castellano, GD Michelis, L Pomello
Bulletin of the EATCS 31, 12-14, 1987
1101987
Superposed automata nets
F De Cindio, G De Michelis, L Pomello, C Simone
Application and Theory of Petri Nets: Selected Papers from the First and the …, 1982
921982
Modelling mobility with Petri hypernets
MA Bednarczyk, L Bernardinello, W Pawłowski, L Pomello
International Workshop on Algebraic Development Techniques, 28-44, 2004
672004
Modular system development with pullbacks
MA Bednarczyk, L Bernardinello, B Caillaud, W Pawłowski, L Pomello
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
432003
Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 …
C Girault, W Reisig
Springer Science & Business Media, 2012
40*2012
Fully concurrent bisimulation
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-261, 1991
321991
Milner’s communicating systems and Petri nets
F De Cindio, G De Michelis, L Pomello, C Simone
Applications and Theory of Petri Nets: Selected Papers from the 3rd European …, 1983
291983
An algebraic model of observable properties in distributed systems
L Bernardinello, C Ferigato, L Pomello
Theoretical Computer Science 290 (1), 637-668, 2003
252003
Observation equivalences for the semantics of inheritance
C Balzarotti, F De Cindio, L Pomello
International Conference on Formal Methods for Open Object-Based Distributed …, 1999
221999
On preserving structural and behavioural properties by composing net systems on interfaces
L Bernardinello, E Monticelli, L Pomello
Fundamenta Informaticae 80 (1-3), 31-47, 2007
202007
A Petri net model for CSP
F De Cindio, G De Michelis, L Pomello, C Simone
Proc. CIL 81, 1981
201981
Local state refinement and composition of elementary net systems: An approach based on morphisms
L Bernardinello, E Mangioni, L Pomello
Transactions on Petri Nets and Other Models of Concurrency VIII, 48-70, 2013
192013
A state transformation preorder over a class of EN systems
L Pomello, C Simone
Advances in Petri Nets 1990 10, 436-456, 1991
181991
Formal tools for modular system development
L Pomello, L Bernardinello
International Conference on Application and Theory of Petri Nets, 77-96, 2004
152004
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.
F de Cindio, G De Michelis, L Pomello, C Simone
ICDCS, 486-495, 1985
151985
Towards Modular Synthesis of Elementary Net Systems
L Bernardinello, C Ferigato, L Pomello
Synthesis and Control of Discrete Event Systems, 103-113, 2002
142002
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence
F De Cindio, G De Michelis, L Pomello, C Simone
CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG …, 1988
121988
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20