From the 1 of 1k papers with an AI index.
29.3k citations
- F. Rossi2 profiles18 · h 27
- F. Bach17 · h 108
- S. Tixeuil2 profiles16 · h 35
- Laurent Romary3 profiles15 · h 26
- S. Vérel13 · h 28
- Marc Schoenauer2 profiles12 · h 49
- Konstantin Avrachenkov2 profiles11 · h 41
- B. Mourrain10 · h 44
- Fabien Mathieu2 profiles10 · h 15
- Laetitia Vermeulen-Jourdan10 · h 26
- M. Fliess2 profiles10 · h 51
- Alin Bostan9 · h 30
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR121 papers
- Centre National de la Recherche ScientifiqueFR114 papers
- Centre Inria de SaclayFR103 papers
- Centre Inria de l'Université de LilleFR53 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR40 papers
- Centre Inria de l'université de BordeauxFR34 papers
- Université Grenoble AlpesFR34 papers
- Sorbonne UniversitéFR30 papers
- Institut Élie Cartan de LorraineFR28 papers
- École PolytechniqueFR27 papers
- Laboratoire de l'Informatique du ParallélismeFR27 papers
- LIP6FR26 papers
8 papers · 2 filters
Reducing Weak to Strong Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evo…
Semantics and Security Issues in JavaScript
Stéphane Ducasse, Nicolas Petton, Guillermo Polito +1
There is a plethora of research articles describing the deep semantics of JavaScript. Nevertheless, such articles are often difficult to grasp for readers not familiar with formal…
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Gwenaël Delaval, Alain Girault, Marc Pouzet
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our f…
GADT meet Subtyping
Gabriel Scherer, Didier Rémy
While generalized abstract datatypes (GADT) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean f…
Relaxed Operational Semantics of Concurrent Programming Languages
Gérard Boudol, Gustavo Petri, Bernard Serpette
We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "…
Hide and New in the Pi-Calculus
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus represent…