Detail publikace

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures

HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 2017, vol. 5, no. 19, p. 549-563. ISSN: 1433-2779.
Název česky
Integrovaná verifikační a specifikační technika pro ověřování linearizability paralelních ukazatelových programů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Abdulla Parosh
Haziza Frédéric
Jonsson Bengt
Rezine Ahmed, Assoc. Prof.
URL
Abstrakt

Prezentujeme techniku pro ověřování linearizability silně paralelních ukazatelových programů implementujících datové struktury jako zásobníky a fronty.

Rok
2017
Strany
549–563
Časopis
International Journal on Software Tools for Technology Transfer, roč. 5, č. 19, ISSN 1433-2779
DOI
10.1007/s10009-016-0415-4
UT WoS
000409295800004
EID Scopus
2-s2.0-84961203222
BibTeX 
@article{BUT144479,
  author="Lukáš {Holík} and Parosh {Abdulla} and Frédéric {Haziza} and Bengt {Jonsson} and Ahmed {Rezine}",
  title="An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures",
  journal="International Journal on Software Tools for Technology Transfer",
  year="2017",
  volume="5",
  number="19",
  pages="549--563",
  doi="10.1007/s10009-016-0415-4",
  issn="1433-2779",
  url="https://link.springer.com/article/10.1007/s10009-016-0415-4"
}
Nahoru