Zobrazeno 1 - 10
of 121
pro vyhledávání: '"Desel, Jörg"'
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems. The soundness problem consists in deciding if it is always possible fo
Externí odkaz:
http://arxiv.org/abs/1612.07912
Autor:
Esparza, Javier, Desel, Jörg
We continue our study of negotations, a concurrency model with multiparty negotiation as primitive. In a previous paper (arXiv:13072145) we have provided a correct and complete set of reduction rules for sound, acyclic, and (weakly) deterministic neg
Externí odkaz:
http://arxiv.org/abs/1403.4958
Autor:
Esparza, Javier, Desel, Joerg
We introduce negotiations, a model of concurrency close to Petri nets, with multiparty negotiation as primitive. We study the problems of soundness of negotiations and of, given a negotiation with possibly many steps, computing a summary, i.e., an eq
Externí odkaz:
http://arxiv.org/abs/1307.2145
Autor:
Desel, Jörg1 (AUTHOR) joerg.desel@fernuni-hagen.de, Finthammer, Marc1 (AUTHOR) marc.finthammer@fernuni-hagen.de, ter Beek, Maurice (AUTHOR), Koutny, Maciej (AUTHOR), Rozenberg, Grzegorz (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2020, Vol. 175 Issue 1, p143-172. 30p.
Publikováno v:
Application and Theory of Petri Nets and Concurrency
This paper introduces the tool Cycl\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::5fa5b5de25dd9e61ce895d16dda4b7d3
http://europepmc.org/articles/PMC7324235
http://europepmc.org/articles/PMC7324235