Change search
ReferencesLink to record
Permanent link

Direct link
A theorem-proving approach to deciding properties of finite control agents
Number of Authors: 1
1996 (English)Report (Refereed)
Abstract [en]

The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem proving.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1996, 1. , 14 p.
SICS Technical Report, ISSN 1100-3154 ; T96:02
Keyword [en]
mu-calculus, pi-calculus, theorem proving
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14145OAI: diva2:1035432
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(43 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 43 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link