منابع مشابه
Relating Two Standard Notions of Secrecy
Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that sshould never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Althoughthe second formulation ensures a higher l...
متن کاملRelating Coalgebraic Notions of Bisimulation
A labelled transition system can be understood as a coalgebra for a particular endofunctor on the category of sets. Generalizing, we are led to consider coalgebras for arbitrary endofunctors on arbitrary categories. Bisimulation is a crucial notion in the theory of labelled transition systems. We identify four definitions of bisimulation on general coalgebras. The definitions all specialize to ...
متن کاملThe Language of Two Homologous Aesthetic Notions: Sufism and Surrealism
There are hypotheses in the history of human culture and civilization in which we can find undeniable similarities and commonalities among them, despite their vastly different cultural and historical contexts. For example, finding commonalities between the language of two artistic aesthetic hypotheses, Sufism and Surrealism, which are very different from each other in terms of context, time as ...
متن کاملTwo Notions of Naturalism∗
What is philosophical naturalism? Most fundamentally, presumably, it is the view that natural science constrains philosophy, in the following sense. The concerns of the two disciplines are not simply disjoint, and science takes the lead where the two overlap. At the very least, then, to be a philosophical naturalist is to believe that philosophy is not simply a different enterprise from science...
متن کاملTwo Notions of Parsing
The term parsing, derived from Latin pars orationis (parts of speech), was originally used to denote the grammatical explication of sentences, as practiced in elementary schools. The term was later borrowed into computer science and linguistics, where it has acquired a specialized sense in connection with the theory of formal languages and grammars. However, in practical applications of natural...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2007
ISSN: 1860-5974
DOI: 10.2168/lmcs-3(3:2)2007