Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Eindhoven: Eindhoven University of Technology , 2010. , 23 s.
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20539OAI: oai:DiVA.org:hh-20539DiVA: diva2:583440
Projekt
New Developments in Operational Semantics
Forskningsfinansiär
Vetenskapsrådet
Tillgänglig från: 2013-01-08 Skapad: 2013-01-08 Senast uppdaterad: 2015-04-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Full text

Personposter BETA

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 115 träffar
RefereraExporteraLänk till posten
Permanent länk

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