uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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
Negative premises in applied process calculi
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
Show others and affiliations
2013 (English)Report (Other academic)
Place, publisher, year, edition, pages
2013.
Series
Technical report / Department of Information Technology, Uppsala University, ISSN 1404-3203 ; 2013-014
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-229004OAI: oai:DiVA.org:uu-229004DiVA: diva2:735349
Available from: 2013-06-20 Created: 2014-07-25 Last updated: 2014-07-25Bibliographically approved
In thesis
1. Bells and Whistles: Advanced language features in psi-calculi
Open this publication in new window or tab >>Bells and Whistles: Advanced language features in psi-calculi
2013 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to every instance of the framework.

The contribution of this licentiate thesis is to significantly extend the applicability and expressiveness of psi-calculi by incorporating several advanced language features into the framework: broadcasts, higher-order communication, generalised pattern matching, sorts and priorities. The extensions present several interesting technical challenges, such as negative premises. The machine-checked proofs for standard results about bisimilarity are generalised to each of these new settings, and the proof scripts are freely available online.

Place, publisher, year, edition, pages
Uppsala University, 2013
Series
Information technology licentiate theses: Licentiate theses from the Department of Information Technology, ISSN 1404-5117 ; 2013-004
National Category
Computer Science
Research subject
Computer Science
Identifiers
urn:nbn:se:uu:diva-227638 (URN)
Supervisors
Projects
UPMARC
Available from: 2013-10-04 Created: 2014-06-29 Last updated: 2017-08-31Bibliographically approved

Open Access in DiVA

No full text

Other links

http://www.it.uu.se/research/publications/reports/2013-014/

Authority records BETA

Åman Pohjola, JohannesBorgström, JohannesParrow, JoachimRaabjerg, PalleRodhe, Ioana

Search in DiVA

By author/editor
Åman Pohjola, JohannesBorgström, JohannesParrow, JoachimRaabjerg, PalleRodhe, Ioana
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 392 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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