Dealing with Priorities and Locks for Concurrent Programs.

Marcio Diaz Tayssir Touili

Published in: ATVA (2017)

Keyphrases

concurrent programs
concurrent programming
process algebra
case study
formal specification
machine learning
information systems
sensor networks
building blocks
concurrent processes