Publisher
Springer Berlin Heidelberg
Reference55 articles.
1. Bartlett, K. A., Scantlebury, R. A. & Wilkinson, P. T.: A Note on Reliable Full-Duplex Transmission over Half-Duplex Links. Communications of the ACM 12 (5) 1969, pp. 260–261.
2. Bergstra, J. A. & Klop., J. W.: Process Theory Based on Bisimulation Semantics. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, Springer-Verlag 1989, pp. 50–122.
3. Bergstra, J. A., Klop, J. W. & Olderog, E.-R.: Failures Without Chaos: A New Process Semantics for Fair Abstraction. Formal Description of Programming Concepts III, North-Holland 1987, pp. 77–103.
4. Bolognesi, T. & Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 1987 pp. 25–59.
5. Bolognesi, T. & Smolka, S. A.: Fundamental Results for the Verification of Observational Equivalence: a Survey. Proc. Protocol Specification, Testing and Verification VII, North-Holland 1988, pp. 165–179.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Process Algebras in Systems Biology;Systems Biology Modelling and Analysis;2022-11-18
2. On the computation of counterexamples in compositional nonblocking verification;Discrete Event Dynamic Systems;2020-02-26
3. Compositional Verification in Action;Formal Methods for Industrial Critical Systems;2018
4. Component-Based Abstraction of Petri Net Models;Proceedings of the Sixth International Symposium on Information and Communication Technology;2015-12-03
5. Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events;Communications in Computer and Information Science;2014