Detail publikace

View Abstraction - A Tutorial

ABDULLA Parosh A., HAZIZA Frédéric a HOLÍK Lukáš. View Abstraction - A Tutorial. In: 2nd International Workshop on Synthesis of Complex Parameters. OpenAccess Series in Informatics, roč. 44. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015, s. 1-15. ISBN 978-3-939897-82-8. ISSN 2190-6807.
Název česky
Pohledová abstrakce - Tutoriál
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Haziza Frédéric (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Klíčová slova

neomezený paralelsimus
verifikace
pohledová abstrakce

Abstrakt

Popisujeme metodu pro rozhodování korektnosti systémů s neomezeným paralelismem, založenou na takzvané pohledové abstrakci.

Anotace

Popisujeme metodu pro rozhodování korektnosti systémů s neomezeným paralelismem, založenou na takzvané pohledové abstrakci.

Rok
2015
Strany
1-15
Časopis
OpenAccess Series in Informatics (OASIcs), roč. 44, č. 1, ISSN 2190-6807
Sborník
2nd International Workshop on Synthesis of Complex Parameters
Řada
OpenAccess Series in Informatics
Konference
2nd International Workshop on Synthesis of Complex Parameters , London, GB
ISBN
978-3-939897-82-8
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11059,
   author = "A. Parosh Abdulla and Fr\'{e}d\'{e}ric Haziza and Luk\'{a}\v{s} Hol\'{i}k",
   title = "View Abstraction - A Tutorial",
   pages = "1--15",
   booktitle = "2nd International Workshop on Synthesis of Complex Parameters",
   series = "OpenAccess Series in Informatics",
   journal = "OpenAccess Series in Informatics (OASIcs)",
   volume = 44,
   number = 1,
   year = 2015,
   location = "Dagstuhl, DE",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISBN = "978-3-939897-82-8",
   ISSN = "2190-6807",
   doi = "10.4230/OASIcs.SynCoP.2015.1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11059"
}
Nahoru