@article(Bogunovic03,
 author       = "N.~Bogunovic and E.~Pek",
 year         = "2003",
 title        = "Verification of mutual exclusion algorithms with SMV system.",
 journal      = "EUROCON 2003. Computer as a Tool. The IEEE Region 8",
 volume       = "2",
 number       = "3",
 pages        = "21--25",
 doi          = "10.1109/EURCON.2003.1248127",
 url          = "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1248127",
)
@inproceedings(BCCDV09,
 author       = "F.~Buti and M.~Callisto and F.~Corradini and M.R.~Di Berardini and W.~Vogler",
 year         = "2009",
 title        = "Evaluating the Efficiency of Asynchronous Systems with FASE",
 booktitle    = "pre-proceedings of the 1st Int. Workshop on Quantitative Formal Methods",
 address      = "Eindhoven (The Netherlands)",
 pages        = "101--106",
 url          = "http://arxiv.org/abs/1105.1369",
)
@book(CLS00,
 author       = "R.~Cleaveland and T.~Li and S.~Sims",
 year         = "2000",
 title        = "The Concurrency Workbench of the New Century User's Manual",
 publisher    = "SUNY",
 address      = "Stony Brook, NY 11794-4400",
 url          = "http://www.simsnet.org/papers/cwb-user.pdf",
)
@inproceedings(CleavelandPS89,
 author       = "R.~Cleaveland and J.~Parrow and B.~Steffen",
 year         = "1989",
 title        = "The Concurrency Workbench.",
 editor       = "Joseph Sifakis",
 booktitle    = "Automatic Verification Methods for Finite State Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "407",
 publisher    = "Springer",
 pages        = "24--37",
)
@inproceedings(CDV06,
 author       = "F.~Corradini and M.R.~Di Berardini and W.~Vogler",
 year         = "2006",
 title        = "Checking a Mutex Algorithm in a Process Algebra with Fairness.",
 editor       = "Christel Baier and Holger Hermanns",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "4137",
 publisher    = "Springer",
 pages        = "142--157",
 doi          = "10.1007/11817949\_10",
 url          = "http://www.springerlink.com/content/jl71201p7585m448/",
)
@inproceedings(CDV08tr,
 author       = "F.~Corradini and M.R.~Di Berardini and W.~Vogler",
 year         = "2009",
 title        = "Time and Fairness in a Process Algebra with Non-blocking Reading.",
 editor       = "Mogens Nielsen and Antonín Kucera and Peter~Bro Miltersen and Catuscia Palamidessi and Petr Tuma and Frank~D. Valencia",
 booktitle    = "SOFSEM",
 series       = "Lecture Notes in Computer Science",
 volume       = "5404",
 publisher    = "Springer",
 pages        = "193--204",
 doi          = "10.1007/978-3-540-95891-8\_20",
 url          = "http://www.springerlink.com/content/56vq063482528637/",
)
@article(CV05,
 author       = "F.~Corradini and W.~Vogler",
 year         = "2005",
 title        = "Measuring the performance of asynchronous systems with PAFAS",
 journal      = "Theor. Comput. Sci.",
 volume       = "335",
 number       = "2-3",
 pages        = "187--213",
 doi          = "10.1016/j.tcs.2004.01.039",
 url          = "http://portal.acm.org/citation.cfm?id=1085671",
)
@article(CVJ02,
 author       = "F.~Corradini and W.~Vogler and L.~Jenner",
 year         = "2002",
 title        = "Comparing the worst-case efficiency of asynchronous systems with PAFAS",
 journal      = "Acta Informatica",
 volume       = "38",
 number       = "11",
 pages        = "735--792",
 doi          = "10.1007/s00236-002-0094-3",
 url          = "http://www.springerlink.com/content/2cuweb33bt0c1yqy/",
)
@article(CostaS84,
 author       = "G.~Costa and C.~Stirling",
 year         = "1984",
 title        = "A Fair Calculus of Communicating Systems.",
 journal      = "Acta Inf.",
 volume       = "21",
 pages        = "417--441",
 doi          = "10.1007/BF00271640",
 url          = "http://www.springerlink.com/content/w7lh13t23n670858/",
)
@article(CostaS87,
 author       = "G.~Costa and C.~Stirling",
 year         = "1987",
 title        = "Weak and Strong Fairness in CCS",
 journal      = "Inf. Comput.",
 volume       = "73",
 number       = "3",
 pages        = "207--244",
 doi          = "10.1016/0890-5401(87)90013-7",
 url          = "http://portal.acm.org/citation.cfm?id=29965",
)
@book(Mil89,
 author       = "R.~Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 publisher    = "Prentice-Hall, Inc. Upper Saddle River, NJ, USA",
)
@article(DH84,
 author       = "R.~De Nicola and M.~Hennessy",
 year         = "1984",
 title        = "Testing equivalences for processes",
 journal      = "TCS",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
 url          = "http://www.springerlink.com/content/m5110675433345x7/",
)
@article(Walker89,
 author       = "D.~J. Walker",
 year         = "1989",
 title        = "Automated Analysis of Mutual Exclusion Algorithms using CCS.",
 journal      = "Formal Asp. Comput.",
 volume       = "1",
 number       = "3",
 pages        = "273--292",
 doi          = "10.1007/BF01887209",
 url          = "http://www.springerlink.com/content/m80614vt26566802/",
)