Formalizing a relational model of concurrent programs in a dependently typed environment
Sequential programming languages have already been formalized in dependently typed programming languages, but the computer based formalization of concurrent programs is still in its early days. The goal of our research is to formalize a relational model that describes the behavior of distributed con...
Mentés helye:
Szerző: | |
---|---|
Közreműködő(k): | |
Formátum: | szakdolgozat |
Nyelv: | magyar |
Megjelenés: |
2020-06-04
|
Tárgyszavak: | |
Online elérés: | http://hdl.handle.net/10831/56263?sublib=L_042 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|