2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 2 cited
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet
Process algebras have been widely used to verify security protocols in a formal manner. However they mostly focus on synchronous communication based on the exchange of messages. We…
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…