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.
Series
SICS Technical Report, ISSN 1100-3154 ; T96:02
Keyword [en]
mu-calculus, pi-calculus, theorem proving
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21957OAI: oai:DiVA.org:ri-21957DiVA: diva2:1041499
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
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