Autor: Novitzka, V. - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Coalgebras for modelling observable behaviour of programs
Autorzy:: Steingartner, W.
Novitzka, V.
Tematy:: category
coalgebra
observable behaviour
polynomial endofunctor
semantics
endofunktor
zachowanie programów; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/122279.pdf Link otwiera się w nowym oknie
Opis:: A useful tool for modelling behaviour in theoretical computer science is the concept of coalgebras. Coalgebras enable one to model execution of programs step by step using categorical structures and polynomial endofunctors. In our paper, we start with a short introduction of basic notions and we use this method for modelling structural operational semantics of a simple imperative language.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Between syntax and semantics of resource oriented logic for ids behavior description
Autorzy:: Perhac, J.
Mihalyi, D.
Novitzka, V.
Tematy:: intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/122478.pdf Link otwiera się w nowym oknie
Opis:: Linear logic appears as a suitable logical system for description of dynamic properties of various network activities in computer science. It disposes with new connectives which create new opportunities to describe properties of real network processes, e.g. parallelism, causality and commutativity of duality between processes. We extend this logic with Aristotelian modalities and we formulate their appropriate model. In our contribution we show how a real network attack can be formalized in this logical system as a polarized game.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: A categorical model of predicate linear logic
Autorzy:: Demeterová, E.
Mihályi, D.
Novitzká, V.
Tematy:: linear type theory
predicate linear logic
symmetric monoidal closed category; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/122570.pdf Link otwiera się w nowym oknie
Opis:: Linear logic is one of the logical systems with special properties suitable for describing real processes used in computer science. It enables one to specify dynamics, non determinism, consecutive processes and important resources as memory and time on syntactic level. Moreover, its deduction system enables one to verify specified properties. Constructing an appropriate model based on categories can serve for modeling various program systems in the wide spectrum of computer science. Mainly, propositional linear logic is used for these purposes. The expression power of linear logic significantly grows by extending propositional logic with predicates and quantifiers. Our paper concerns itself with defining predicate linear logic together with its deduction system and our main aim is to construct a categorical model of predicate linear logic as a symmetric monoidal closed category.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Linear logic in computer science
Autorzy:: Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V.
Tematy:: linear logic
resources
proofs; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/122583.pdf Link otwiera się w nowym oknie
Opis:: Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, parallelism on syntactic level. In our paper we try to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as space (memory) and time. Handling with resources takes place in deduction system of linear logic. We show how special form of proofs, called designs, is constructed and we show the relationship between space and time in designs.
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja