Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Ben-Ari, M.: Principles of Concurrent and Distributed Programming. Prentice Hall (1990)
2. Brzozowski, J. A., Lou, J. J., Negulescu, R.: A characterization of finite ternary algebras. International Journal of Algebra and Computation 6 (1997) 713–721
3. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science (1983) 83–133
4. Dill, D.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM distinguished dissertations. MIT Press (1989)
5. Ebergen, J.C.: A formal approach to designing delay-insensitive circuits. Distributed Computing 5 (1991) 107–119
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reasoning over Test Specifications Using Assume-Guarantee Contracts;Lecture Notes in Computer Science;2023
2. Hypercontracts;Lecture Notes in Computer Science;2022
3. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20
4. Formally Proving Compositionality in Industrial Systems with Informal Specifications;Lecture Notes in Computer Science;2020
5. Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence;Proceedings of the 2019 International Conference on Artificial Intelligence, Robotics and Control;2019-12-14