G. Michele Pinna

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 24

Top Topics

Causal Dependencies

Discrete Dynamical Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna
Model Checking Reversible Systems: Forwardly. RC (2024)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, categorically. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. FORTE (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Reversible Perspective on Petri Nets and Event Structures. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Truly Concurrent Semantics for Reversible CCS. CoRR (2023)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A Petri net view of covalent bonds. Theor. Comput. Sci. 908 (2022)
Gabriel Ciobanu, G. Michele Pinna
Memory associated with membranes systems. J. Membr. Comput. 3 (2) (2021)
G. Michele Pinna
A new operational representation of dependencies in Event Structures. Log. Methods Comput. Sci. 17 (4) (2021)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures. LICS (2021)
Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Towards a Truly Concurrent Semantics for Reversible CCS. RC (2021)
G. Michele Pinna
Representing Dependencies in Event Structures. Log. Methods Comput. Sci. 16 (2) (2020)
G. Michele Pinna, Eric Fabre
nets: A uniform approach to unfoldings. J. Log. Algebraic Methods Program. 112 (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC (2020)
G. Michele Pinna
A new operational representation of dependencies in Event Structures. CoRR (2020)
G. Michele Pinna
Operational Representation of Dependencies in Context-Dependent Event Structures. COORDINATION (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Causal Nets and Reversible Event Structures. CoRR (2019)
G. Michele Pinna
Representing Dependencies in Event Structures. CoRR (2019)
G. Michele Pinna
Representing Dependencies in Event Structures. COORDINATION (2019)
Eric Fabre, G. Michele Pinna
Toward a Uniform Approach to the Unfolding of Nets. ICE (2018)
Giovanni Casu, G. Michele Pinna
Petri nets and dynamic causality for service-oriented computations. SAC (2017)
G. Michele Pinna
Reversing Steps in Membrane Systems Computations. Int. Conf. on Membrane Computing (2017)
Giovanni Casu, G. Michele Pinna
Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. LATA (2017)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85 (3) (2016)
Giovanni Casu, G. Michele Pinna
An Unifying Framework for Compacting Petri Nets Behaviors. ICTCS (2016)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri nets. Sci. Comput. Program. 112 (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Models of Circular Causality. ICDCIT (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
A note on two notions of compliance. ICE (2014)
Gabriel Ciobanu, G. Michele Pinna
Catalytic and communicating Petri nets are Turing complete. Inf. Comput. 239 (2014)
Giovanni Casu, G. Michele Pinna
Flow Unfolding of Multi-clock Nets. Petri Nets (2014)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Circular Causality in Event Structures. Fundam. Informaticae 134 (3-4) (2014)
Gabriel Ciobanu, G. Michele Pinna, Dragos Sburlan
Power of Causal Dependencies in Rule-Based Systems. J. Autom. Lang. Comb. 19 (1-4) (2014)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri Nets and Contracts. FSEN (2013)
G. Michele Pinna, Andrea Saba
Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. 431 (2012)
Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
Timed Catalytic Petri Nets. SYNASC (2012)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri nets and contracts CoRR (2012)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
An event-based model for contracts PLACES (2012)
Gabriel Ciobanu, G. Michele Pinna
Catalytic Petri Nets Are Turing Complete. LATA (2012)
G. Michele Pinna
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings. Petri Nets (2011)
G. Michele Pinna, Andrea Saba
Simultaneity in Event Structures. TAMC (2010)
G. Michele Pinna, Andrea Saba
Dependencies and Simultaneity in Membrane Systems MeCBIC (2009)
Nadia Busi, G. Michele Pinna
Process discovery and Petri nets. Math. Struct. Comput. Sci. 19 (6) (2009)
Tommaso Flaminio, G. Michele Pinna, Elisa B. P. Tiezzi
A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets Syst. 159 (10) (2008)
Mario Coppo, Elena Lodi, G. Michele Pinna
Foreword. Theory Comput. Syst. 42 (3) (2008)
G. Michele Pinna, Andrea Saba
An Event Based Semantics of P Systems. Sci. Ann. Comput. Sci. 18 (2008)
Nadia Busi, G. Michele Pinna
Characterizing Workflow Nets Using Regions. SYNASC (2006)
G. Michele Pinna
Event Structures with Disabling/Enabling Relation and Event Automata. Fundam. Informaticae 73 (3) (2006)
G. Michele Pinna
Event Structures for the Collective Tokens Philosophy of Inhibitor Nets. MFCS (2005)
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323 (1-3) (2004)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13 (2) (2003)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48 (1) (2002)
Agathe Merceron, G. Michele Pinna
Component-based Verification in a Synchronous Setting. Int. J. Softw. Eng. Knowl. Eng. 11 (2) (2001)
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
Specifying and verifying reactive systems in a multi-language environment. Electron. Notes Theor. Comput. Sci. 62 (2001)
Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. CONCUR (2000)
Nadia Busi, G. Michele Pinna
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 44 (3) (2000)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46 (2) (2000)
Agathe Merceron, G. Michele Pinna
Refinement and Modular Verification with Observers. APAQS (2000)
Nadia Busi, G. Michele Pinna
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundam. Informaticae 40 (2-3) (1999)
Reinhard Budde, G. Michele Pinna, Axel Poigné
Coordination of Synchronous Programs. COORDINATION (1999)
Agathe Merceron, Monika Müllerburg, G. Michele Pinna
Verifying a Time-Triggered Protocol in a Multi-language Environment. SAFECOMP (1998)
Nadia Busi, G. Michele Pinna
Synthesis of Nets with Inhibitor Arcs. CONCUR (1997)
Nadia Busi, G. Michele Pinna
Non Sequential Semantics for Contextual P/T Nets. Application and Theory of Petri Nets (1996)
G. Michele Pinna, Axel Poigné
On the Nature of Events: Another Perspective in Concurrency. Theor. Comput. Sci. 138 (2) (1995)
G. Michele Pinna, Axel Poigné
On the Specification of Elementary Reactive Behaviour. MFPS (1993)
G. Michele Pinna, Axel Poigné
On the Nature of Events. MFCS (1992)
Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14 (1) (1991)