Detail publikace

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management

BOUAJJANI, A.; HABERMEHL, P.; VOJNAR, T. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, 2003, vol. 2003, no. 2761, p. 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
anglicky
Autoři
Bouajjani Ahmed
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

formal verification, parameterized concurrent systems, cut-offs

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
BibTeX 
@article{BUT192505,
  author="Ahmed {Bouajjani} and Peter {Habermehl} and Tomáš {Vojnar}",
  title="Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management",
  journal="Lecture Notes in Computer Science",
  year="2003",
  volume="2003",
  number="2761",
  pages="174--190",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/bhv-rtr-03.ps.gz"
}
Nahoru