Skip to content
<title>Channels - Relating Reversible Petri Nets and Reversible Event Structures, categorically :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Search for more channels:
Similar Items: Relating Reversible Petri Nets and Reversible Event Structures, categorically
Channel Options
View Record
Explore related channels
Quick Look
Event Structures for Petri nets with Persistence
Quick Look
Structurally Cyclic Petri Nets
Quick Look
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Quick Look
Reversing Place Transition Nets
Quick Look
Priced Timed Petri Nets
Quick Look
Separators in Continuous Petri Nets
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Quick Look
Applying CEGAR to the Petri Net State Equation
Quick Look
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Quick Look
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Quick Look
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
Quick Look
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Quick Look
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Quick Look
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Quick Look
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Quick Look
Causal Consistency for Reversible Multiparty Protocols
Quick Look
Petri Automata
Quick Look
Vector Addition System Reversible Reachability Problem
Quick Look
revTPL: The Reversible Temporal Process Language
Quick Look
A Truly Concurrent Semantics for Reversible CCS
Quick Look
Cores of Countably Categorical Structures
Quick Look
A Curry-Howard Correspondence for Linear, Reversible Computation
Quick Look
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
Quick Look
An In-Depth Exploration of Malware Persistence: Reverse Engineering, Defense, and Simulation
Load more items
View Record
Prev
Explore related channels
Next
