Colloquium -9/20 – Hannah Gommerstadt, Vassar
Hannah Gommerstadt Friday, 9/20 2:35pm in Wege Auditorium Concurrent Communication Contracts A concurrent system is a system where multiple processes collaborate on a computation by exchanging messages. A communication contract represents a property of the computation that should remain true throughout the computation. Monitors can be used… Continue reading »