Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing

Authors:
Marjan Sirjani;Frank de Boer;Ali Movaghar;Amin Shali
Affiliations:
University of Tehran;Centrum voor Wiskunde en Informatica;Institute for Studies in Theoretical Physics and Mathematics and Sharif University of Technology;University of Tehran
Venue:
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Year:
2005

Citing 0
Cited 6

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis of policy-based self-adaptive systems

Proceedings of the 2010 ACM Symposium on Applied Computing
Rebeca: theory, applications, and tools

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Ten years of analyzing actors: Rebeca experience

Formal modeling
Compositional semantics of an actor-based language using constraint automata

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with ...