Views on Behaviour Protocols and Their Semantic Foundation-Reference-Cited by-同舟云学术

Views on Behaviour Protocols and Their Semantic Foundation

Published:2009 Issue: Volume: Page:367-382
ISSN:0302-9743
Container-title:Algebra and Coalgebra in Computer Science
language:
Short-container-title:

Author:

Bauer Sebastian S.,Hennicker Rolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03741-2_25

Reference13 articles.

1. Lecture Notes in Computer Science;M. Bidoit,2008

2. Bidoit, M., Hennicker, R., Knapp, A., Baumeister, H.: Glass-box and black-box views on object-oriented specifications. In: Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM 2004), pp. 208–217. IEEE Computer Society Press, Los Alamitos (2004)

3. Eshuis, R.: Reconciling statechart semantics. Sci. Comput. Program. 74(3), 65–99 (2009)

4. Lecture Notes in Computer Science;A. Knapp,2008

5. Martin, R.C.: UML tutorial: Finite state machines. Published article on Object Mentor Webpage (January 1998), http://www.objectmentor.com/resources/articles/umlfsm.pdf (last accessed on 2009-02-05)

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

1. Towards an Institutional Framework for Heterogeneous Formal Development in UML;Software, Services, and Systems;2015

2. Towards automatic generation of formal specifications to validate and verify reliable distributed systems;ACM SIGPLAN Notices;2012-04-18

3. Specifying UML Protocol State Machines in Alloy;Lecture Notes in Computer Science;2012

4. Contracts for Multi-instance UML Activities;Formal Techniques for Distributed Systems;2011

5. Behaviour Protocols for Interacting Stateful Components;Electronic Notes in Theoretical Computer Science;2010-06