The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems

Autor: Younes Rouabah, Zhiwu Li

Publikováno v: Mathematics, Vol 11, Iss 1, p 47 (2022)

This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems. The numerous methods applied to concurrency presented in the literature can be roughly di

Externí odkaz: https://doaj.org/article/dd262f815a004c8eafa0b8b6993f7703

A historical account of my early research interests

Autor: Alberto Pettorossi

Publikováno v: 8th International Workshop on Verification and Program Transformation, pp. 1–28, Dublin, Ireland, 25-26/04/2020
info:cnr-pdr/source/autori:PETTOROSSI Alberto/congresso_nome:8th International Workshop on Verification and Program Transformation/congresso_luogo:/congresso_data:Dublin, Ireland, 25-26%2F04%2F2020/anno:2020/pagina_da:1/pagina_a:28/intervallo_pagine:1–28
VPT/HCVS@ETAPS

This paper presents a brief account of some of the my early research interests. This historical account starts from my laurea thesis on Signal Theory and my master thesis on Computation Theory. It recalls some results in Combinatory Logic and Term Re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fe5ff80bef81de7ec36431a386054a0
http://www.cnr.it/prodotto/i/438556

A Note on the Model Theory for Positive Modal Logic

Autor: Sergio Arturo Celani, Ramon Jansana

Publikováno v: Fundamenta Informaticae. 114:31-54

The minimum system of Positive Modal Logic S K + is the (∧, ∨, □, ◇, ⊥, ⊤)-fragment of the minimum normal modal logic K with local consequence. In this paper we develop some of the model theory for S K + along the yet standard lines of th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::034aa484c7d9014e6b83283bb951632e
https://doi.org/10.3233/fi-2011-616

Graph grammar-based multi-thread multi-frontal parallel solver with trace theory-based scheduler

Autor: Paweł Obrok, Arkadiusz Szymczak, Pawel Pierzchala, Maciej Paszyński

Publikováno v: ICCS

The paper presents the graph grammar based multi-thread multi-frontal parallel direct solver for one and two dimensional Finite Difference Method (FDM). The multi-frontal solver algorithm has been expressed by graph grammar productions. Each producti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07c7f5806291769009aa57b8f481edc7
https://doi.org/10.1016/j.procs.2010.04.223

Combinatorial Slice Theory

Autor: de Oliveira Oliveira, Mateus

Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, par

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-134211