manual_references.bib

% This file was created with JabRef 2.11.
% Encoding: Cp1252


@InCollection{2007_poliakov_workcraft,
  Title                    = {Workcraft: a static data flow structure editing, visualisation and analysis tool},
  Author                   = {Poliakov, I. and Sokolov, D. and Mokhov, A.},
  Booktitle                = {Petri Nets and Other Models of Concurrency},
  Year                     = {2007},
  Pages                    = {505--514},
  Owner                    = {Jonny},
  Timestamp                = {2016.03.24}
}

@Article{2016_beaumont_concepts,
  Title                    = {High-level asynchronous concepts at the interface between analogue and digital worlds},
  Author                   = {J Beaumont
A Mokhov
D Sokolov
A Yakovlev},
  Year                     = {2016}
}

@Misc{2016_concepts_github,
  Title                    = {{Concepts repository. https://github.com/tuura/concepts}},
  Year                     = {2016},
  Owner                    = {jonny},
  Timestamp                = {2015.06.08}
}

@PhdThesis{Chu_1987_phd,
  Title                    = {Synthesis of self-timed VLSI circuits from graph-theoretic specifications},
  Author                   = {T.-A. Chu},
  School                   = {Massachusetts Institute of Technology},
  Year                     = {1987},
  Owner                    = {jonny},
  Timestamp                = {2015.05.14}
}

@Misc{concepts_article_releases,
  Title                    = {{High-level asynchronous concepts at the interface between analogue and digital worlds. https://github.com/tuura/concepts-article/releases}}
}

@Book{Cortadella,
  Title                    = {Logic Synthesis for Asynchronous Controllers and Interfaces},
  Author                   = {Cortadella, J. and Kishinevsky, M. and Kondratyev, A. and Lavagno, L. and Yakovlev, A.},
  Publisher                = {Springer},
  Year                     = {2002},
  Date-added               = {2014-12-28 11:43:17 +0000},
  Date-modified            = {2014-12-28 11:43:17 +0000},
  Timestamp                = {2015.01.08}
}

@PhdThesis{i1997formal,
  Title                    = {Formal Verification and Testing of Asynchronous Circuits},
  Author                   = {i Mansill, Oriol Roig},
  School                   = {Citeseer},
  Year                     = {1997}
}

@Article{khomenko2004detecting,
  Title                    = {Detecting state encoding conflicts in STG unfoldings using SAT},
  Author                   = {Khomenko, Victor and Koutny, Maciej and Yakovlev, Alex},
  Journal                  = {Fundamenta Informaticae},
  Year                     = {2004},
  Number                   = {2},
  Pages                    = {221--241},
  Volume                   = {62},
  Publisher                = {IOS Press}
}

@Article{Rosenblum_1985_tpn,
  Title                    = {Signal graphs: from self-timed to timed ones},
  Author                   = {L. Rosenblum, A. Yakovlev},
  Journal                  = {International Workshop on Timed Petri Nets},
  Pages                    = {199-206},
  Owner                    = {jonny},
  Timestamp                = {2015.05.14}
}

@Misc{Workcraft_website,
  Title                    = {Workcraft},
  Note                     = {www.workcraft.org},
  Owner                    = {jonny},
  Timestamp                = {2015.08.23}
}