Improving Static Variable Orders Via Invariants

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_8 ◽

2007 ◽

pp. 83-103 ◽

Cited By ~ 5

Author(s):

Gianfranco Ciardo ◽

Gerald Lüttgen ◽

Andy Jinqing Yu

Download Full-text