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

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Decompositional Reasoning about the History of Parallel Processes
School of Computer Science, Reykjavik University, Iceland.
School of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
School of Computer Science, Reykjavik University, Iceland.
Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands.ORCID-id: 0000-0002-4869-6794
2010 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.

sted, utgiver, år, opplag, sider
Eindhoven: Eindhoven University of Technology , 2010. , s. 23
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20539OAI: oai:DiVA.org:hh-20539DiVA, id: diva2:583440
Prosjekter
New Developments in Operational Semantics
Forskningsfinansiär
Swedish Research CouncilTilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Full text

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 190 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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