Toninho, B. P. C. F. (2015). A logical foundation for session-based concurrent computation.
Chicago Style (17th ed.) CitationToninho, Bernardo Parente Coutinho Fernandes. A Logical Foundation for Session-based Concurrent Computation. 2015.
MLA (8th ed.) CitationToninho, Bernardo Parente Coutinho Fernandes. A Logical Foundation for Session-based Concurrent Computation. 2015.
Warning: These citations may not always be 100% accurate.