Fakulta informačních technologií VUT v Brně

Detail publikace

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management

BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, roč. 2003, č. 2761, s. 174-190. ISSN 0302-9743.
Název česky
Verifikace parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Článek navrhuje několik originálních výsledků týkajících se využití metody řezů k verifikaci parametrických systémů paralelních procesů s prioritním FIFO řízením přístupu ke sdíleným zdrojům.
Rok
2003
Strany
174-190
Časopis
Lecture Notes in Computer Science, roč. 2003, č. 2761, ISSN 0302-9743
Kniha
Concurrency Theory
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX
@ARTICLE{FITPUB7343,
   author = "Ahmed Bouajjani and Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management",
   pages = "174--190",
   booktitle = "Concurrency Theory",
   journal = "Lecture Notes in Computer Science",
   volume = 2003,
   number = 2761,
   year = 2003,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7343"
}
Nahoru