Author:
Gastin Paul,Mislove Michael
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Domain Theory;Abramsky,1995
2. A theory of communicating sequential processes;Brookes;JACM,1984
3. Approximating traces;Diekert;Acta Informatica,1998
4. The Book of Traces,1995
5. P. Gastin, M.W. Mislove, A truly concurrent semantics for a simple parallel programming language, in: J. Flum, M. Rodrı́guez-Artalejo (Eds.), Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL’99), Lecture Notes in Computer Science, Vol. 1683, 1999, pp. 515–529.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献