Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols
R Mateescu, W Serwe - Science of Computer Programming, 2013 - Elsevier
Mutual exclusion protocols are an essential building block of concurrent shared-memory
systems: indeed, such a protocol is required whenever a shared resource has to be …
systems: indeed, such a protocol is required whenever a shared resource has to be …
A study of shared-memory mutual exclusion protocols using CADP
R Mateescu, W Serwe - International Workshop on Formal Methods for …, 2010 - Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed,
such a protocol is required whenever a shared resource has to be protected against …
such a protocol is required whenever a shared resource has to be protected against …
Logical classification of distributed algorithms (Bakery algorithms as an example)
U Abraham - Theoretical computer science, 2011 - Elsevier
We argue that logical descriptions of distributed algorithms can reveal key features of their
high-level properties, and can serve to classify and explicate fundamental similarities even …
high-level properties, and can serve to classify and explicate fundamental similarities even …