uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verifying programs with unreliable channels
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
1996 (English)In: Information and Computation, ISSN 0890-5401, Vol. 127, no 2, 91-101 p.Article in journal (Refereed) Published
Abstract [en]

We consider the verification of a particular class of infinite-state systems, namely systems consisting of finite-state processes that communicate via unbounded lossy FIFO channels. This class is able to model, e.g., link protocols such as the Alternating

Place, publisher, year, edition, pages
1996. Vol. 127, no 2, 91-101 p.
Keyword [en]
FINITE STATE MACHINES; AUTOMATIC VERIFICATION; SYSTEMS
Identifiers
URN: urn:nbn:se:uu:diva-27234DOI: doi:10.1006/inco.1996.0053OAI: oai:DiVA.org:uu-27234DiVA: diva2:55128
Note
Addresses: Abdulla PA, UNIV UPPSALA, DEPT COMP SYST, POB 325, S-75105 UPPSALA, SWEDEN.Available from: 2007-02-17 Created: 2007-02-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Abdulla, PAJonsson, B

Search in DiVA

By author/editor
Abdulla, PAJonsson, B
By organisation
Department of Information TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 474 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf