https://wiki.devclub.in/index.php?action=history&feed=atom&title=COL869 2026-04-09T09:37:41Z Revision history for this page on the wiki MediaWiki 1.45.1 https://wiki.devclub.in/index.php?title=COL869&diff=637&oldid=prev 2026-03-04T10:00:49Z

<p>Creating course page via bot</p> <p><b>New page</b></p><div>{{Infobox Course<br /> | code = COL869<br /> | name = Special topics in Concurrency<br /> | credits = 3<br /> | credit_structure = 3-0-0<br /> | pre_requisites = <br /> | overlaps = <br /> }}<br /> <br /> == COL869 : Special topics in Concurrency ==<br /> The course will focus on research issues in concurrent, distributed and mobile computations. Models of Concurrent, Distributed and Mobile computation. Process calculi, Event Structures, Petri Nets an labeled transition systems. Implementations of concurrent and mobile, distributed programming languages. Logics and specification models for concurrent and mobile systems. Verification techniques and algorithms for model checking. Type systems for concurrent/mobile programming languages. Applications of the above models and techniques.</div>

Prashantt492