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

From MaRDI portal

Jump to:navigation, search

Latest revision as of 17:20, 8 July 2024

scientific article; zbMATH DE number 6314346

Language	Label	Description	Also known as
English	Non-interference by Unfolding	scientific article; zbMATH DE number 6314346

Statements

scholarly article

0 references

Non-interference by Unfolding (English)

0 references

0 references

Alberto Carraro

0 references

Application and Theory of Petri Nets and Concurrency

0 references

publication date

8 July 2014

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-07734-5_11

0 references

0 references

Structural non-interference in elementary and trace nets

0 references

Petri nets, event structures and domains. I

0 references

Unfoldings: A partial-order approach to model checking.

0 references

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs

0 references

A technique of state space search based on unfolding

0 references

Canonical prefixes of Petri net unfoldings

0 references

0 references

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets

0 references

A compositional Petri net translation of general \(\pi\)-calculus terms

0 references

A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets

0 references

Refinement of actions and equivalence notions for concurrent systems

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-07734-5_11

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5166764

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5166764&oldid=35398137"