Concurrency in the Cloud

@inproceedings{Marinescu2018ConcurrencyIT,
  title={Concurrency in the Cloud},
  author={D. Marinescu},
  year={2018}
}
  • D. Marinescu
  • Published 2018
  • Computer Science
  • The chapter reviews theoretical foundations of important algorithms at the heart of system and application software. These concepts help us better understand cloud resource management policies and the mechanisms implementing these policies. The chapter starts with an overview of concurrent execution of communicating processes followed by a presentation of BSP, a bridging hardware-software model, and of its version for a multicore computational model. Petri Nets, intuitive models able to… CONTINUE READING

    References

    SHOWING 1-10 OF 36 REFERENCES
    System Deadlocks
    • 740
    • PDF
    A Calculus of Communicating Systems
    • R. Milner
    • Mathematics, Computer Science
    • Lecture Notes in Computer Science
    • 1980
    • 4,725
    The temporal logic of programs
    • A. Pnueli
    • Computer Science
    • 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
    • 1977
    • 2,087
    • PDF
    A bridging model for parallel computation
    • 3,846
    • PDF
    Lectures on a Calculus for Communicating Systems
    • R. Milner
    • Mathematics, Computer Science
    • Seminar on Concurrency
    • 1984
    • 103
    The art of multiprocessor programming
    • 815
    • PDF
    Synchronizing clocks in the presence of faults
    • 620
    • PDF
    Communicating sequential processes
    • 11,965
    • PDF