Modeling and Analysis of Thread-Pools in an Industrial Communication Platform-Reference-Cited by-同舟云学术

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

Published:2009 Issue: Volume: Page:367-386
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

de Boer Frank S.,Grabe Immo,Jaghoori Mohammad Mahdi,Stam Andries,Yi Wang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10373-5_19

Reference19 articles.

1. Aichernig, B., Griesmayer, A., Schlatte, R., Stam, A.: Modeling and testing multi-threaded asynchronous systems with creol. ENTCS 243, 3–14 (2009); Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)

2. The Almende research company, http://www.almende.com/

3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

4. The ASK community systems, http://www.ask-cs.com/

5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002)

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

1. A system for compositional verification of asynchronous objects;Science of Computer Programming;2012-10

2. Networks of Real-Time Actors;Formal Aspects of Component Software;2012

3. Timed Automata Semantics for Analyzing Creol;Electronic Proceedings in Theoretical Computer Science;2010-07-28

4. The Credo Methodology;Formal Methods for Components and Objects;2010

5. Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis;CONCUR 2010 - Concurrency Theory;2010