|
Journals in DBLP
Acta Inf. 2009, volume: 46, number: 1
On decidability of LTL model checking for process rewrite systems. [Citation Graph (, )][DBLP]
Semi-synchronous transductions. [Citation Graph (, )][DBLP]
Exploiting colored Petri nets to decide on permutation admissibility. [Citation Graph (, )][DBLP]
A complexity tradeoff in ranking-function termination proofs. [Citation Graph (, )][DBLP]
A queue based mutual exclusion algorithm. [Citation Graph (, )][DBLP]
|