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
Modal logics for mobile processes
RISE, Swedish ICT, SICS.
1991 (English)Report (Refereed)
Abstract [en]

In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterisation in terms of a simple modal logic (sometimes called Hennessy-Milner logic . This paper first defines two forms of bisimulation equivalence for the\031-calculus , a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterise the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 16 p.
Series
SICS Research Report, ISSN 0283-3638 ; R91:03
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21350OAI: oai:DiVA.org:ri-21350DiVA: diva2:1041384
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-25Bibliographically approved

Open Access in DiVA

fulltext(2178 kB)7 downloads
File information
File name FULLTEXT01.pdfFile size 2178 kBChecksum SHA-512
009df4773eac3b845733d64190b083c9c21fe83ac72da4f1172ce246917fdec38e07aa1db1e9305df046541d2c98f01795de5e1ca045787a12855be73e215070
Type fulltextMimetype application/pdf

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 7 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 9 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