output
20062021
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
collaborating institutions
Showing cs.DCShow all

3 papers · 1 filter

cs.DC2021

Cellular Automata and Kan Extensions

Alexandre Fernandez, Luidnel Maignan, Antoine Spicher

In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function thro…

cs.DC2020★ 1 cited

Processes, Systems and Tests: Defining Contextual Equivalences

Clément Aubert, Daniele Varacca

In this position paper, we would like to offer and defend a new template to study equivalences between programs -- in the particular framework of process algebras for concurrent co…

cs.DC2011★ 3 cited

Generalized Communicating P Systems Working in Fair Sequential Model

Antoine Spicher, Sergey Verlan

In this article we consider a new derivation mode for generalized communicating P systems (GCPS) corresponding to the functioning of population protocols (PP) and based on the sequ…