Modelling mutual exclusion in a process algebra with time-outs

Title
Modelling mutual exclusion in a process algebra with time-outs
Authors
Keywords
-
Journal
INFORMATION AND COMPUTATION
Volume 294, Issue -, Pages 105079
Publisher
Elsevier BV
Online
2023-08-11
DOI
10.1016/j.ic.2023.105079

Ask authors/readers for more resources

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now