uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Verifying programs with unreliable channels
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
1996 (Engelska)Ingår i: Information and Computation, ISSN 0890-5401, Vol. 127, nr 2, s. 91-101Artikel i tidskrift (Refereegranskat) 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

Ort, förlag, år, upplaga, sidor
1996. Vol. 127, nr 2, s. 91-101
Nyckelord [en]
FINITE STATE MACHINES; AUTOMATIC VERIFICATION; SYSTEMS
Identifikatorer
URN: urn:nbn:se:uu:diva-27234DOI: doi:10.1006/inco.1996.0053OAI: oai:DiVA.org:uu-27234DiVA, id: diva2:55128
Anmärkning
Addresses: Abdulla PA, UNIV UPPSALA, DEPT COMP SYST, POB 325, S-75105 UPPSALA, SWEDEN.Tillgänglig från: 2007-02-17 Skapad: 2007-02-17 Senast uppdaterad: 2011-01-15

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Abdulla, PAJonsson, B

Sök vidare i DiVA

Av författaren/redaktören
Abdulla, PAJonsson, B
Av organisationen
Institutionen för informationsteknologiDatorteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 907 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf