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

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,984,406 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-07734-5_11 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W971450223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4798029 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural non-interference in elementary and trace nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets, event structures and domains. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unfoldings: A partial-order approach to model checking. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs / rank
 
Normal rank
Property / cites work
 
Property / cites work: A technique of state space search based on unfolding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical prefixes of Petri net unfoldings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4371024 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: A compositional Petri net translation of general \(\pi\)-calculus terms / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Refinement of actions and equivalence notions for concurrent systems / rank
 
Normal rank

Latest revision as of 18: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

    title
    Non-interference by Unfolding (English)
    0 references
    author
    Paolo Baldan
    0 references
    Alberto Carraro
    0 references
    publication date
    8 July 2014
    0 references
    describes a project that uses
    Cunf
    0 references
    PEP
    0 references

    Identifiers

    zbMATH DE Number
    6314346
    0 references
    OpenAlex ID
    W971450223
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5166764&oldid=35398137"
    Powered by MediaWiki