The following pages link to Jordi Cortadella (Q708893):
Displayed 24 items.
- On the performance evaluation of multi-guarded marked graphs with single-server semantics (Q708894) (← links)
- The octahedron abstract domain (Q859963) (← links)
- (Q2766547) (← links)
- Design Automation of Real-Life Asynchronous Devices and Systems (Q2786286) (← links)
- A Scheduling Strategy for Synchronous Elastic Designs (Q2895773) (← links)
- (Q3045254) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms (Q3612931) (← links)
- (Q4417601) (← links)
- High-radix division and square-root with speculation (Q4419746) (← links)
- (Q4427917) (← links)
- (Q4547952) (← links)
- Symbolic analysis of bounded Petri nets (Q4571331) (← links)
- Deriving Petri nets from finite transition systems (Q4571475) (← links)
- (Q4824479) (← links)
- A Recursive Paradigm to Solve Boolean Relations (Q4974982) (← links)
- Verification of asynchronous circuits by BDD-based model checking of Petri nets (Q5096372) (← links)
- New Region-Based Algorithms for Deriving Bounded Petri Nets (Q5280804) (← links)
- (Q5295510) (← links)
- (Q5295512) (← links)
- Static Analysis (Q5466569) (← links)
- Lectures on Concurrency and Petri Nets (Q5712300) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713501) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)