Modelling Component Behaviour with Concurrent Automata-Reference-Cited by-同舟云学术

Modelling Component Behaviour with Concurrent Automata

Published:2005-12 Issue:3 Volume:141 Page:199-220
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Moschoyiannis Sotiris,Shields Michael W.,Krause Paul J.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference29 articles.

1. S. Becker, R.H. Reussner, and V. Firus. Specifying Contractual Use, Protocols and Quality Attributes for Software Components. In Proc. of 1st Int'l Workshop on Component Engineering and Methodology, pages 13–22, 2003

2. M.A. Bednarczyk. Categories of Asynchronous Systems. PhD thesis, University of Sussex, 1988

3. Algebraic Specification of Reactive Systems;Broy;Theoretical Computer Science,2000

4. LCSs: Breathing Life into Message Sequence Charts;Damm;Formal Methods in System Design,2001

5. Introduction to Lattices and Order;Davey,1990

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

1. Trace-Based Verification of Rule-Based Service Choreographies;2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA);2018-11

2. Component simulation-based substitutivity managing QoS and composition issues;Science of Computer Programming;2010-10

3. Transaction Scripts: Making Implicit Scenarios Explicit;Electronic Notes in Theoretical Computer Science;2010-06

4. A True-Concurrent Interpretation of Behavioural Scenarios;Electronic Notes in Theoretical Computer Science;2009-04

5. Concurrent Logic and Automata Combined: A Semantics for Components;Electronic Notes in Theoretical Computer Science;2007-06