OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

SIRJANI M.; RAZAVI N.; MOUSAVI E.; MOVAGHAR A.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: Year:2006 | Volume:40 | Issue:3 (97) Page(s): 433-443

Download Full-Text

Persian Verion

View:

653

Download:

Cites:

Information Journal Paper

Title

OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE

Author(s)

SIRJANI M. | RAZAVI N. | MOUSAVI E. | MOVAGHAR A. | Issue Writer Certificate

Keywords

Not Registered.

Abstract

By increasing use of concurrent systems, especially in critical applications, we need a proper model for specifying these systems in a reliable way. In this paper, we propose an actor-based language for modeling concurrent systems and present its operational semantics in basic transition system. The model consists of independent reactive objects which communicate via asynchronous message passing. Dynamic creation of reactive objects and dynamic changing topology are two features of the model. The proposed language and its formal semantics have been a basis for developing an automated tool for modeling and verifying reactive systems.

Cites

No record.

References

No record.

Cite

APA: Copy

SIRJANI, M., RAZAVI, N., MOUSAVI, E., & MOVAGHAR, A.. (2006). OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE. JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TEHRAN), 40(3 (97)), 433-443. SID. https://sid.ir/paper/14460/en

Vancouver: Copy

SIRJANI M., RAZAVI N., MOUSAVI E., MOVAGHAR A.. OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE. JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TEHRAN)[Internet]. 2006;40(3 (97)):433-443. Available from: https://sid.ir/paper/14460/en

IEEE: Copy

M. SIRJANI, N. RAZAVI, E. MOUSAVI, and A. MOVAGHAR, “OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE,” JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TEHRAN), vol. 40, no. 3 (97), pp. 433–443, 2006, [Online]. Available: https://sid.ir/paper/14460/en

Related Journal Papers