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
A Parametric Tool for 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)ORCID iD: 0000-0003-0174-9032
2013 (English)In: 13th International Conference on Application of Concurrency to System Design (ACSD 2013), IEEE Computer Society, 2013, 180-185 p.Conference paper, Published paper (Refereed)
Abstract [en]

High-level formalisms for concurrency are often defined as extensions of the the pi-calculus; a growing number is geared towards particular applications or computational paradigms. Psi-calculi is a parametric framework that can accommodate a wide spectrum of such calculi. It allows the definition of process calculi that extend the pi-calculus with arbitrary data, logic and logical assertions. All such psi calculi inherit machine-checked proofs of the meta-theory such as compositionality and bisimulation congruence.

We present a generic tool for analysing processes from any psi calculus instance, and for implementing new instances with the help of a supporting library. The tool implements symbolic execution and bisimulation algorithms for both unicast and wireless broadcast communication. We illustrate the tool by examples from pi-calculus and the area of wireless sensor networks.

Place, publisher, year, edition, pages
IEEE Computer Society, 2013. 180-185 p.
Series
International Conference on Application of Concurrency to System Design, ISSN 1550-4808
National Category
Computer Science
Research subject
Computing Science
Identifiers
URN: urn:nbn:se:uu:diva-203381DOI: 10.1109/ACSD.2013.22ISI: 000333827300019ISBN: 978-0-7695-5035-0 (print)OAI: oai:DiVA.org:uu-203381DiVA: diva2:636374
Conference
13th International Conference on Application of Concurrency to System Design (ACSD), Barcelona, Spain, July 8 - 10, 2013
Projects
ProFuNUPMARC
Funder
Swedish Foundation for Strategic Research , RIT08-0065
Available from: 2013-07-09 Created: 2013-07-09 Last updated: 2016-02-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Borgström, JohannesGutkovas, RamunasRodhe, IoanaVictor, Björn

Search in DiVA

By author/editor
Borgström, JohannesGutkovas, RamunasRodhe, IoanaVictor, Björn
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 449 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