Author:
Christoff Linda,Christoff Ivan
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.
2. L. Christoff and I. Christoff. Efficient algorithms for verification of equivalences for probabilistic processes. In Proc. 3 rd Intl. Workshop on Computer Aided Verification, LNCS 575, 310–321. Springer-Verlag, 1992.
3. L. Christoff and I. Christoff. Reasoning about safety and liveness properties for probabilistic processes. Technical Report DoCS 92/34, Department of Computer Systems, Uppsala University, Uppsala, Sweden, 1992.
4. E. Clarke and A. Emerson. Design and synthesis of synchronization skeletons using branching time Temporal Logic. In Proc. Workshop on Logics of Programs, LNCS 131, 52–71. Springer-Verlag, 1982.
5. I. Christoff. Testing equivalences and fully abstract models for probabilistic processes. In Proc. CONCUR '90 Theories of Concurrency: Unification and Extension, LNCS 458, 126–140. Springer-Verlag, 1990.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献