Cover Image

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents

Saved in:

Bibliographic Details
Date:	2013
Main Author:	S. V. Potiyenko
Format:	Article
Language:	English
Published:	2013
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000357630
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Symbolic modeling of basic protocols systems with arbitrary number of agents
by: Potiyenko, S.V.
Published: (2013)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: A. A. Guba
Published: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
by: V. A. Ustimenko
Published: (2018)

On new symbolic key exchange protocols and cryptosystems based on a hidden tame homomorphism
by: Ustimenko, V.A.
Published: (2018)

Efficient Protocol for Distributed Systems
by: M. K. Buza
Published: (2013)

The Principal-Agent Model with an Informative Signal to the Advantage of the Agent
by: I. V. Nykyforchyn
Published: (2019)

Superintegrable systems with arbitrary spin
by: A. G. Nikitin
Published: (2013)

Superintegrable systems with arbitrary spin
by: A. G. Nikitin
Published: (2013)

Exact relativistic maxwellian magnetized plasma dielectric tensor evaluation for arbitrary wave numbers
by: Pavlov, S.S.
Published: (2016)

Intelligent Agent and Multi-Agent systems in manufacturing
by: D. A. Samodurova
Published: (2019)

Multi-agent approach to modeling an information and analytical system
by: Dodonov, O. G., et al.
Published: (2016)

Aggregate signature protocol with group Leader
by: H. L. Kozina, et al.
Published: (2021)

Berlin protocol in modern space law
by: O. O. Zadorozhnii
Published: (2017)

Interface-oriented approach to modelling tools for multi-agent systems
by: Shevchenko, R.S., et al.
Published: (2025)

Methods of simulation of behavior of agents in multi-agent system “Navigation”
by: Yalovets, A.L.
Published: (2025)

Studies on the DNA sequence data in systematics: general issues and a model protocol
by: O. V. Humovskyi

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: Iwaniak, M., et al.
Published: (2013)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: Iwaniak, M., et al.
Published: (2013)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: M. Iwaniak, et al.
Published: (2013)

Bifurcations in the Basic Models of Multi-Dimensional Systems
by: N. V. Nikitina
Published: (2018)

Agent-Oriented Modeling of Stock Market
by: A. O. Prymostka
Published: (2015)

Analysis of structured data serialization methods for transfer by the application layer protocol of the OSI model
by: R. B. Andrushchenko, et al.
Published: (2018)

Effect of cryopreservation protocols on integrity of human fibroblasts
by: L. G. Abrafikova
Published: (2007)

Ontology and model of information transformation in situational agents&#039; systems
by: Ye. Kovalenko
Published: (2020)

Symbolic enclaves and change of symbolic universums
by: A. Shulga
Published: (2015)

Symbolic enclaves and change of symbolic universums
by: O. Shulha
Published: (2015)

Simple waveguide model of arbitrary filled plane-plane cavity
by: Anokhov, S.
Published: (2000)

A Note on BKP for the Kontsevich Matrix Model with Arbitrary Potential
by: Borot, Gaëtan, et al.
Published: (2024)

Typification of Sustainable Management Systems and Formalization of Their Basic Models
by: V. V. Mykytenko
Published: (2022)

Attractors of Three-dimensional Systems in the Basic Models of Mechanics
by: N. V. Nikitina
Published: (2020)

World and cognitive agent behavior and interaction models
by: Ju. A. Prokopchuk
Published: (2013)

Ecological and Forest Policy of Ukraine in the Context of Kyoto Protocol
by: I. M. Syniakevych, et al.
Published: (2009)

Secure Data Exchange Protocol Development for Special Networks
by: M. I. Ohurtsov
Published: (2019)

The visitation protocol of the basilian monastery of Letnia in 1764 year
by: Yu. O. Stetsyk, et al.
Published: (2016)

Time-Released Cryptographic Protocol in Peer-to-Peer Network
by: S. A. Honchar
Published: (2015)

National Forest Policy of Ukraine in the Context of Kyoto Protocol
by: U. P. Babkevych
Published: (2010)

Alternative energy: problems of classification and positions of Kioto's protocol
by: Rabinovych M.D.
Published: (2003)

Current situation and problems of Ukraine’s participation in Kyoto protocol
by: Ivanenko N.P.
Published: (2006)