Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Adrián Puerto Aubel"'
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XV ISBN: 9783662630785
The regions of a condition/event transition system can be used to identify the sequential components of the distributed system it represents. With the aim of analysing such a system with respect to its local states, we study the structure obtained fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da5696ee0d104dc17a99715cf63caa96
http://hdl.handle.net/10281/324418
http://hdl.handle.net/10281/324418
The set of elementary regions of a transition system, ordered by set inclusion, forms an orthomodular poset, also referred to as quantum logic, which is regular and rich. Starting from an abstract regular and rich quantum logic, one can construct an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aad2bb49eb234c5d5a40cdf029af0dc
http://hdl.handle.net/10281/169568
http://hdl.handle.net/10281/169568
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
ATAED@Petri Nets/ACSD
ATAED@Petri Nets/ACSD
The set of regions of a transition system, ordered by set inclusion, is an orthomodular poset, often referred to as quantum logic, here called regional logic. Regional logics, which are known to be regular and rich, are the main subject of investigat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc658c09f79c781c81ee9b0da745192a
http://hdl.handle.net/10281/169566
http://hdl.handle.net/10281/169566
Publikováno v:
IEEE Access, Vol 10, Pp 38483-38501 (2022)
In distributed systems, the occurrence of an action can give information about the occurrence of other actions. This can be an unwanted situation when “high” actions of the system need to be kept secret, while allowing users to observe “low”
Externí odkaz:
https://doaj.org/article/fa2cf9a1a77f4beba10f872b36553fbe
Publikováno v:
Scopus-Elsevier
We study the relation between labelled transition systems and the corresponding partial orders of regions. In particular, we focus on the sets of their potential events, or labels on the transitions, providing them with a structure so as to reason ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7c556a165c4185603e2db8061cf18dc4
http://www.scopus.com/inward/record.url?eid=2-s2.0-85049066304&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85049066304&partnerID=MN8TOARS