Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
A polynomial-time algorithm for deciding bisimilation equivalence of normed Basic Parallel Processes
RISE - Research Institutes of Sweden, ICT, SICS.
1994 (English)Report (Other academic)
Abstract [en]

A polynomial-time algorithm is presented for deciding bisimulation equivalence of so-called Basic Parallel Processes: multisets of elementary processes combined by a commitative parallel-composition operator.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1994, 1. , p. 11
Series
SICS Research Report, ISSN 0283-3638 ; R94:09
Keywords [en]
Process algebra, Formal languages, Analysis of algorithms
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-21382OAI: oai:DiVA.org:ri-21382DiVA, id: diva2:1041418
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-02-02Bibliographically approved

Open Access in DiVA

fulltext(1288 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 1288 kBChecksum SHA-512
76f9f54d9fd393628a9d0e7b8dd96f7c3e5f369b2a7a5135e6a1fdd3a9831808c03d4d29e28dc09c6682e0681693e03c06e83e43610c65978fb11cea1f62f87d
Type fulltextMimetype application/pdf

By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
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: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
v. 2.35.2