Conformance Relations for Labeled Event Structures-Reference-Cited by-同舟云学术

Conformance Relations for Labeled Event Structures

Published:2012 Issue: Volume: Page:83-98
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Ponce de León Hernán,Haar Stefan,Longuet Delphine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30473-6_8

Reference19 articles.

1. Milner, R.: Communication and concurrency. PHI Series in computer science. Prentice Hall (1989)

2. Hoare, T.: Communicating Sequential Processes. Prentice-Hall (1985)

3. ITU-TS: Recommendation Z.100: Specification and Description Language (2002)

4. Brinksma, E., Scollo, G., Steenbergen, C.: Lotos specifications, their implementations and their tests. In: Linn, R.J., Uyar, M.U. (eds.) Conformance testing methodologies and architectures for OSI protocols, pp. 468–479. IEEE Computer Society Press (1995)

5. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)

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

1. A Formal Approach for Consistency Management in UML Models;International Journal of Software Engineering and Knowledge Engineering;2023-04-19

2. Model-Based Testing of PLC Programs With Appropriate Conformance Relations;IEEE Transactions on Industrial Informatics;2018-01

3. Monadic Sequence Testing and Explicit Test-Refinements;Tests and Proofs;2016

4. Testing the IPC Protocol for a Real-Time Operating System;Lecture Notes in Computer Science;2016

5. Model-based testing for concurrent systems: unfolding-based test selection;International Journal on Software Tools for Technology Transfer;2014-11-05