True Concurrency and Atomicity: A model checking approach with contextual Petri nets

Alberto Franco · LAP LAMBERT Academic Publishing