The Combinatorics of Barrier Synchronization

Autor: Bodini, Olivier, Dien, Matthieu, Genitrini, Antoine, Peschanski, Frédéric

In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synchronization barriers. We

Externí odkaz: http://arxiv.org/abs/1907.04243

A Decidable Characterization of a Graphical Pi-calculus with Iterators

Autor: Peschanski, Frédéric, Klaudel, Hanna, Devillers, Raymond

Publikováno v: EPTCS 39, 2010, pp. 47-61

This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors. The operational semantics of Pi-gra

Externí odkaz: http://arxiv.org/abs/1011.0220

Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory

Autor: Bertrand, Clément, Klaudel, Hanna, Peschanski, Frédéric

Publikováno v: Application and Theory of Petri Nets and Concurrency ISBN: 9783031066528
43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022)
43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Jun 2022, Bergen, Norway. pp.43--63, ⟨10.1007/978-3-031-06653-5_3⟩

International audience; This paper presents the model of Layered Memory Automata (LaMA) to deal with languages involving infinite alphabets, with practical applications in the analysis of datastreams, or modeling complex resource usages in concurrent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1c74d4616af96e69a0ed263910fc4cd
https://doi.org/10.1007/978-3-031-06653-5_3

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Petri Net Interpretation of Open Reconfigurable Systems.

Autor: Peschanski, Frédéric¹, Klaudel, Hanna², Devillers, Raymond³

Publikováno v: Fundamenta Informaticae. 2013, Vol. 122 Issue 1-2, p85-117. 33p. 10 Diagrams, 3 Charts.