Declarative event based models of concurrency and refinement in psi-calculi

Håkon Normann, Christian Johansen, Thomas Hildebrandt

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Abstract

Psi-calculi constitute a parametric framework for nominal process calculi, where constraint based process calculi and process calculi for mobility can be defined as instances. We apply here the framework of psi-calculi to provide a foundation for the exploration of declarative event-based process calculi with support for run-time refinement. We first provide a representation of the model of finite prime event structures as an instance of psi-calculi and prove that the representation respects the semantics up to concurrency diamonds and action refinement. We then proceed to give a psi-calculi representation of Dynamic Condition Response Graphs, which conservatively extends prime event structures to allow finite representations of (omega) regular finite (and infinite) behaviours and have been shown to support run-time adaptation and refinement. We end by outlining the final aim of this research, which is to explore nominal calculi for declarative, run-time adaptable mobile processes with shared resources.
OriginalsprogEngelsk
TidsskriftJournal of Logic and Algebraic Programming
Vol/bind85
Udgave nummer3
Sider (fra-til)368-398
Antal sider30
ISSN2352-2208
DOI
StatusUdgivet - 2015

Emneord

  • Psi-calculi
  • Prime event structures
  • DCR graphs
  • Action refinement
  • Declarative models
  • Concurrency

Fingeraftryk

Dyk ned i forskningsemnerne om 'Declarative event based models of concurrency and refinement in psi-calculi'. Sammen danner de et unikt fingeraftryk.

Citationsformater