Back to Results
First PageMeta Content
Abstract data types / Computing / Software engineering / Process calculi / Inter-process communication / Message queue / Monitor / Economy / Queueing theory / Priority queue / Queue / -calculus


Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt
Add to Reading List

Document Date: 2016-01-24 20:37:43


Open Document

File Size: 657,46 KB

Share Result on Facebook
UPDATE