Publisher
Springer Berlin Heidelberg
Reference44 articles.
1. Brookes, S., Hoare, C., Roscoe, A.: A theory of communicating sequential processes. Journal of ACM 31, 560–599 (1984)
2. Brookes, S.: A Model of Communicating Sequential Processes. PhD thesis, Oxford University (1983)
3. Cutland, N.: Computability: An Introduction to Recursive Function Theory. Cambridge University Press (1980)
4. Lecture Notes in Computer Science;R. Nicola De,1990
5. Fu, Y., Lu, H.: On the expressiveness of interaction. Theoretical Computer Science 411, 1387–1451 (2010)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A thesis for interaction;Theoretical Computer Science;2022-01
2. On Probabilistic Extension of the Interaction Theory;Formal Methods and Software Engineering;2022
3. Extensional Petri net;Formal Aspects of Computing;2019-02-12
4. THE UNIVERSAL PROCESS;LOG METH COMPUT SCI;2017
5. Remark on Some $$\pi $$ Variants;Dependable Software Engineering. Theories, Tools, and Applications;2017