Follow
G. Michele Pinna
G. Michele Pinna
Università di Cagliari, Dipartimento di Matematica e Informatica
Verified email at unica.it
Title
Cited by
Cited by
Year
On the nature of events: another perspective in concurrency
GM Pinna, A Poigné
Theoretical Computer Science 138 (2), 425-454, 1995
801995
Domain and event structure semantics for Petri nets with read and inhibitor arcs
P Baldan, N Busi, A Corradini, GM Pinna
Theoretical Computer Science 323 (1-3), 129-189, 2004
792004
An iterative algorithm for applying the theory of regions in process mining
BF Van Dongen, N Busi, GM Pinna, WMP van der Aalst
Technische Universiteit Eindhoven, 2007
612007
Process semantics for place/transition nets with inhibitor and read arcs
N Busi, GM Pinna
Fundamenta Informaticae 40 (2-3), 165-197, 1999
451999
Non sequential semantics for contextual P/T nets
N Busi, GM Pinna
International Conference on Application and Theory of Petri Nets, 113-132, 1996
391996
Synthesis of nets with inhibitor arcs
N Busi, GM Pinna
International Conference on Concurrency Theory, 151-165, 1997
381997
Functional concurrent semantics for petri nets with read and inhibitor arcs
P Baldan, N Busi, A Corradini, G Michele Pinna
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
322000
On the nature of events
GM Pinna, A Poigne
Mathematical Foundations of Computer Science 1992: 17th International …, 1992
311992
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
302020
Lending petri nets
M Bartoletti, T Cimoli, GM Pinna
Science of Computer Programming 112, 75-101, 2015
272015
Contracts as games on event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
Journal of logical and algebraic methods in programming 85 (3), 399-424, 2016
242016
Reversing steps in membrane systems computations
G Michele Pinna
Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK …, 2018
212018
Lending Petri nets and contracts
M Bartoletti, T Cimoli, GM Pinna
Fundamentals of Software Engineering: 5th International Conference, FSEN …, 2013
192013
Reversible occurrence nets and causal reversible prime event structures
H Melgratti, CA Mezzina, I Phillips, GM Pinna, I Ulidowski
International Conference on Reversible Computation, 35-53, 2020
162020
Petri nets and dynamic causality for service-oriented computations
G Casu, GM Pinna
Proceedings of the Symposium on Applied Computing, 1326-1333, 2017
162017
A Causal Semantics for Contextual P/T Nets
N Busi, GM Pinna
Proc. ICTCS 95, 311-325, 1995
161995
Process discovery and Petri nets
N Busi, GM Pinna
Mathematical Structures in Computer Science 19 (6), 1091-1124, 2009
152009
Verifying a time-triggered protocol in a multi-language environment
A Merceron, M Müllerburg, GM Pinna
International Conference on Computer Safety, Reliability, and Security, 185-195, 1998
151998
Circular causality in event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
142012
Models of circular causality
M Bartoletti, T Cimoli, GM Pinna, R Zunino
International Conference on Distributed Computing and Internet Technology, 1-20, 2015
122015
The system can't perform the operation now. Try again later.
Articles 1–20