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.
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
2011 (engelsk)Inngår i: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, s. 32-47Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.

sted, utgiver, år, opplag, sider
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 4171, s. 32-47
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
Emneord [en]
Decomposition technique, Hennessy-Milner Logics, Nondeterministic choice, Parallel composition, Parallel process, Reasoning techniques, Technical tools
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20336DOI: 10.1007/978-3-642-29320-7_3Scopus ID: 2-s2.0-84860686915ISBN: 978-3-642-29319-1 (tryckt)ISBN: 978-3-642-29320-7 (digital)OAI: oai:DiVA.org:hh-20336DiVA, id: diva2:583419
Konferanse
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
Tilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-19bibliografisk 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: 184 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