Process Algebra in PVS-Reference-Cited by-同舟云学术

Process Algebra in PVS

Published:1999 Issue: Volume: Page:270-284
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Basten Twan,Hooman Jozef

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49059-0_19

Reference17 articles.

1. G. J. Akkerman and J. C. M. Baeten. Term rewriting analysis in process algebra. CWI Quarterly, 4(4):257–267, 1991.

2. J. C. M. Baeten and C. Verhoef. Concrete process algebra. In S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, Semantic Modelling, pages 149–268. Oxford University Press, Oxford, UK, 1995.

3. J. C. M. Baeten and W. P. Weijland. Process Algebra. Prentice-Hall, 1990.

4. J. A. Bergstra, I. Bethke, and A. Ponse. Process algebra with iteration and nesting. The Computer Journal, 37(4):241–258, 1994.

5. M. A. Bezem, R. N. Bol, and J. F. Groote. Formalizing process algebraic verifications in the calculus of constructions. Formal Aspects of Computing, 9(1):1–48, 1997.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Proof Framework for Concurrent Programs;Lecture Notes in Computer Science;2012

2. Translating FSP into LOTOS and networks of automata;Formal Aspects of Computing;2010-11

3. Translating FSP into LOTOS and Networks of Automata;Lecture Notes in Computer Science;2007

4. A Generic Theorem Prover of CSP Refinement;Tools and Algorithms for the Construction and Analysis of Systems;2005

5. Formalising an Integrated Language in PVS;Formal Methods and Software Engineering;2003