English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Fast-converging routing protocols are necessary in order to keep up with the interconnected world we are living in and one of the quickest ones is EIGRP. In this paper, we are going to design two models for network devices running EIGRP by focusing on the main events happening on them. First, a non-timing model is going to be formally described, hence just studying the aforesaid main events without any time constraints. Then, a timing model is going to extend the former with the proper time values associated with each particular event. Both models are going to be formally described by means of manual algebraic derivations using Algebra of Communicating Processes (ACP).

Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol