hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • 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 (English)In: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, 32-47 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 4171, 32-47 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
Keyword [en]
Decomposition technique, Hennessy-Milner Logics, Nondeterministic choice, Parallel composition, Parallel process, Reasoning techniques, Technical tools
National Category
Computer and Information Science
Identifiers
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
Conference
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
Available from: 2013-01-08 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 124 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf