D
David de Frutos-Escrig
Researcher at Complutense University of Madrid
Publications - 46
Citations - 719
David de Frutos-Escrig is an academic researcher from Complutense University of Madrid. The author has contributed to research in topics: Petri net & Decidability. The author has an hindex of 15, co-authored 46 publications receiving 694 citations.
Papers
More filters
Book
Formal Techniques for Networked and Distributed Systems - FORTE 2004
TL;DR: Formal Verification of a Practical Lock-Free Queue Algorithm for Web Applications Modeled by Communicating Automata and Conditions for Resolving Observability Problems in Distributed Testing.
Journal ArticleDOI
Decidability and complexity of Petri nets with unordered data
TL;DR: It is proved that the corresponding “place version” of all the boundedness problems is undecidable for ν -PN, an extension of P/T nets with pure name creation and name management.
Book ChapterDOI
Name creation vs. replication in Petri net systems
TL;DR: In this paper, the authors studied the relationship between name creation and replication in a setting of infinite-state communicating automata and proved that name creation is equivalent to replication, but only when a garbage collection mechanism is added for idle threads.
Book ChapterDOI
Acceptance Trees for Probabilistic Processes
TL;DR: This paper considers a generative interpretation of probabilities for a language with two choice operators, which are annotated with a probability p e (0, 1) and defines a testing semantics for this language, and presents a fully abstract denotational semantics based on acceptance trees.