University of Sussex
Browse

File(s) not publicly available

Unique fixpoint induction for value-passing processes.

presentation
posted on 2023-06-07, 21:37 authored by Julian Rathke
We present a proof system for message-passing process calculi with recursion. The key inference rule to deal with recursive processes is a version of Unique Fixpoint Induction for process abstractions. We prove that the proof system is sound and also complete for guarded regular message-passing processes. We also show that the system is incomplete for unguarded processes and discuss more powerful extensions with inductive inference rules.

History

Publication status

  • Published

Publisher

Proceedings of the 12th Annual Symposium of Logic in Computer Science Warsaw. IEEE Computer Society Press.

Page range

140-148

Presentation Type

  • paper

Event location

Proceedings of the 12th Annual Symposium of Logic in Computer Science Warsaw. IEEE Computer Society Press.

Event type

conference

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC