Detail publikace

View Abstraction - A Tutorial

HOLÍK, L.; HAZIZA, F.; ABDULLA, P. View Abstraction - A Tutorial. In 2nd International Workshop on Synthesis of Complex Parameters. OpenAccess Series in Informatics (OASIcs). OpenAccess Series in Informatics. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015. p. 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
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Haziza Frédéric
Abdulla Parosh
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
ISBN
978-3-939897-82-8
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl
DOI
10.4230/OASIcs.SynCoP.2015.1
EID Scopus
2-s2.0-85092799549
BibTeX 
@inproceedings{BUT119935,
  author="Lukáš {Holík} and Frédéric {Haziza} and Parosh {Abdulla}",
  title="View Abstraction - A Tutorial",
  booktitle="2nd International Workshop on Synthesis of Complex Parameters",
  year="2015",
  series="OpenAccess Series in Informatics",
  journal="OpenAccess Series in Informatics (OASIcs)",
  volume="44",
  number="1",
  pages="1--15",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Dagstuhl",
  doi="10.4230/OASIcs.SynCoP.2015.1",
  isbn="978-3-939897-82-8",
  issn="2190-6807"
}
Nahoru