The following pages link to G. Michele Pinna (Q272304):
Displayed 43 items.
- Contracts as games on event structures (Q272306) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Catalytic and communicating Petri nets are Turing complete (Q476166) (← links)
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- A complete fuzzy logical system to deal with trust management systems (Q835123) (← links)
- Reversing steps in membrane systems computations (Q1749172) (← links)
- (Q1882899) (redirect page) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Memory associated with membranes systems (Q1983012) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Reversible occurrence nets and causal reversible prime event structures (Q2039888) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Investigations on Fragments of First Order Branching Temporal Logic (Q2776809) (← links)
- Specifying and verifying reactive systems in a multi-language environment (Q2841282) (← links)
- Catalytic Petri Nets Are Turing Complete (Q2890191) (← links)
- Lending Petri Nets and Contracts (Q2948238) (← links)
- (Q3005249) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- (Q3413367) (← links)
- Simultaneity in Event Structures (Q3569092) (← links)
- Process discovery and Petri nets (Q3655758) (← links)
- A Tableau Calculus for Hajek's Logic BL (Q4461931) (← links)
- A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain (Q4487244) (← links)
- (Q4494116) (← links)
- (Q4526681) (← links)
- (Q4536619) (← links)
- (Q4621133) (← links)
- Non sequential semantics for contextual P/T nets (Q4633159) (← links)
- (Q4948012) (← links)
- (Q5028437) (← links)
- On the nature of events (Q5096856) (← links)
- (Q5114821) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
- (Q5216081) (← links)
- Circular Causality in Event Structures (Q5259264) (← links)
- Mathematical Foundations of Computer Science 2005 (Q5492903) (← links)
- (Q5507057) (← links)
- Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008) (← links)
- (Q5748895) (← links)
- On the specification of elementary reactive behaviour (Q5890052) (← links)
- Synthesis of nets with inhibitor arcs (Q6044115) (← links)
- A Truly Concurrent Semantics for Reversible CCS (Q6452486) (← links)