Partial confluence of processes and systems of objects

Imperative objects as mobile processes

Science of Computer Programming

Asynchronous sequential processes

Information and Computation

On the origin of events: branching cells as stubborn sets

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science

Bisimulations for untyped imperative objects

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Maximal confluent processes

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets