AAU ABM ACM ALM AMAST AMS APALD API ARR ASI ATPSDT Aalborg Abramsky Africk Alagar Alur Appl Automata B BFb BibNet BibTeX Bobrow C CCC CCP CCT CODEN COMP COMPUT CRC CRN CTC Carlos Ciancarini Compendex Comput Corin Coventry Cruz Curteanu D DER DIT DLP DOI DTM Dataflow Desharnais Devillers E ELSEVIER Eindhoven Elsevier F FAP FAS FAX FSTTCS Fairouz Fri G GFC GSG Giacobazzi Godefroid Gopalan Gupta HCH Henzinger Huth ICALP IEEE INF INFCEC ISBN ISO ISSN InCollection InProceedings Internet J JSYCEH JSYLA Jagadeesan Janeiro Jategaonkar Jos K Kamal Kamareddine Konstantin L LCCN LECT LICS LMCS LNCS LNCSD LaTeX Lalita Libkin Lodaya Lossless Loyola M MCC MDT MFP MLM MRclass MRnumber MRreviewer MST Malacaria MathSciNet Mayoh Misc Mon Montanari N NFG Nadathur Neculai Netlib Nivat P PARC PCC PCF PCTL PHC POPL PRB PROG PTC Palo Panangaden Parnu Pasquale Penjaam Pingali Pisa Powerdomains Prakash Preprint Puchol Q QA R RBAC RPR RTA Radha Radhakrishnan Rajeev Riely S SCI SCPGD SIGACT SIGPLAN STP SV Saraswat Sassone Schellinx Sci Sendai Sep Solovay's Spreen Symp T TCC TCS TCSDIQ TDC THEOR TOPLAS TPP TR Tel Theor Thu Triveni Tyugu U USENIX Ugo Usenix V Vangalur Verlag Vijay Vineet Vinheet Vladimiro WBS X ack acknowledgement adr affiliationaddress apal automata b bibdate bibmods bibnames bibnet bibsource bisimulation booktitle c cc codetable com crossref cs d de docstring dx e edu email fjournal ftp g h http https ic inco intuitionistic ira j jagadeesan jan journalabr jsco jul labelled lossless ltx luc m n nd netlib nhfb org pCTL powerdomains radha scico ser showtags th twocolumn ufer uka utah wc www xii xiv xxpages xxtitle xxvolume