Zobrazeno 1 - 10
of 353
pro vyhledávání: '"Ugo Montanari"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 4 (2019)
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. Here we propose a gener
Externí odkaz:
https://doaj.org/article/b0bd9fedb1014bfb8bfb0e028d641ac5
Autor:
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernan Melgratti, Ugo Montanari
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played
Externí odkaz:
https://doaj.org/article/87f24ee3a2114cbd8908e2649c511890
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 181, Iss Proc. GaM 2015, Pp 80-96 (2015)
Many optimization problems can be naturally represented as (hyper) graphs, where vertices correspond to variables and edges to tasks, whose cost depends on the values of the adjacent variables. Capitalizing on the structure of the graph, suitable dyn
Externí odkaz:
https://doaj.org/article/f8ccceb7f9df43958fe7d8b5ed00c2c3
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 1 (2017)
Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components t
Externí odkaz:
https://doaj.org/article/8c77370e08eb4dd3b76cb998ebc62980
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 3 (2013)
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists o
Externí odkaz:
https://doaj.org/article/5779b8af012f45a69ef5b75e95215218
Autor:
Filippo Bonchi, Ugo Montanari
Publikováno v:
Logical Methods in Computer Science, Vol Volume 7, Issue 2 (2011)
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras. Since the behavi
Externí odkaz:
https://doaj.org/article/e2b197af6ffb4ef09228ffe0dace7723
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the construction imposes additional causal dependencies which restrict choices w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::210797b84cbc02059ff99c106435f58f
Autor:
Ugo Montanari
Publikováno v:
Models, Languages, and Tools for Concurrent and Distributed Programming ISBN: 9783030214845
Models, Languages, and Tools for Concurrent and Distributed Programming
Models, Languages, and Tools for Concurrent and Distributed Programming
Rocco De Nicola graduated at the University of Pisa in Scienze dell’Informazione on December 1978 summa cum laude.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f5e3524bd8799e93f202434f1c82eac
https://doi.org/10.1007/978-3-030-21485-2_1
https://doi.org/10.1007/978-3-030-21485-2_1
Autor:
Ugo Montanari
Publikováno v:
From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
Stefania Gnesi graduated summa cum laude in Scienze dell’Informazione at the University of Pisa in June 1978.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1cc7338148a64c2295b774fd7d639767
https://doi.org/10.1007/978-3-030-30985-5_2
https://doi.org/10.1007/978-3-030-30985-5_2
Publikováno v:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy ISBN: 9783030311742
The Art of Modelling Computational Systems
The Art of Modelling Computational Systems
In the version of logic programming (LP) based on interpretations where variables occur in atoms, a goal reduction via unification can be seen as a transition labelled by the most general unifier. Categorically, it is thus natural to model a logic pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c71738a97cc0ebd865a46bcebab9dfe1
http://hdl.handle.net/11568/1029374
http://hdl.handle.net/11568/1029374