Representing Dependencies in Event Structures

Autor: G. Michele Pinna

Publikováno v: Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove depend

Externí odkaz: https://doaj.org/article/d5acef361dd743068cdade0a9e910f85

A note on two notions of compliance

Autor: Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 166, Iss Proc. ICE 2014, Pp 86-93 (2014)

We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning s

Externí odkaz: https://doaj.org/article/b3b2490f1ccb440cb0c367fe0d3962f9

Dependencies and Simultaneity in Membrane Systems

Autor: G. Michele Pinna, Andrea Saba

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 11, Iss Proc. MeCBIC 2009, Pp 155-169 (2009)

Membrane system computations proceed in a synchronous fashion: at each step all the applicable rules are actually applied. Hence each step depends on the previous one. This coarse view can be refined by looking at the dependencies among rule occurren

Externí odkaz: https://doaj.org/article/88c2a1a49fc34ac285f6a802f5e46386

Operational Representation of Dependencies in Context-Dependent Event Structures

Autor: G. Michele Pinna

Publikováno v: Coordination Models and Languages
Lecture Notes in Computer Science
22th International Conference on Coordination Languages and Models (COORDINATION)
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.320-338, ⟨10.1007/978-3-030-50029-0_20⟩
Lecture Notes in Computer Science ISBN: 9783030500283
COORDINATION

Part 8: Modelling; International audience; The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd7031a9b92c3a29e81a183177385803
http://europepmc.org/articles/PMC7282849

Spreading nets: a uniform approach to unfoldings

Autor: G. Michele Pinna, Eric Fabre

Publikováno v: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 112, pp.1-33. ⟨10.1016/j.jlamp.2020.100526⟩
Journal of Logical and Algebraic Methods in Programming, 2020, 112, pp.1-33. ⟨10.1016/j.jlamp.2020.100526⟩

International audience; This paper is devoted to the study of the notion of spread net. A spread net is a (safe) Petri nets where each place is annotated with some information, taken from a suitable information domain, about how such place can get ma

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91b0a907dd40485c264f969594650ab4
https://hal.archives-ouvertes.fr/hal-03130461/file/jlamp-paper-comple-rev2.pdf