Skip navigation
Skip navigation

Proof search specifications of bisimulation and modal logics for the n-calculus

Tiu, Alwen; Miller, Dale

Description

We specify the operational semantics and bisimulation relations for the finite π-calculus within a logic that contains the ∇ quantifier for encoding generic judgments and definitions for encoding fixed points. Since we restrict to the finite case, the

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/61290
Source: ACM Transactions on Computational Logic
DOI: 10.1145/1656242.1656248

Download

File Description SizeFormat Image
01_Tiu_Proof_search_specifications_of_2010.pdf523.02 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator