Disjunction of LOTOS specifications-Reference-Cited by-同舟云学术

Disjunction of LOTOS specifications

Published:1997 Issue: Volume: Page:177-192
ISSN:
Container-title:Formal Description Techniques and Protocol Specification, Testing and Verification
language:
Short-container-title:

Author:

Steen M. W. A.,Bowman H.,Derrick J.,Boiten E. A.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35271-8_11

Reference14 articles.

1. A. Bouajjani, S. Graf, and J. Sifakis. A logic for the description of behaviours and properties of concurrent systems. LNCS 354, pages 398–410, 1989.

2. G. Boudol and K.G. Larsen. Graphical versus logical specifications. The-oretical Computer Science, 106: 3–20, 1992.

3. E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In PSTV VI, pages 349–360, 1987.

4. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32 (1): 137–161, January 1985.

5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

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

1. Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism;Formal Aspects of Computing;2013-03

2. Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams;Lecture Notes in Computer Science;2006

3. Guards, Preconditions, and Refinement in Z;ZB 2000: Formal Specification and Development in Z and B;2000

4. Eventuality in LOTOS with a Disjunction Operator;Advances in Computing Science ASIAN 98;1998