Asynchronous Bibliography Key Words
The following abbreviations are used in the bibtex
database:
@COMMENT{BibTeX database file, for use with LaTeX/BibTeX}
@COMMENT{ database : asynchronous ftpable }
@COMMENT{ e-mail : amuletwww@cs.man.ac.uk }
@COMMENT{ AMULET Group Manchester Uni }
@PREAMBLE{"\newcommand{\noopsort}[1]{}"}
@COMMENT{ Predefined journals }
@STRING{cacm = "Communications of the ACM"}
@STRING{dc = "Distributed Computing"}
@STRING{eatcs= "Bull. EATCS"}
@STRING{el = "Electronics Letters"}
@STRING{fmsd = "Formal Methods in System Design"}
@STRING{ieepte = "IEE Proceedings, Part E, Computers and Digital Techniques"}
@STRING{ieeedt = "IEEE Design \& Test of Computers"}
@STRING{ieeejssc= "IEEE Journal of Solid-State Circuits"}
@STRING{ieeetc = "IEEE Transactions on Computers"}
@STRING{ieeetcad= "IEEE Transactions on Computer-Aided Design"}
@STRING{ieeetec = "IEEE Transactions on Electronic Computers"}
@STRING{ieeetsp = "IEEE Transactions on Signal Processing"}
@STRING{ieeevlsi= "IEEE Transactions on VLSI Systems"}
@STRING{integration= "Integration, the VLSI journal"}
@STRING{ipl = "Information Processing Letters"}
@STRING{jacm = "Journal of the ACM"}
@STRING{jcss = "Journal of Computer and System Sciences"}
@STRING{tcs = "Theoretical Computer Science"}
@STRING{vlsisp= "Journal of VLSI Signal Processing"}
@STRING{Forms = "Formal Methods in System Design"}
@COMMENT{ Predefined publishers }
@STRING{ap = "Academic Press"}
@STRING{aw = "Addison-Wesley"}
@STRING{csp = "Computer Science Press"}
@STRING{cwi = "CWI"}
@STRING{esp = "Elsevier Science Publishers"}
@STRING{icsp = "IEEE Computer Society Press"}
@STRING{kap = "Kluwer Academic Publishers"}
@STRING{mit = "MIT Press"}
@STRING{ph = "Prentice-Hall"}
@STRING{springer = "Springer-Verlag"}
@COMMENT{ Predefined series }
@STRING{csn = "Computing Science Notes"}
@STRING{eut = "Dept. of Math. and C.S., Eindhoven Univ. of Technology"}
@STRING{ifip = "IFIP Transactions"}
@STRING{lncs = "Lecture Notes in Computer Science"}
@STRING{mctracts = "Mathematical Centre Tracts"}
@STRING{wic = "Workshops in Computing"}
@COMMENT{ Predefined conference proceedings }
@STRING{async = "Proc. International Symposium on Advanced Research in
Asynchronous Circuits and Systems"}
@STRING{cav = "Proc. International Workshop on Computer Aided Verification"}
@STRING{dac = "Proc. ACM/IEEE Design Automation Conference"}
@STRING{edac = "Proc. European Conference on Design Automation (EDAC)"}
@STRING{edtc = "Proc. European Design and Test Conference (EDAC-ETC-EuroASIC)"}
@STRING{eurodac="Proc. European Design Automation Conference (EURO-DAC)"}
@STRING{hicss = "Proc. Hawaii International Conf. System Sciences"}
@STRING{iccad = "Proc. International Conf. Computer-Aided Design (ICCAD)"}
@STRING{iccd = "Proc. International Conf. Computer Design (ICCD)"}
@STRING{icpp = "Proc. International Conference on Parallel Processing"}
@STRING{iscas = "Proc. International Symposium on Circuits and Systems"}
@STRING{ishls = "Proc. International Symposium on High-Level Synthesis"}
@STRING{isscc = "International Solid State Circuits Conference"}
@STRING{itc = "Proc. International Test Conference"}
@STRING{iwls = "Proc. International Workshop on Logic Synthesis"}
@STRING{ssat = "Annual Symposium on Switching and Automata Theory"}
@STRING{ta = "(To appear)"}