Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Atkinson, R., and Hewitt, C. Synchronisation in actor systems. Working Paper 83, M.I.T., Cambridge, Mass., Nov. 1976.
2. Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. Software Eng.
1, 2 (June 1975), 199–207.
3. Campbell, R.H., and Habermann, A.N. The specification of process synchronisation by path expressions. Lecture Notes in Computer Science
16, Springer, 1974, pp. 89–102.
4. Conway, M.E. Design of a separable transition-diagram compiler. Comm. ACM
6, 7 (July 1963), 396–408.
5. Dahl, O-J., et al. SIMULA 67, common base language. Norwegian Computing Centre, Forskningveien, Oslo, 1967.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Introduction to the Planning Domain Definition Language;Synthesis Lectures on Artificial Intelligence and Machine Learning;2019-04
2. Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes;Safety and Reliability: Methodology and Applications;2014-09
3. Realizability of Choreographies for Services Interacting Asynchronously;Formal Aspects of Component Software;2012
4. Whom to talk to? A stakeholder perspective on business process development;Universal Access in the Information Society;2011-06-12
5. Modelling global computations with
Klaim;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2008-07-31