hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Interpreted Systems Semantics for Process Algebra with Identity Annotations
Philosophy Section, Faculty of Technology, Policy and Management, Delft University of Technology, Delft, The Netherlands.
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
2013 (engelsk)Inngår i: Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / [ed] Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra & Frank Richter, Heidelberg: Springer Berlin/Heidelberg, 2013, Vol. 7758, s. 182-205Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

Process algebras have been developed as formalisms for specifying the behavioral aspects of protocols. Interpreted systems have been proposed as a semantic model for multi-agent communication. In this paper, we connect these two formalisms by defining an interpreted systems semantics for a generic process algebraic formalism. This allows us to translate and compare the vast body of knowledge and results for each of the two formalisms to the other and perform epistemic reasoning, e.g., using model-checking tools for interpreted systems, on process algebraic specifications. Based on our translation we formulate and prove some results about the interpreted systems generated by process algebraic specifications. © 2013 Springer-Verlag.

sted, utgiver, år, opplag, sider
Heidelberg: Springer Berlin/Heidelberg, 2013. Vol. 7758, s. 182-205
Serie
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 7758
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20323DOI: 10.1007/978-3-642-36976-6_13Scopus ID: 2-s2.0-84875089574Libris ID: 14005668ISBN: 978-3-642-36975-9 ISBN: 978-3-642-36976-6 OAI: oai:DiVA.org:hh-20323DiVA, id: diva2:583414
Konferanse
9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, 26-30 September, 2011
Tilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 153 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf