Abstract | ||
---|---|---|
We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ACSD.2007.52 | Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue |
Keywords | DocType | Volume |
state-space explosion,conservative definition,general framework,conservative checking,proposed semantics yield,new approach,research work,efficient algorithm,timed asynchronous circuits revisited,asynchronous circuit,proposed framework,hazard checking,pn synthesis,asynchronous systems synthesis,control synthesis,informatics,algorithm design and analysis,hazards,approximation algorithms | Journal | 88 |
Issue | ISSN | ISBN |
4 | 0169-2968 | 0-7695-2902-X |
Citations | PageRank | References |
1 | 0.35 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frederic Beal | 1 | 1 | 0.35 |
Tomohiro Yoneda | 2 | 353 | 41.62 |
Chris J. Myers | 3 | 607 | 75.73 |