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

dc.contributor.authorTiu, Alwen
dc.contributor.authorMiller, Dale
dc.date.accessioned2015-12-10T23:00:15Z
dc.identifier.issn1529-3785
dc.identifier.urihttp://hdl.handle.net/1885/61290
dc.description.abstractWe 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
dc.publisherAssociation for Computing Machinery Inc (ACM)
dc.sourceACM Transactions on Computational Logic
dc.subjectKeywords: Bisimulations; Generic judgments; Higher-order abstract syntax; Modal logic; Proof search; Abstracting; Encoding (symbols); Semantics; Specifications; Syntactics; Calculations ?-tree syntax; p-calculus; ? quantifier; Bisimulation; Generic judgments; Higher-order abstract syntax; Modal logics; Proof search
dc.titleProof search specifications of bisimulation and modal logics for the n-calculus
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume11
dc.date.issued2010
local.identifier.absfor080303 - Computer System Security
local.identifier.ariespublicationf2965xPUB601
local.type.statusPublished Version
local.contributor.affiliationTiu, Alwen, College of Engineering and Computer Science, ANU
local.contributor.affiliationMiller, Dale, Institut National de Recherche en Informatique et en Automatique (INRIA)
local.description.embargo2037-12-31
local.bibliographicCitation.issue2
local.bibliographicCitation.startpage37
local.identifier.doi10.1145/1656242.1656248
local.identifier.absseo890199 - Communication Networks and Services not elsewhere classified
dc.date.updated2016-02-24T08:30:52Z
local.identifier.scopusID2-s2.0-76249110996
CollectionsANU Research Publications

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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator