<div class="csl-bib-body">
<div class="csl-entry">Randrianomentsoa, R. F., Rincon Galeana, H., & Schmid, U. (2022, October 24). <i>Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems</i> [Conference Presentation]. Workshop on Connections between Epistemic Logic and Topology (CELT’22), University of Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/153197</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/153197
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.subject
fault-tolerant distributed systems
-
dc.subject
topology
-
dc.subject
epistemic logic
-
dc.title
Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
P 33600-N
-
dc.type.category
Conference Presentation
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.linking
https://easychair.org/cfp/CELT2022
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.author.orcid
0000-0002-8152-1275
-
tuw.author.orcid
0000-0001-9831-8583
-
tuw.event.name
Workshop on Connections between Epistemic Logic and Topology (CELT'22)
en
tuw.event.startdate
24-10-2022
-
tuw.event.enddate
26-10-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
University of Amsterdam
-
tuw.event.country
NL
-
tuw.event.institution
University of Amsterdam
-
tuw.event.presenter
Schmid, Ulrich
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
50
-
wb.sciencebranch.value
50
-
item.openairetype
Presentation
-
item.openairetype
Vortrag
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.grantno
P 33600-N
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems