https://www.mdu.se/

mdu.sePublications
System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
State Distribution Policy for Distributed Model Checking of Actor Models
Reykjavik University, Iceland.
Reykjavik University, Iceland.
Halmstad University, Sweden.
University of Tehran, Iran.
Show others and affiliations
2015 (English)In: Electronic Communications of the EASST, E-ISSN 1863-2122, Vol. 72, p. 1-16Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2015. Vol. 72, p. 1-16
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-34112DOI: 10.14279/tuj.eceasst.72.1022OAI: oai:DiVA.org:mdh-34112DiVA, id: diva2:1056337
Available from: 2016-12-14 Created: 2016-12-13 Last updated: 2023-10-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Sirjani, Marjan
In the same journal
Electronic Communications of the EASST
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 38 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.45.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in