Ä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.
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 (Engelska)Ingår i: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, 32-47 s.Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 4171, 32-47 s.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
Nyckelord [en]
Decomposition technique, Hennessy-Milner Logics, Nondeterministic choice, Parallel composition, Parallel process, Reasoning techniques, Technical tools
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20336DOI: 10.1007/978-3-642-29320-7_3Scopus ID: x2-s2.0-84860686915ISBN: 978-364229319-1 OAI: oai:DiVA.org:hh-20336DiVA: diva2:583419
Konferens
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
Tillgänglig från: 2013-01-08 Skapad: 2013-01-08 Senast uppdaterad: 2014-11-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltextScopus

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

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 126 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