Author:
Havelund Klaus,Larsen Kim G.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. D. Berry, R. Milner, and D.N. Turner. A Semantics for ML Concurrency Primitives. In Proceedings of the 19th ACM Symphosium on Principles of Programming Languages, 1992.
2. J. F. Groote and F. W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. LNCS, 372, 1989.
3. M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, 32(1), January 1985.
4. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
5. F. Moller. The Importance of the Left Merge Operator in Process Algebra. LNCS, 443, 1990.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Open-Source Software Development Communities: An Analysis Approach as a Social Network;Communications in Computer and Information Science;2024
2. A Dynamic Logic for Systems with Predicate-Based Communication;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020
3. Role-Based Development of Dynamically Evolving Esembles;Recent Trends in Algebraic Development Techniques;2019
4. Dynamic Logic for Ensembles;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018
5. A Calculus for Open Ensembles and Their Composition;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016