Extending statecharts with process algebra operators-Reference-Cited by-同舟云学术

Extending statecharts with process algebra operators

Published:2008-08-12 Issue:3 Volume:4 Page:285-292
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Frappier Marc,Gervais Frédéric,Laleau Régine,Fraikin Benoît,St-Denis Richard

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-008-0064-1.pdf

Reference26 articles.

1. Abrial JR (1996) The B-book: assigning programs to meanings. Cambridge University Press, Cambridge

2. Arbib M (1969) Theories of abstract automata. Prentice-Hall, Englewood Cliffs

3. Bergstra JA, Klop JW (1984) Process algebra for synchronous communication. Inf Control 60(1): 109–137

4. Bolognesi T, Brinksma E (1987) Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst 14(1): 25–59

5. Bontemps Y, Saval G, Heymans P, Schobbens PY (2006) From interaction diagrams to state machines: moving to class-level. In: AFADL 2006. ENST Technical Reports, Paris

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

1. Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications;Theoretical Aspects of Software Engineering;2022

2. Intrusion Detection Using ASTDs;Advanced Information Networking and Applications;2020

3. Extended Algebraic State-Transition Diagrams;2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS);2018-12

4. Parameterized verification of monotone information systems;Formal Aspects of Computing;2018-08

5. Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods;2018 IEEE International Conference on Software Quality, Reliability and Security (QRS);2018-07