Skip to content

Lucia Pomello

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

1985–1997

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
1997MFCSA Category of Transition Systems and Its Relations with Orthomodular Posets.Luca Bernardinello, Lucia Pomello
1988CONCURA State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone
1985ICDCSExhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone