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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper presents the symbolic and inductive techniques adopted by LISA, a system for the symbolic computation related to the analysis and resolution of complex systems modelled through Markov Chains. The package is especially useful to model systems and algorithms with internal concurrency. Because of the high complexity of these systems, due to the enormous state-apace growth, the numerical solution methods quickly show their limits; the symbolic approach overcomes most of the problems and leads to an efficient method to define and solve the systems. Some major advantages introduced by using the package relate to the possibility of modeling and handling queueing systems whose apace state depends on task position in the system, A new methodology for an inductive-based solution is presented, Some system configurations have been effectually resolved.

LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes