2 citations · 6 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 2 cited
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
Manel Barkallah, Jean-Marie Jacquet
Concurrency theory has received considerable attention, but mostly in the scope of synchronous process algebras such as CCS, CSP, and ACP. As another way of handling concurrency, d…
cs.PL2015★ 2 cited
On Distributed Density in Tuple-based Coordination Languages
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
Inspired by the chemical metaphor, this paper proposes an extension of Linda-like languages in the aim of modeling the coordination of complex distributed systems. The new language…