Formal Semantics of Component Ensembles

Technical report

Title:

Authors:

T. Bureš, P. Hnětynka

Publication:

Technical report no. D3S-TR-2019-01, Department of Distributed and Dependable Systems, Charles University

Year:

2019

Fulltext:

PDF

BibTeX:

@techreport{bures_formal_report_2019,
    title = {{Formal Semantics of Component Ensembles}},
    author = {Bureš, Tomáš and Hnětynka, Petr},
    year = {2019},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2019-01},
}