Search

• < Previous
• 1
• Next >

---

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani ; Cezara Dragoi ; Constantin Enea ; Yan Jurski ; Mihaela Sighireanu.

We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks. They can be seen as Petri nets where tokens (representing occurrences of processes) are colored by values over some&nbsp;[&hellip;]

---

Robustness Against Transactional Causal Consistency

Sidi Mohamed Beillahi ; Ahmed Bouajjani ; Constantin Enea.

Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing application programmers to consider blocks of actions (i.e., transactions) as executing atomically. For performance reasons,&nbsp;[&hellip;]

---