Non-interference by Unfolding (Q5166764): Difference between revisions

@@ Property / author @@
-Alberto Carraro
@@ Property / author: Alberto Carraro / rank @@
-Normal rank
@@ Property / author @@
+Alberto Carraro
@@ Property / author: Alberto Carraro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cunf
@@ Property / describes a project that uses: Cunf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PEP
@@ Property / describes a project that uses: PEP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-07734-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W971450223
@@ Property / OpenAlex ID: W971450223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural non-interference in elementary and trace nets
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371024
@@ Property / cites work: Q4371024 / rank @@
+Normal rank
@@ Property / cites work @@
+Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
+Normal rank
@@ Property / cites work @@
+A compositional Petri net translation of general \(\pi\)-calculus terms
+Normal rank
@@ Property / cites work @@
+A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5166764