Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Agha, G. Semantic Considerations in the Actor Paradigm of Concurrent Computation. Proceedings of the NSF/SERC Seminar on Concurrency, Springer-Verlag, 1984. Forthcoming
2. Agha, G. Actors: A Model of Concurrent Computation in Distributed Systems. Ph.D. Th., University of Michigan, 1985.
3. Backus, J. Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. Communications of the ACM 21, 8 (August 1978), 613–641.
4. Brock, J.D. A Formal Model of Non-determinate Dataflow Computation. LCS Tech Report 309, MIT, Aug. 1983.
5. Brock J.D. and Ackerman, W.B. Scenarios: A Model of Non-Determinate Computation. In 107: Formalization of Programming Concepts, Springer-Verlag, 1981, pp. 252–259.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Programming Open Distributed Systems in Maude;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems;Lecture Notes in Computer Science;2024
3. Computers as Interactive Machines: Can We Build an Explanatory Abstraction?;Minds and Machines;2023-03
4. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
5. Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences;Proceedings of the ACM on Programming Languages;2020-11-13