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
Algebraic theories for name-passing calculi
RISE - Research Institutes of Sweden, ICT, SICS.
1993 (English)Report (Other academic)
Abstract [en]

In a theory of processes the names are atomic data which can be exchanged and tested for identity, but which admit no other functions or predicates. A well-known example of a calculus for name-passing is the p-calculus, where names additionally are used as communication ports. We provide complete axiomatisations of late and early bisimulation equivalences in such calculi. Since neither of the equivalences is a congruence we also axiomatise the corresponing largest congruences. We consider a few variations of the signature of the language; among these, a calulus of deterministic processes which is reminiscent of sequential functional programs with a conditional construct. Most of our axioms are shown to be independent. The structure of the systems reveals the symmetries of the calculi and equivalences since they differ only by a few simple axioms.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1993, 1. , p. 56
Series
SICS Research Report, ISSN 0283-3638 ; R93:04
Keywords [en]
Process algebra, p-calculus, axiomatisation, conditionals
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-22161OAI: oai:DiVA.org:ri-22161DiVA, id: diva2:1041704
Note

Work supported by the ESPRIT BRA project 6454 "CONFER".

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-02-07Bibliographically approved

Open Access in DiVA

fulltext(1928 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 1928 kBChecksum SHA-512
e3f47fc75afcd3e5aa370e211c34dee0f49c25f85a03ed4e05b04ca296f0a59d09114f8c9bf7b56a213677ee2dd11f5b9272349678982c27d9d33c2d6e01180f
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: 3 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