@techreport{Carruth94,
    author = "Carruth, Al",
    title = "Real-Time Unity",
    number = "CS-TR-94-10",
    institute = "University of Texas at Austin",
    school = "Department of Computer Sciences",
    address = "Austin, Texas",
    month = "1,",
    year = "1994",
    internalNo = "R1",
    url = "citeseer.nj.nec.com/carruth94realtime.html"
}

@InProceedings{Fidge94,
  author =       "Fidge, Colin J.",
  title =        "Adding Real Time to Formal Program Development",
  editor =       "Naftalin, M., Denvir, T., and Bertran, M.",
  booktitle =    "{FME'94}: Industrial Benefit of Formal Methods",
  publisher =    "Springer-Verlag, Berlin, Germany, 1994",
  series =       "Lecture Notes in Computer Science",
  volume =       "873",
  organization = "Formal Methods Europe",
  ISBN =         "3-540-58555-9",
  pages =        "618--638",
  internalNo    = "R2"
}

@InProceedings{Henzinger98,
  author =       "Henzinger, Thomas A.",
  title =        "It's About Time: Real-Time Logics Reviewed",
  booktitle =    "Proceedings of the Ninth International Conference on Concurrency",
  pages =        "439--454",
  editor =       "Sangiorgi, Davide and de Simone, Robert",
  volume =       "1466",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag, Berlin, Germany, 1998",
  address =      "Nice, France",
  url =          "http://www-cad.eecs.berkeley.edu/~tah/Publications/its_about_time.ps",
  internalNo    = "R3"
}

@InProceedings{Alur91,
  author =       "Alur, Rajeev and Henzinger, Thomas A.",
  booktitle =    "Proceedings {REX} Workshop on Real-Time: Theory in Practice",
  address =      "Mook, The Netherlands",
  pages =        "74--106",
  publisher =    "Springer-Verlag, Berlin, Germany, 1992",
  series =       "Lecture Notes in Computer Science",
  title =        "{L}ogics and {M}odels of {R}eal-{T}ime: {A} {S}urvey",
  volume =       "600",
  mon =          "June",
  year =         "1991",
  iunternalNo =  "R4"
}

@InProceedings{Kopetz0,
  Author = "Kopetz,  Hermann",
  booktitle = "Proceedings of the conference on The future of Software
  engineering",
  title = "Software engineering for real-time: a roadmap",
  pages = "201--211",
  month = "June",
  year = "2000",
  address = "Limerick, Ireland",
  internalNo = "R5"
}

@Book{Levi90,
  author =       "Levi, Shem T. and Agrawala, Ashokk K.",
  title =        "Real-Time System Design",
  publisher =    "McGraw-Hill",
  address =      "New York, New York, USA",
  year =         "1990"
}

@InProceedings{Dasdan98,
  author = "Dasdan, Ali and Gupta, Rajesh K.",
  title = "Timing issues in system-level design(Invited paper)",
  booktitle = "Proceedings of IEEE Computer Society Workshop on VLSI",
  month= "April",
  year = "1998",
  publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA",
  url = "citeseer.nj.nec.com/article/dasdan98timing.html",
  internalNo="R6"
}

@Article{Dasarathy85,
  author =       "Dasarathy, Balakrishnan",
  title =        "Timing Constraints of Real-Time systems: Control for
                 expressing them, {M}ethod for validating them",
  journal =      "IEEE Transactions on Software Engineering",
  volume =       "11",
  number =       "1",
  month =        jan,
  year =         "1985",
  internalNo=   "R7"
}

@Article{Xu93,
  title =        "On Satisfying Timing Constraints in Hard-Real-Time
                 Systems",
  author =       "Xu, Jia  and Parnas, David L.",
  pages =        "70--84",
  journal =      "IEEE Transactions on Software Engineering",
  ISSN =         "0098-5589",
  year =         "1993",
  volume =       "19",
  month =        jan,
  number =       "1",
  internalNo = "R8"
}

@InProceedings{Henzinger92,
  author =       "Henzinger, Thomas A. and Manna, Zohar and Pnueli, Amir",
  booktitle =    "Proceedings {REX} Workshop on Real-Time: Theory in
                 Practice",
  address =      "Mook, The Netherlands",
  editor =       "Jaco W. de Bakker and Kees Huizing and Willem P. de Roever and
                 Grzegorz Rozenberg",
  year =         "June, 1991",
  series =       "Lecture Notes in Computer Science",
  volume =       "600",
  publisher =    "Springer-Verlag, Berlin, Germany, 1992",
  pages =        "226--251",
  title =        "Timed Transition Systems",
  internalNo =   "R9"
}

@Article{Gupta97,
  author =       "Gupta, Rajesh K. and Micheli, Giovanni De",
  title =        "Specification and Analysis of Timing Constraints for
                 Embedded Systems",
  journal =      "IEEE Transactions on Computer-Aided Design of
                 Integrated Circuits and Systems",
  year =         "1997",
  volume =       "16",
  number =       "3",
  pages =        "240--56",
  month =        mar,
  internalNo =   "R10"
}

@book{Buttazzo00,
  author =      "Buttazzo, Giorgio C.",
  title  =      "Hard Real-Time Computing Systems",
  publisher =   "Kluwer Academic Publishers",
  address =     "Boston, Massachusetts",
  note =        "Third printing",
  year =        "2000"
}

@PhdThesis{Henzinger91,
  author =       "Henzinger, Thomas A.",
  title =        "The Temporal Specification and Verification of
                 Real-Time Systems",
  school =       "Department of Computer Science, Stanford University",
  address =      "Stanford, California",
  year =         "1991"
}

@PhdThesis{Alur91a,
  author =       "Alur, Rajeev",
  title =        "Techniques for Automatic Verification of Real-Time Systems",
  school =       "Department of Computer Science, Stanford University",
  address =      "Stanford, California",
  year =         "1991"
}


@Book{Tilborg91,
    author = "Tilborg, Andr\'e van and Koob, Gary M.",
    title =  "Foundations of Real-Time Computing, Formal Specifications and Methods",
    publisher = "Kluwer Academic Publishers",
    address = "Boston, Massachusetts",
    year =    "1991"
}

@inCollection{Mok91,
    author = "Mok, Aloysius K.",
    title  = "Towards Mechanization of Real-Time System Design",
    editor = "Tilborg, Andr\'e van and Koob, Gary M.",
    booktitle =  "Foundations of Real-Time Computing, Formal Specifications and Methods",
    publisher = "Kluwer Academic Publishers",
    address = "Boston, Massachusetts",
    year =    "1991"
}

@Book{Stankovic87,
  author =       "Stankovic, John A. and Ramamritham, Krithi",
  title =        "Tutorial on Hard Real-Time Systems",
  publisher =    "IEEE Computer Society Press, Los Alamitos, CA, USA",
  year =         "1987"
}

@Article{Banatre93,
  author =       "Ban\^atre, Jean-Pierre and {Le M\'etayer}, Daniel",
  title =        "Programming by Multiset Transformation",
  journal =      "Communications of the ACM",
  volume =       "36",
  number =       "1",
  pages =        "98--111",
  month =        jan,
  year =         "1993",
  internalNo = "C2"
}

@PhdThesis{Chaudron98,
  author =       "Chaudron, Michel R. V.",
  title =        "Separating Computation and Coordination in the Design of Parallel and Distributed Programs",
  school =       "Department of Computer Science, Rijksuniversiteit Leiden",
  address =      "Leiden, The Netherlands",
  year =         "1998",
}


@InCollection{Chaudron96,
  author =       "Chaudron, Michel R. V. and de Jong, Edwin",
  title =        "Schedules for Multiset Transformer Programs",
  booktitle =    "Coordination Programming: Mechanisms, Models and
                 Semantics",
  pages =        "195--210",
  publisher =    "Imperial College Press, London, UK, 1996",
  editors = "Jean-Marc Andreoli and Chris Hankin and Daniel Le~{M\'etayer}",
}

@techreport{Chaudron94,
  author =       "Chaudron, Michel R. V.",
  number =       "94-36",
  title =        "Schedules for Multiset Transformer Programs",
  institution =       "Department of Computer Science, Rijkuniversiteit Leiden",
  address =      "Leiden, The Netherlands",
  year =         "1994",
}

@InProceedings{Liu89,
  author =       "Liu, Leo YuHsiang  and Shyamasundar, Rudrapatna K.",
  title =        "An Operational Semantics of Real Time Design Language
                 {RT}-{CDL}",
  booktitle =    "Proceedings of the Fifth International Workshop on Software
                 Specification and Design",
  year =         "1989",
  pages =        "75--82",
  publisher =    "ACM Press",
  internalNo =   "R11"
}



@inProceedings{Nielsen96,
  author = "Nielsen, Brian and Agha, Gul",
  title = "Semantics for an actor-based real-time language",
  booktitle = "Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems (WPDRS'96)",
  month =  apr,
  publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1996",
  internalNo = "R12"
 }

 @TechReport{Plotkin81,
  author =       "Plotkin, Gordon D.",
  title =        "A structural approach to operational semantics",
  number =       "DAIMI FN-19",
  institution =  "Computer Science Department, Aarhus University",
  address =      "Aarhus, Denmark",
  year =         "1981",
  month =        sep,
  internalNo =   "G1"
}

@Article{Dasdan98,
  author =       "Dasdan, Ali, Ramanathan, Dinesh and Gupta, Rajesh~K. ",
  title =        "A Timing-Driven Design and Validation Methodology for
                 Embedded Real-Time Systems",
  journal =      "ACM Trans. on Design Automation of Electronic
                 Systems",
  year =         "1998",
  volume =       "3",
  number =       "4",
  pages =        "533--53",
  month =        oct,
  internalNo =   "R13"
}

@InCollection{Manna89,
  author =       "Manna, Zohar and Pnueli, Amir",
  editor =       "Jaco W. De Bakker and Willem P. De Roover and Grzegorz Rozenberg",
  title =        "The Anchored Version of the Temporal Framework",
  booktitle =    "Linear Time, Branching Time, and Partial Order in
                 Logics and Models for Concurrency",
  series =       "Lecture Notes on Computer Science",
  volume =       "354",
  pages =        "201--284",
  publisher =    "Springer Verlag, Berlin, Germany, 1989"
}

@InBook{Dijkstra76,
  author =       "Dijkstra, Edsger W. ",
  title =        "A Discipline of Programming",
  publisher =    "Prentice-Hall",
  address =      "Englewood Cliffs, New Jersey",
  year =         "1976"
}

@inproceedings{Pnueli77,
    author = "Pnueli, Amir",
    title = "The temporal logic of programs",
    booktitle = "Proceedings of the 18th {IEEE} Symposium on the Foundations of Computer Science ({FOCS}-77)",
    month = "31-- 2",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA",
    address = "Providence, Rhode Island",
    pages = "46--57",
    year = "1977",
    internalNo = "R14"
}

@techreport{Wildman00,
  title = "Computer-Aided Development of a Real-Time Program",
  author = "Wildman, Luke  and Fidge, Colin J. and Carrington, David",
  institution = "Software Verification Research Centre",
  address = "School of Information Technology,
   The University of Queensland, Brisbane, Australia",
  number = "99-27",
  month = mar,
  year = "2000",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?99-27",
  internalNo = "R15"
}


@article{Scholefield94,
    author = "Scholefield, David  and Zedan, Hussein  and Jifeng, He",
    title = "A specification-oriented semantics for the refinement of real-time systems",
    journal = "Theoretical Computer Science (TCS)",
    volume = "131",
    number = "1",
    pages = "219--241",
    year = "1994",
    url = "citeseer.nj.nec.com/scholefield93specification.html",
    internalNo = "R16"
}

@techreport {Hayes98,
  title = "Separating Timing and Calculation in Real-Time Refinement",
  author = "Ian Hayes",
  institution = "Software Verification Research Centre",
  address = "School of Information Technology,
   The University of Queensland, Brisbane, Australia",
  number = "98-14",
  month = jul,
  year = "1998",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?98-14",
  internalNo = "R17"
}

@TechReport{Randell98,
  type =         "Technical Report",
  number =       "CS#TR98-628",
  title =        "Coordinated Atomic Actions: Formal Model, Case Study
                 and System Implementation",
  month =        jan,
  year =         "1998",
  author =       "Randell, Brian and Romanovsky, Alexander and Stroud, Robert J. and
                 Xu, Jie and Zorzo, Avelino F. and Schwier, Detlef and von Henke, Friedrich W.",
  institution =  "Department of Computing Science, University of
                 Newcastle upon Tyne, Great Britain",
  url =          "http://www.cs.ncl.ac.uk/research/trs/papers/628.ps",
}

@TechReport{Randell97,
  author =       "Randell, Brian and Romanovsky, Alexander and Stroud, Robert J. and
                 Xu, Jie and Zorzo, Avelino F.",
  title =        "{Coordinated Atomic Actions: from Concept to
                 Implementation}",
  institution =  "Department of Computing Science, University of
                 Newcastle upon Tyne, Great Britain",
  year =         "1997",
  number =       "CS#TR97-595",
  internalNo =   "C4"
}

@inProceedings{Zorzo97,
  author = "Zorzo, Avelino F. and Romanovsky, Alexander and Xu, Jie and Randell, Brian  and Stroud, Robert J. and
    Welch, Ian",
  title = "Using Coordinated Atomic Actions to Design Dependable Distributed Object
    Systems",
  booktitle = "Proceedings of OOPSLA'97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia",
  publisher = "ACM press",
  year = "1997",
  url = "citeseer.nj.nec.com/article/zorzo97using.html",
  internalNo  = "C3"
}

@Article{Zedan99,
  author =       "Zedan, Hussein  and Cau, Antonio  and Chen, Zhiqiang  and
                 Yang, Hongji",
  title =        "{ATOM}: An object-based formal method for real-time
                 systems",
  editor =       "Tsai, Jeffrey J. P.",
  journal =      "Annals of Software Engineering",
  publisher =    "Baltzer Science Publishers",
  address =      "Bussum, The Netherlands",
  year =         "1999",
  volume =       "7",
  pages =        "235--256",
  internalNo =   "R18"
}

@Article{Morgan88,
  author =       "Carroll Morgan",
  title =        "The Specification Statement",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "10",
  number =       "3",
  pages =        "403--419",
  month =        jul,
  year =         "1988",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/44503.html"
}

@InProceedings{Fidge93,
  author =       "Fidge, Colin J.",
  editor =       "Woodcock, Jim C. P. and Larsen, Peter G.",
  title =        "Real-Time Refinement",
  series =       "Lecture Notes in Computer Science",
  volume =       "670",
  booktitle =    "FME'93: Industrial-Strength Formal Methods",
  organization = "Formal Methods Europe",
  publisher =    "Springer-Verlag, Berlin, Germany, 1993",
  pages =        "314--331",
  size =         "18",
}

@InProceedings{Fidge94,
  author =       "Fidge, Colin J.",
  title =        "Adding Real Time to Formal Program Development",
  editor =       "Naftalin, Maurice and Denvir, Tim and Bertran, Miquel",
  booktitle =    "{FME'94}: Industrial Benefit of Formal Methods",
  publisher =    "Springer-Verlag, Berlin, Germany, 1994",
  series =       "Lecture Notes in Computer Science",
  volume =       "873",
  pages =        "618--638"
}

@Article{Liu01,
  author =       "Liu, Zhiming and Joseph, Mathai",
  title =        "Verification, refinement and scheduling of real-time
                 programs",
  journal =      "Theoretical Computer Science (TCS)",
  volume =       "253",
  number =       "1",
  pages =        "119--152",
  day =          "17",
  month =        feb,
  year =         "2001",
  publisher =    "Elsevier Science, Dordrecht, The Netherlands",
  bibdate =      "Tue Apr 17 08:40:24 MDT 2001",
  url =          "http://www.elsevier.nl../25/abstract.html;
                 http://www.elsevier.nl/gej-ng/10/41/16/189/20/25/article.pdf",
  internalNo =   "R19"
}

@inproceedings{Rajkumar95,
  author = "Rajkumar, Ragunathan and Gagliardi, Mike and Sha, Lui",
  title = "The Real-Time Publisher/Subscriber Inter-Process Communication Model for
    Distributed Real-Time Systems: Design and Implementation",
  booktitle = "Proceedings of the First IEEE RealTime Technology and Applications Symposium",
  month = "May",
  year = "1995"
}

@Article{Abadi94,
  author =       "Mart\'{\i}n Abadi and Leslie Lamport",
  title =        "An Old-Fashioned Recipe for Real Time",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "16",
  number =       "5",
  pages =        "1543--1571",
  month =        sep,
  year =         "1994",
  internalNo =   "R20",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/186058.html",
}

@InProceedings{Lynch92,
  author =       "Lynch, Nancy A. and Vaandrager, Frits W.",
  booktitle =    "Proceedings {REX} Workshop on Real-Time: Theory in
                 Practice",
  address =      "Mook, The Netherlands",
  editor =       "Jaco W. de Bakker and Kees Huizing and Willem P. de Roever and
                 Grzegorz Rozenberg",
  month =        "June",
  year =         "1991",
  series =       "Lecture Notes in Computer Science",
  volume =       "600",
  publisher =    "Springer-Verlag, Berlin, Germany, 1992",
  pages =        "397--446",
  title =        "Forward and Backward Simulations for Timing-Based
                 Systems",
  internalNo =   "R21"
}

@Article{Davies95,
  title =        "A brief history of {Timed} {CSP}",
  author =       "Davies, Jim  and Schneider, Steve",
  journal =      "Theoretical Computer Science (TCS)",
  pages =        "243--271",
  month =        feb,
  year =         "1995",
  volume =       "138",
  publisher =    "Elsevier Science, Dordrecht, The Netherlands",
  number =       "2",
  internalNo =   "R22"
}

@Article{Ostroff99,
  author =       "Ostroff, Jonathan S.",
  title =        "Composition and refinement of discrete real-time
                 systems",
  journal =      "ACM Transactions on Software Engineering and
                 Methodology",
  volume =       "8",
  number =       "1",
  pages =        "1--48",
  month =        jan,
  year =         "1999",
  internalNo =   "R23",
  url =          "http://www.acm.org/pubs/articles/journals/tosem/1999-8-1/p1-ostroff/p1-ostroff.pdf;
                 http://www.acm.org/pubs/citations/journals/tosem/1999-8-1/p1-ostroff/"
}

@inproceedings{Wolper01,
    author =    "Wolper, Pierre",
    title =     "Constructing Automata from Temporal Logic
                         Formulas: A Tutorial",
    booktitle = "Lectures on Formal Methods in
                   Performance Analysis (First EEF/Euro Summer School
                   on Trends in Computer Science)",
    series =    "Lecture Notes in Computer Science",
    volume =    "2090",
    publisher = "Springer-Verlag, Berlin, Germany, 2001",
    pages=      "261--277",
    internalNo= "R24"
}

@MastersTehsis{DSouza97,
    author =    "D'Souze, Deepak",
    title  =    "On-the-fly Verification for Linear Time Temporal Logic",
    school =    "SPIC Mathematical Institute",
    address=    "Madras, India",
    month  =    "June",
    year   =    "1997",
    internalNo ="R25"
}

@inproceedings{Geilen00,
    author =    "Geilen, Marc C.W.  and Dams, Dennis R.",
    title =     "An on-the-Fly Tableau Construction for a Real-Time Temporal Logic",
    booktitle = "Proceedings of the Sixth International Symposium on Formal Techniques
                  in Real-Time and Fault-Tolerant Systems, FTRTFT2000",
    series =    "Lecture Notes in Computer Science",
    volume =    "1926",
    publisher = "Springer-Verlag, Berlin, Germany, 2000",
    month =     "September",
    pages=      "276--290",
    internalNo= "R26"
}

@incollection{Banatre01,
    author =    "Ban\^atre, Jean-Pierre and Fradet, Pascal and {Le M\'etayer}, Daniel",
    title  =    "{Gamma} and the Chemical Reaction Model: Fifteen Years After",
    editor =    "Calude, Cristian S. and Paun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto",
    booktitle = "Multiset Processing:
                Mathematical, Computer Science, and Molecular Computing Points of View",
    series =    "Lecture Notes in Computer Science",
    volume =    "2235",
    publisher = "Springer-Verlag, Berlin, Germany, 2001",
    pages=      "17--44",
    internalNo= "C6"
}

@incollection{Syropoulos01,
    author =    "Syropoulos, Apostolos",
    title  =    "Mathematics of Multisets",
    editor =    "Calude, Cristian S. and Paun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto",
    booktitle = "Multiset Processing:
                Mathematical, Computer Science, and Molecular Computing Points of View",
    series =    "Lecture Notes in Computer Science",
    volume =    "2235",
    publisher = "Springer-Verlag, Berlin, Germany, 2001",
    pages=      "347--358",
    internalNo= "C7"
}

@InProceedings{Hankin93,
  author =       "Hankin, Chris L. and LeM\'etayer, Daniel  and Sands, David",
  title =        "A Calculus of {Gamma} Programs",
  booktitle =    "Proceedings of the Fifth International Workshop on Languages and Compilers for Parallel
                 Machines, New Haven, Connecticut",
  series =       "Lecture Notes in Computer Science",
  editors =      "Gelernter, David and Nicolau, Alexandru and Padua, David",
  volume =       "757",
  publisher =    "Springer-Verlag, Berlin, Germany, 1993",
  pages =        "342--355",
}

@TechReport{Groote97,
  type =         "Technical Report",
  number =       "SEN-R9709",
  institution =  "CWI - Centrum voor Wiskunde en Informatica",
  title =        "The syntax and semantics of timed $\mu {CRL}$",
  month =        jun # " 30,",
  year =         "1997",
  author =       "Groote, Jan Friso",
  address =      "Amsterdam, The Netherlands",
  internalNo =   "R27"
}

@TechReport{Groote00,
  type =         "Technical Report",
  number =       "SEN-R0034",
  institution =  "CWI - Centrum voor Wiskunde en Informatica",
  title =        "Completeness of timed {mCRL}",
  month =        nov,
  year =         "2000",
  author =       "Groote, Jan Friso and Reniers, Michel A. and van Wamel, Jos and van der Zwaag, Mark B.",
  address =      "Amsterdam, The Netherlands",
  internalNo =   "R27"
}


@Book{Clarke99,
  author =       "Clarke, Edmund M. and Grumberg, Orna and Peled, Doron A.",
  title =        "Model Checking",
  publisher =    "The {MIT} Press",
  year =         "1999",
  address =      "Cambridge, Massachusetts",
}

@inproceedings{Alur90,
    author = "Alur, Rajeev and Henzinger, Thomas A.",
    title = "{R}eal-{T}ime {L}ogics: {C}omplexity and {E}xpressiveness",
    booktitle = "Fifth Annual {IEEE} Symposium on Logic in Computer Science",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1990",
    pages = "390--401"
}

@techreport{Chaudron94-2,
  author =       "Chaudron, Michel R. V.",
  number =       "94-36",
  title =        "Separation of Correctness and Complexity in Algorithm Design",
  institute =       "Department of Computer Science, Rijkuniversiteit Leiden",
  address =      "Leiden, The Netherlands",
  year =         "1994",
  internalNo =   "C5"
}

@Book{vanDalen94,
  author =       "Dirk {van Dalen}",
  title =        "Logic and Structure",
  edition =      "3rd, augmented",
  series =       "Universitext",
  publisher =    "Springer-Verlag",
  address =      "Berlin, Germany",
  year =         "1994"
}

@Article{Bellini00,
  author =       "Bellini, Pierfrancesco and Mattolini, Riccardo and Nesi, Paolo",
  title =        "Temporal logics for real-time system specification",
  journal =      "ACM Computing Surveys",
  volume =       "32",
  number =       "1",
  pages =        "12--42",
  month =        mar,
  year =         "2000",
  url =          "http://www.acm.org/pubs/articles/journals/surveys/2000-32-1/p12-bellini/p12-bellini.pdf",
  internalNo =   "R28"
}

@Article{Alur93,
  author =       "Alur, Rajeev and Henzinger, Thomas A.",
  title =        "Real-time Logics: Complexity and Expressiveness",
  journal =      "Information and Computation ({I\&C})",
  month =        may,
  year =         "1993",
  volume =       "104",
  number =       "1",
  pages =        "35--77",
  publisher =    "Academic Press",
  adress =       "San Diego, California",
  internalNo =   "R29"
}


@Article{Pettersson00,
    author = "Pettersson, Paul and Larsen, Kim G.",
    title  = "{UPPAAL2K}",
    journal= "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
    volume = "70",
    pages  = "40--44",
    year  = "2000"
}

@Article{Baeten91,
  author =       "Baeten, J.C.M. (Jos) and Bergstra, Jan A.",
  title =        "{Real Time Process Algebra}",
  journal =      "Formal Aspects of Computing",
  volume =       "3",
  pages =        "142--188",
  year =         "1991"
}

@Article{Baeten88,
  author =       "Baeten, J.C.M. (Jos) and Bergstra, Jan A.",
  title =        "Processen en Procesexpressies",
  journal =      "Informatie",
  volume =       "30",
  number =       "3",
  pages =        "177--248",
  year =         "1988",
  note =         "(In Dutch)"
}


@Article{Ciancarini98,
  author = "Ciancarini, Paolo, and
            Mazza, Mauro and
            Pazzaglia, Linda",
  title =  "A logic for a coordination model with multiple spaces",
  journal ="Science of Computer Programming",
  volume  ="31",
  number  ="2-3",
  pages   ="231--261",
  month =  "July",
  publisher = "Elsevier Science, Dordrecht, The Netherlands",
  year  =  "1998",
  internalNo = "C8"
}

@Article{Olveczky02,
  author =       "{\"O}lveczky, Peter Csaba and Meseguer, Jos{\'e}",
  title =        "Specification of real-time and hybrid systems in
                 rewriting logic",
  journal =      "Theoretical Computer Science (TCS)",
  volume  =      "285",
  number  =      "2",
  pages   =      "359-405",
  mon     =      aug,
  year =         "2002",
  internalNo = "R30"
}

@Article{Kesten:2000:VCH,
  author =       "Yonit Kesten and Zohar Manna and Amir Pnueli",
  title =        "Verification of clocked and hybrid systems",
  journal =      "Acta Informatica",
  volume =       "36",
  number =       "11",
  pages =        "837--912",
  year =         "2000",
  internalNo =   "R31"
}



@incollection{Lawford96,
        author="Lawford, Mark and Ostroff, Jonathan S.  and Wonham, Walter M.",
        title= "Model reduction of modules for
        state-event temporal logics",
        editor="Gotzhein, Reinhard and Bredereke, Jan",
        booktitle="Formal Description Techniques IX: Theory,
                  application
                  and tools, Proceedings of FORTE/PSTV'96",
        pages="263--278",
        publisher="Chapman \& Hall",
        year="1996"

}

@Unpublished{Lawford00,
  author =   "Lawford, Mark and Froebel, Peter and Moum, Greg",
  title =    "Application of Tabular Methods to the Specification
                  and Verification of a Nuclear Reactor Shutdown System",
  journal =  "Formal Methods in System Design",
  note =     "Submitted to Formal Methods in System Design",
  internalNo = "R29"
}

@Article{Ostroff97,
    author= "Ostroff, Jonathan S.",
    title = "A visual toolset for the design of real-time discrete-event systems",
    journal= "IEEE Transactions on Control Systems Technology",
    pages = "320--337",
    volume= "5",
    number= "3",
    year  = "1997"
}

@article{Fradet98,
    author = "Fradet , Pascal and {Le M{\'e}tayer}, Daniel ",
    title = "Structured {Gamma}",
    journal = "Science of Computer Programming",
    volume = "31",
    number = "2--3",
    pages = "263--289",
    publisher = "Elsevier Science, Dordrecht, The Netherlands",
    year = "1998"
}

@inproceedings{Andrews01,
    author = "Andrews, James H.",
    title  = "Process-Algebraic Foundations of Aspect-Oriented Programming",
    booktitle = "Proceedings of the Third International Conference on
        Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001), Kyoto, Japan",
    series = "Lecture Notes in Computer Science",
    volume = "2192",
    pages =  "187--209",
    publisher =  "Springer-Verlag, Berlin, Germany, 2001"
}

@article{Cacm01,
        author="Elrad, Tzilla  and Filman, Robert E.  and Bader editors, Atef ",
        journal="Communications of the ACM, Special Issue on Aspect Oriented Programming",
        publisher="ACM Press",
        volume = "44",
        number = "10",
        year="2001"
}

@PhdThesis{Vereijken97,
  author =       "Vereijken, Jan Joris",
  title =        "Discrete Time Process Algebra",
  school =       "Department of Mathematics and Computer Science, Eindhoven University of Technology",
  address =      "Eindhoven, The Netherlands",
  year =         "1997",
}

@techreport{Mousavi02-GammaTechRep,
    author = "Mousavi, MohammadReza and Basten, Twan and Reniers, Michel and Chaudron, Michel and Russello, Giovanni",
    title = "Separating Functionality, Behavior and Timing in The Design of Reactive Systems: ({GAMMA} + Coordination) + Time",
    number = "02-09",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address = "Eindhoven, The Netherlands",
    year = "2002"
}

@techreport{Cuijpers03,
    author = "Cuijpers, Pieter J.L. and Reniers, Michel A.",
    title = "Hybrid Process Algebra",
    number = "03-07",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address = "Eindhoven, The Netherlands",
    year = "2003"
}

@article{Cuijpers05,
    author = "Cuijpers, Pieter J.L. and Reniers, Michel A.",
    title = "Hybrid Process Algebra",
    journal   = "Journal of Logic and Algebraic Programming (JLAP)",
    volume    = "62",
    number    = "2",
    year      = "2005",
    pages     = "191--245"
}


    number = "03-07",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address = "Eindhoven, The Netherlands",
    year = "2003"
}


@InProceedings{Mousavi02-HLDVT,
    author = "Mousavi, MohammadReza and Reniers, Michel and Basten, Twan and Chaudron, Michel and Russello, Giovanni
             and Cursaro, Angelo and Shukla, Sandeep and Gupta, Rajesh and Schmidt, Douglas C.",
    title = "Using {Aspect-GAMMA} in the Design of Embedded Systems",
    booktitle = "Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test",
    address = "Cannes, France",
    pages = "69-74",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2002"
}

@InProceedings{Mentre99,
  author =       "{Mentr\'e}, David and {Le M\'etayer}, Daniel and  Priol, Thierry",
  booktitle =    "Proceedings of WSDSM'99 Workshop, Rhodes, Greece",
  title =        "Towards designing SVM coherence protocols using high-level specifications and aspect-oriented translations",
  month = "June",
  year = "1999"
}


@inProceedings{Rezvani02,
    author = "Jalili, Rasool and Rezvani, Mohsen",
    title = "Specification and Verification of Security Policies in Firewalls",
    editor = "Shafazand, Hassan and Tjoa, Min A",
    booktitle = "EurAsia-ICT 2002: Information and Communication Technology",
    address = "Shiraz, Iran",
    series = "Lecture Notes in Computer Science",
    volume = "2510",
    pages =  "154--163",
    publisher =  "Springer-Verlag, Berlin, Germany, 2002"
}

@article{Brogi02,
    author      = "Brogi, Antonio and Jacquet, Jean-Marie",
    title       = "On the Expressiveness of Coordination via Shared Dataspaces",
    journal     = "Science of Computer Programming",
    publisher   = "Elsevier Science, Dordrecht, The Netherlands",
    volume      = "46",
    number      = "1-2",
    pages       = "71--98",
    year        = "2003"
}

@inProceedings{Bracciali01,
    author = "Bracciali, Andrea and Brogi, Antonio  and Turini, Franco",
    title = "Coordinating interaction patterns",
    booktitle = "Proceedings of the 16th ACM Symposium on Applied Computing",
    year = "2001"
}

@InProceedings{Tarr99,
  author =       "Peri Tarr and Harold L. Ossher and William H. Harrison
                 and Stanley M. {Sutton, Jr.}",
  title =        "{N} Degrees of Separation: Multi-Dimentional
                 Separation of Concerns",
  booktitle =    "Proceedings of the ~21st~ International Conference on
                 Software Engineering",
  pages =        "107--119",
  publisher =    "IEEE Computer Society Press / ACM Press, 1999"
}


@inProceedings{Jacquet00,
  author    =  "Jacquet, Jean-Marie and De Bosschere, Koenraad  and Brogi, Antonio",
  title     =  "On Timed Coordination Languages",
  editor    =  "Porto, Ant{\'o}nio and Roman, Gruia-Catalin",
  booktitle     =  "Proceedings of the 4th International Conference on Coordination Languages and Models (COORDINATION'00)",
  publisher = "Springer-Verlag, Berlin, Germany, 2000",
  series    = "Lecture Notes in Computer Science",
  volume    = "1906",
  pages     = "81--98",
  internalNo = "R35"
}

@PhdThesis{deJong92,
  author =       "de Jong, Edwin",
  title =        "Transaction-based Programming",
  school =       "Department of Computer Science, Rijksuniversiteit Leiden",
  address =      "Leiden, The Netherlands",
  year =         "1992"
}

@inProceedings{Daniels91,
  author    = "Daniels, Mats",
  title     = "Modelling Real-Time Behavior with an Interval Time Calculus",
  editor    = "Vytopil, Jan",
  booktitle = "Proceedings of the 2nd
               International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'92)",
  series    = "Lecture Notes in Computer Science",
  volume    = "571",
  pages     = "53--71",
  publisher = "Springer-Verlag, Berlin, Germany, 1991",
  internalNo= "R33"
}

@InCollection{Harrison93,
  author =       "Harrison, William and Ossher, Harold",
  title =        "Subject-Oriented Programming ({A} Critique of Pure
                 Objects)",
  booktitle =    "Proceedings {ACM} Conference on Object-Oriented
                 Programming Systems, Languages, and Applications",
  publisher =    "ACM Press",
  year =         "1993",
  editor =       "Andreas Paepcke",
  volume =       "28",
  number =       "10",
  series =       "ACM SIGPLAN Notices",
  pages =        "411--428",
  month =        oct
}

@InCollection{Wong-Toi91,
  AUTHOR = "Wong-Toi, Howard and  and Dill, David L.",
  TITLE  = "Synthesizing Processes and Schedulers from Temporal Specifications",
  BOOKTITLE = "Proc. of the 2nd International Conference on Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA",
  EDITOR    = "Clarke, Edmund M., and Kurshan, Robert P. ",
  SERIES    = "Lecture Notes on Computer Science",
  VOLUME    = "531",
  PUBLISHER = "Springer-Verlag, Berlin, Germany, 1991",
  PAGES     = "272-281",
  YEAR      = "1991",
  internalNo= "Syn1"
}

@Article{Manna91,
   Author  = "Manna, Zohar and Pnueli, Amir",
   title   = "Synthesis of Communicating processes from temporal logic specifications",
   journal = "ACM Transactions on Programming Languages and Systems",
   Volume  = "6",
   Number  = "1",
   page    = "68-93",
   Month   = "January",
   Year    = "1984"
}

@InProceedings{Fujita93,
    Author = "Fujita, Masahiro and Kono, Shinji",
    title  = "Synthesis of Controllers from Interval Temporal Logic Specification",
    booktitile  = "Proceedings of IEEE International Conference on Computer Design (ICCD'93), Boston, MA",
    publisher   = "IEEE Press, 1993",
    page        = "242-245",
    month       = oct,
    year        = "1993"
}

@InProceedings{Koymans91,
  author =       "Koymans, Ron",
  title =        "{(Real)} Time: {A} Philosophical Perspective",
  pages =        "353--370",
  booktitle =    "Proceedings {REX} Workshop on Real-Time: Theory in
                 Practice, {\rm Mook, The Netherlands, June 1991}",
  editor =       "Jaco W. de Bakker and Kees Huizing and Willem P. de Roever and
                 Grzegorz Rozenberg",
  series =       "Lecture Notes in Computer Science",
  volume =       "600",
  publisher =    "Springer-Verlag, Berlin, Germany, 1992"
}

@inproceedings{Kiczales97,
   author = "Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Videira Lopes and Jean- Marc Loingtier and John Irwin",
   title = "{Aspect-Oriented Programming}",
   booktitle = "{Proceedings of the 11th European Conference on Object-Oriented Programming}",
   series = "Lecture Notes in Computer Science",
   volume = "1241",
   pages = "220--242",
   editor = "Aksit, Mehmet and Matsoka, Statoshi",
   publisher = "Springer-Verlag, Berlin, Germany, 1997",
   year = 1997,
   month = jun
 }


@inproceedings{Weichert99,
    author = "Weichert, Martin",
    title  = "Pipelining the Molecule Soup: A Plumber's Approach to GAMMA",
    editor = "Ciancarini, Paolo and  Wolf, Alexander L.",
    booktitle = "Proceedings of the Third International Coordination Conference",
    address = "Amsterdam, The Netherlands",
    series = "Lecture Notes in Computer Science",
    volume = "1594",
    pages =  "69--84",
    publisher =  "Springer-Verlag, Berlin, Germany, 1999"
}

@inproceedings{Hannemann01-2,
    author = "Hannemann, Ulrich and Hooman, Jozef",
    title  = "Formal Design of Real-Time Components on a Shared Data Space Architecture",
    booktitle = "Proceedings of the Annual International Computer Software and Applications Conference (COMPSAC'01)",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2001",
    pages     = "143 - 150",
    internalNo = "R42"
}


@InCollection{Buessow96,
  author =       "B{\"u}ssow, Robert and Weber, Matthias",
  title =        "A Steam-Boiler Control Specification with
                 {Statecharts} and {Z}",
  editor =       "Jean-Raymond Abrial, Egon B{\"o}rger, and Hans Langmaack.",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "109--128",
  internalno =   "RTC1"
}


@article{Reniers02,
    author = "Reniers, Michel A. and Groote, Jan Friso and van der Zwaag, Mark B. and van Wamel, Jos",
    title  = "Completeness of Timed $\mu{CRL}$",
    Journal= "Fundamenta Informaticae",
    volume = "50",
    number = "3-4",
    pages  = "361--402",
    year   = "2002"
}

@techreport{Hooman01,
    author = "Hannemann, Ulrich  and Hooman, Jozef",
    title  = "Top-down Design of a Command-and-Control System with Timing Assumptions",
    number = "CSI - R0116",
    institute =  "University of Nijmegen",
    school    =  "Computing Science Institute",
    address   =  "Nijmegen, The Netherlands",
    internalNo = "RTC0"
}

@InCollection{Schenke96,
  author =       "Michael Schenke and Anders P. Ravn",
  title =        "Refinement from a Control Problem to Programs",
  editor =       "Jean-Raymond Abrial, Egon B{\"o}rger, and Hans Langmaack.",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "403--427",
  internalNo =   "RTC2"
}

@book{Abrial96,
  editor =       "Abrial, Jean-Raymond and B{\"o}rger, Egon and Langmaack, Hans ",
  title =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler Control",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  internalNo =   "RCT2"
}

@InCollection{Abrial96-2,
  author =       "Abrial, Jean-Raymond",
  title =        "{A:} Steam-boiler Control Specification Problem",
  editor =       "Jean-Raymond Abrial, Egon B{\"o}rger, and Hans Langmaack.",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "500-509",
  internalNo =   "RTC3"
}

@InProceedings{Olveczky2001,
  author =       "{\"O}lveczky, Peter Csaba  and Keaton, Mark  and
                 Meseguer, Jos{\'e} and Talcott, Carolyn  and Zabele, Steve",
  title =        "Specification and Analysis of the {AER\slash NCA}
                 Active Network Protocol Suite in Real-Time Maude",
  journal =      "Lecture Notes in Computer Science",
  booktitle =    "Proceedings of Fundamental Approaches to Software Engineering ({FASE}) 2001, Genova, Italy",
  editor =       "Hussmann, Heinrich ",
  series =       "Lecture Notes in Computer Science",
  volume =       "2029",
  pages =        "333--347",
  publisher =    "Springer-Verlag, Berlin, Germany, 2001",
  internalNo =   "RTC4"
}

@InCollection{Bidoit96,
  author =       "Bidoit, Michel and Chevenier, Claude  and Pellen, Christine and Ryckbosch, J{\'e}r{\^o}me ",
  title =        "An Algebraic Specification of the Steam-Boiler
                 Control System",
    editor =       "Jean-Raymond Abrial, Egon B{\"o}rger, and Hans Langmaack.",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "79--108",
  internalNo =   "RTC5"
}

@Unpublished{Lawford00,
  author =   "Lawford, Mark and Froebel, Peter and Moum, Greg",
  title =    "Application of Tabular Methods to the Specification
                  and Verification of a Nuclear Reactor Shutdown System",
  journal =  "Formal Methods in System Design",
  note =     "Submitted to Formal Methods in System Design",
  internalNo = "RTC6"
}

@techreport{Blair99,
    author = "Balir, Lynne  and Blair, Gordon and Anderson, Anders",
    title  = "Separating Functional Behavior and Performance Constraints: Aspect-Oriented Specification",
    number = "MPG-98-07",
    institute =  "Lancaster University",
    school    =  "Computing Department",
    address   =  "Lancaster, UK",
    internalNo = "R31"
}

@inproceedings{Lakas96,
    author = "Lakas, Abderrahmane and Blair, Gordon and Chetwynd, Amanda",
    title  = "Specification and Verification of Real-Time Properties using LOTOS and SQTL",
    booktitle = "Proceedings of the 8th International Workshop on Software Specification and Design, Paderborn, Germany",
    Pages     =  "75--84",
    month     =  mar,
    year      =  "1996",
    internalNo=  "R32"
}

@inproceedings{Bozga00,
    author    = "Bozga, Marius and Graf, Susanne and Kerbrat, Alain and Mounier, Laurent and Ober, Iulian and Vincent, Daniel",
    title     = "SDL for real time: What is missing?",
    booktitle = "2nd Workshop on SDL and MSC (SAM'00), Grenobel, France",
    month     = jun,
    year      = "2000",
    internalNo= "R34"
}

@InCollection{Lesske96,
  author =       "Frank Le\ss ke and Stephan Merz",
  title =        "Steam boiler control specification problem: A {TLA} solution",
  editor =     "Jean-Raymond Abrial, Egon B{\"o}rger, and Hans Langmaack.",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "339--359",
  internalNo =   "RTC7"
}

@InCollection{Willig96,
  author =       "Willig, Andreas and Schieferdecker, Ina",
  title =        "Specifying and Verifying the Steam-Boiler Control System with {Time Extended LOTOS}",
  editor =     "Abrial, Jean-Raymond  and B{\"o}rger, Egon  and Langmaack, Hans",
  booktitle =    "Formal Methods for Industrial Applications: Specifying
                 and Programming the Steam Boiler",
  publisher =    "Springer-Verlag, Berlin, Germany, 1996",
  series =       "Lecture Notes in Computer Science",
  volume =       "1165",
  pages =        "473-492",
  internalNo =   "RTC8"
}

@article{Lamport94,
  author =  "Lamport, Leslie",
  title  =  "The Temporal Logic of Actions",
  journal=  "Transactions on Programming Languages and Systems (TOPLAS)",
  volume =  "16",
  number =  "3",
  pages  =  "872--923",
  month  =  may,
  year   =  "1994"
}

@techreport{Russello02,
    title =  "Separating Distribution Policies in a Shared Data Space System",
    author = "Russello, Giovanni and Chaudron, Michel and van Steen, Maarten",
    number = "IR-497",
    Institution = "Vrije Universiteit",
    school =  "Department of Mathematics and Computer Science",
    mon =  jun,
    year =  "2002"
}

@InProceedings{VanGlabbeek99,
    title = "Scheduling Algebra",
    author = "Glabbeek, Robert Jan (Rob) van and Rittgen, Peter",
    booktitle = "Proceedings of the 7th International Conference on Algebraic Methodology And Software Technology (AMAST 99)",
    editor = "Haeberer, Armando Martin",
    address = "Amazonia, Brazil",
    series = "Lecture Notes in Computer Science",
    volume = "1548",
    publisher = "Springer-Verlag, Berlin, Germany, 1999",
    pages = "278--292",
    internalNo = "R41"
}

@InProceedings{Henzinger00,
    author = "Henzinger, Thomas A. and  Qadeer, Shaz and Rajamani, Sriram K.",
    title = "Decomposing Refinement Proofs using Assume-guarantee Reasoning",
    booktitle = "Proceedings of the International Conference on Computer-Aided Design (ICCAD'00)",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2000",
    pages = "245--252",
}

@InProceedings{Alur00,
    author = "Alur, Rajeev and Grosu, Radu  and Wang, Bow-Yaw",
    title = "Automated refinement checking for asynchronous processes",
    booktitle = "Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design (FMCAD'00)",
    series = "Lecture Notes in Computer Science",
    volume = "1954",
    publisher = "Springer-Verlag, Berlin, Germany, 2000",
    pages = "55-72"
}

@InProceedings{Peng02,
    author = "Peng, Hong and Mokhtari, Yassine and  Tahar, Sofi\'ene",
    title = "Environment Synthesis for Compositional Model Checking",
    booktitle = "Proceedings of IEEE International Conference on Computer Design (ICCD'02)",
    address = "Freiburg, Germany",
    pages = "70--75",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2002"
}

@InProceedings{Basten03,
    author = "Basten, Twan and Benini, Luca and Chandrakasan, Anantha and Lindwer, Menno and Liu, Jie and Min, Rex
                and Zhao, Feng",
    title = "Scaling into Ambient Intelligence",
    booktitle = "Proceedings of Design Automation and Test in Europe (DATE'03)",
    address = "Munchen, Germany",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2003"
}

@InProceedings{Xu96,
    author = "Xu, Qiwen",
    title = "On compositionality in refining concurrent systems",
    booktitle = "Proceedings of the BCS FACS 7th Refinement Workshop",
    series = "Electronic Workshops in Computing",
    publisher =  "Springer-Verlag, Berlin, Germany, 1996",
    editor =  "Jifeng, He and Cooke, John and Wallis, Peter "
}

@inproceedings{Back94,
    author = "Back, Ralph J.R.  and von Wright, Joakim",
    title = "Trace Refinement of Action Systems",
    booktitle = "Proceedings of the 5th International Conference on Concurrency Theory",
    pages = "367-384",
    year = "1994",
    editor =       "Bengt Jonsson and Joachim Parrow",
    address =      "Uppsala, Sweden",
    year =         "1994",
    series =       "Lecture Notes in Computer Science",
    volume =       "836",
    publisher =    "Springer-Verlag, Berlin, Germany"
}

@InProceedings{Jacob91,
  author =       "Jacob, Jeremy",
  title =        "The Varieties of Refinements",
  editor =       "J. M. Morris and R. C. Shaw",
  pages =        "441--455",
  editor =       "Morris, Joseph M.  and Shaw, Roger C.",
  booktitle =    "4th Refinement Workshop",
  publisher =    "Springer-Verlag, Berlin, Germany",
  series =       "Workshops in Computing",
  ISBN =         "3-540-19657-9",
  year =         "1991"
}

@InProceedings{Errington93,
  author =       "Errington, Lindsay and Hankin, Chris and Jensen, Thomas",
  eitor =       "Patrick Cousot and  Moreno Falaschi and Gilberto Fil{\'e} and Antoine Rauzy",
  title =        "A congruence for {Gamma} programs",
  booktitle =    "Proceedings of the 3rd International Workshop on Static Analysis (WSA '93)",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag, Berlin, Germany",
  volume =       "724",
  pages =        "242--253",
  year =         "1993"
}

@Article{Hankin98,
  author =       "Hankin, Chris  and Le M{\'e}tayer, Daniel  and Sands, David",
  title =        "Refining multiset transformers",
  journal =      "Theoretical Computer Science (TCS)",
  volume =       "192",
  number =       "2",
  pages =        "233--258",
  month =        feb,
  year =         "1998",
  publisher =    "Elsevier Science, Dordrecht, The Netherlands"
}


@InProceedings{Sands93,
  author = "Sands, David",
  title =  "A Compositional Semantics of Combining Forms for {G}amma Programs",
  booktitle = "Formal Methods in Programming and Their Applications,
                International Conference, Novosibirsk, Russia",
  editor = "Dines Bj{\"o}rner and Manfred Broy and Igor Pottosin",
  year =   "1993",
  pages =  "43--56",
  series = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag, Berlin, Germany"
}

@InCollection{Sands96,
  author = "Sands, David",
  title =  "Composed Reduction Systems",
  pages =  "360--377",
  booktitle = "Coordination Programming: Mechanisms, Models and Semantics",
  editors = "Jean-Marc Andreoli and Chris Hankin and Daniel Le~{M\'etayer}",
  year = "1996",
  publisher = "IC Press, World Scientific, Singapore"
}

@article{Back98,
    author = "Back, Ralph J.R. and Xu, Qiwen",
    title = "Refinement of fair action systems",
    journal = "Acta Informatica",
    volume = 35,
    number = 2,
    year   = "1998",
    pages  = "131-165",
    publisher = "Springer-Verlag, Berlin"
}

@techReport{Back02,
    author = "Back, Ralph and von Wright, Joakim",
    title  = "Compositional Action System Refinement",
    institution = "Turku Centre for Computer Science",
    address = "Turku, Finland",
    number = "464",
    year = "2002"
}



@inProceedings{Schenke94,
    author = "Schenke, Michael",
    title  = "Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency",

    editor = "Hans Langmaack and
               Willem P. de Roever and
               Jan Vytopil",
    booktitle = "Proceedings of the 3rd International Conference on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94)",
    publisher = "Springer-Verlag, Berlin, Germany, 1994",
    series    = "Lecture Notes in Computer Science",
    volume    = "863",
    pages  = "605--620",
    internalNo = "R36"
}

@inproceedings{Kopetz91,
    author = "Hermann Kopetz and R. Zainlinger and Gerhard Fohler and Heinz Kantz and P. Puschner and Werner Schutz",
    title = "An Engineering Approach to Hard Real-Time System Design",
    booktitle = "European Software Engineering Conference",
    pages = "166-188",
    year = "1991",
    url = "citeseer.nj.nec.com/kopetz91engineering.html",
    internalNo = "R37"
}

@article{Broy01,
    author = "Broy, Manfred",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "253",
    number  = "1",
    year    = "2001",
    pages   = "3--26",
    publisher =    "Elsevier Science, Dordrecht, The Netherlands",
    internalNo = "R38"
}

@inProceedings{Kopetz92,
    author    = "Kopetz, Hermann",
    title     =  "Sparse Time versus Dense Time in Distributed Real-Time Systems",
    booktitle = "Proceedings of the 12th International Conference on Distributed Computing Systems, Yokohama, Japan",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1992",
    pages     = "460--467",
    internalNo = "R39"
}


@inproceedings{Bowman93,
    author = "Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G.",
    title  = "Time Versus Abstraction in Formal Description",
    year   = "1993",
    pages = "467--482",
    booktitle = "Proceedings of the Sixth International Conference on Formal Description Techniques (FORTE`93)",
    editor = "Richard Tenney and Paul D. Amer and Umit Uyar",
    publisher = "North-Holland, The Netherlands, 1993",
    series    = "IFIP Transactions",
    volume    = "C-22",
    internalNo = "R43"
}

@article{Stankovic88,
    author = "Stankovic, John A.",
    title =  "Misconceptions about real-time computing: a serious problem for next-generation systems",
    journal = "Computer",
    volume = "21",
    number = "10",
    year = "1988",
    pages = "10--19",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA",
    internalNo = "R44"
 }

@techreport{Wang95,
    author = "Juan, Wang and Xiaoshan, Li",
    title  = "A Duration Calculus Approach to Specifying the Steam-boiler Problem",
    number = "38",
    institution = "UNU/IIST, P.O.Box 3058, Macau",
    year = "1995",
    internalNo = "RTC9"
}

@InProceedings{Wong-Toi:1991:SPS,
  author =       "Howard Wong-Toi and David L. Dill",
  title =        "Synthesizing Processes and Schedulers from Temporal
                 Specifications",
  journal =      "Lecture Notes in Computer Science",
  volume =       "531",
  pages =        "272--??",
  year =         "1991",
  coden =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Mon May 13 08:51:55 MDT 1996",
  acknowledgement = ack-nhfb,
}

@inProceedings{Alur98,
  author    = "Alur, Rajeev and Henzinger, Thomas A. and Kupferman, Orna  and Vardi, Moshe Y.",
  title     = "Alternating Refinement Relations",
  booktitle = "Proceedings of the 9th International Conference on Concurrency Theory (CONCUR'98)",
  publisher = "Springer-Verlag, Berlin, Germany, 1998",
  series    = "Lecture Notes in Computer Science",
  volume    = "1466",
  pages     = "163--178"
}

@Book{Back98-2,
  author =       "Back, Ralph Johan  and von Wright, Joakim",
  title =        "Refinement Calculus: {A} Systematic Introduction",
  series =       "Graduate Texts in Computer Science",
  publisher =    "Springer-Verlag, Berlin, Germany",
  year =         "1998"
}

@inProceedings{Buchholtz02,
  author = "Buchholtz, Mikael and Andersen, Jacob and Loevengreen, Hans Henrik",
  title  = "Towards a Process Algebra for Shared Processors",
  booktitle = "Proceedings of the 2nd Workshop on Models for Time-Critical Systems (MTCS'01)",
  series = "Electronic Notes in Theoretical Computer Science (ENTCS)",
  publisher = "Elsevier Science",
  volume = "52",
  Number = "3",
  year   = "2002",
  internalNo = "TPA1"
}

@inProceedings{Lee02,
    author =  "Lee, Insup and  Philippou, Anna and Sokolsky, Oleg",
    title  = "A General Resource Framework for Real-Time Systems",
    booktitle = "Proceedings of the Monterey Workshop, Venice, Italy",
    year = "2002",
    internalNo = "Sch03"
}

@inProceedings{Lee01,
    author = "Lee, Insup and Choi, Jin-Youang and Kwak, Hee Hwan and Philippou, Anna and Sokolsky, Oleg",
    title  = "A Family of Resource-Bound Real-time Process Algebras",
    booktitle = "Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01)",
    pages = "443--458",
    publisher = "Kluwer Academic Publishers, August 2001",
    internalNo = "Sch02"
}

@article{Kwak02,
    author = "Kwak, Hee-Hwan and Lee, Insup and Sokolsky, Oleg",
    title = "Parametric Approach to the Specification and Analysis of Real-time Scheduling based on ACSR-VP",
    journal = "Science of Computer Programming",
    volume = "42",
    number =  "1",
    year = "2002",
    pages = "49-60",
    internalNo = "TPA0"
}



@article{Gregoire97,
  title =        "A process algebra of communicating shared resources
                 with dense time and priorities",
  author =       "Patrice Br{\'e}mond-Gr{\'e}goire and Insup Lee",
  pages =        "179--219",
  journal =      "Theoretical Computer Science (TCS)",
  publisher =    "Elsevier Science",
  year =         "1997",
  volume =       "189",
  number =       "1--2",
  internalNo =   "Sch04"
}


@InProceedings{Andersen94,
  title =        "An Asynchronous Algebra with Multiple Clocks",
  author =       "Andersen, Henrik Reif  and Mendler, Michael V.",
  booktitle =    "5th European Symposium on Programming ({ESOP}'94)",
  editor =       "Donald Sannella",
  address =      "Edinburgh, U.K.",
  month =        "11--13~" # apr,
  year =         "1994",
  series =       "Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany",
  volume =       "788",
  pages =        "58--73",
  internNo =     "Sch01"
}

@InProceedings{Fredette93,
    author =    "Fredette, Andre N. and Cleaveland, Rance",
    title =     "{RTSL}: A language for real-time schedulability analysis",
    booktitle = "Proceedings of the Real-Time Systems Symposium (RTSS'93)",
    pages =     "274--283",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1993",
    internalNo = "TPA2"
}

@book{Baeten02,
    author = "Baeten, J.C.M. (Jos)  and Middelburg, Cornelis A. (Kees)",
    title =  "Process Algebra with Timing",
    series = "EATCS Monographs",
    publisher = "Springer-Verlag, Berlin, Germany",
    year =  "2002"
}

@inProceedings{Ommering02,
    title = "The {Koala} Component Model",
    author = "Ommering, Rob van",
    booktitle = "Building Reliable Component-Based Software Systems",
    editor = "Crnkovic, Ivica  and Larsson, Magnus",
    publisher = "Artech House Publishers",
    month = "July",
    year = "2002"
}

@TechReport{Mousavi03-PARSTechRep,
    title = "{\PARS}: A Process Algebra with Resource and Schedulers",
    author = "Mousavi, MohammadReza and Reniers, Michel and Basten, Twan and Chaudron, Michel",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    year = "2003",
    note = "To appear, draft available at: \verb http://www.win.tue.nl/~mousavi/pars.ps "
}

@TechReport{Mousavi03-SignalTechRep,
    title       = "Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks",
    author      = "Mousavi, MohammadReza and Le Guernic, Paul and Talpin, Jean-Pierre and Shukla, Sandeep Kumar and Basten, Twan",
    institution = "INRIA-IRISA, Rennes, France",
    number      = "4935",
    year        = "2003",
}


@InProceedings{Mousavi03-FORMATS,
    title = "{\PARS}: A Process Algebra with Resource and Schedulers",
    author = "Mousavi, MohammadReza and Reniers, Michel and Basten, Twan and Chaudron, Michel",
    booktitle = "Proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems (Formats'03)",
    series = "Lecture Notes in Computer Science",
   editor    = "Larsen, Kim G. and Niebert, Peter",
    series = "Lecture Notes in Computer Science",
    volume = "2791",
    pages  = "134--150",
    publisher = "Springer-Verlag, Berlin, Germany, May, 2004"
}


@InProceedings{Mousavi03-ACSD,
    author = "Mousavi, MohammadReza and Reniers, Michel and  Basten, Twan and Chaudron, Michel",
    title = "Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems",
    booktitle = "Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03),",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2003"
}

@InProceedings{Corradini02,
    author = "Corradini, Flavio and Ferrari, GianLuigi and  Pistore Marco",
    title  = "Eager, Busy-Waiting and Lazy Actions in Timed Computation",
    booktitle = "Proceedings of Express'97 (Santa Margherita Ligure, Italy)",
    series =  "Electronic Notes in Theoretical Computer Science (ENTCS)",
    pages = "133-150",
    year = "1997"
}

@article{Aceto96,
    author = "Aceto, Luca  and Murphy, David",
    title =  "Timing and Causality in Process Algebra",
    journal = "Acta Informatica",
    volume = "33",
    number = "4",
    pages = "317--350",
    year =  "1996"
}

@techreport{Verijken94,
    author = "Vereijken, Jan Joris",
    title = "Fischer's Protocol in Timed Process Algebra",
    number = "CSR-94-32",
    school = "Department of Computer Science",
    institution = "Eindhoven University of Technology",
    year = "1994",
    internalNo = "RTC10"
}

@artcile{Adam74,
    author = "Adam, Thomad L. and Chandy, K. Mani and Dickson, J.R.",
    title =  "A comparison of list schedules for parallel processing systems",
    journal = "Communications of the ACM",
    volume = "17",
    number = "12",
    month = "December",
    year =  "1974",
    pages = "685-690",
    internalNo = "Sch0"
}

@InProceedings{Feitelson95,
  author =       "Feitelson, Dror G.  and Rudolph, Larry",
  title =        "Parallel Job Scheduling: Issues and Approaches",
  booktitle =    "{Job Scheduling Strategies for Parallel Processing~--
                 IPPS'95 Workshop Proceedings}",
  series =       "Lecture Notes in Computer Science",
  volume =       "949",
  publisher =    "Springer-Verlag, Berlin, Germany, 1995",
  address =      "Santa Barbara, {CA}",
  pages =        "1--18",
  internalNo =   "Sch1"
}

@Article{Bhat99,
  author =       "Girish Bhat and Rance Cleaveland and Gerald
                 L{\"u}ttgen",
  title =        "A practical approach to implementing real-time
                 semantics",
  editor =       "Tsai, Jeffrey J. P.",
  journal =      "Annals of Software Engineering",
  publisher =    "Baltzer Science Publishers",
  publaddr =     "Bussum, The Netherlands",
  year =         "1999",
  volume =       "7",
  pages =        "127--155",
  internalNo =   "TPA3",
  note =         "Concurrency Workbench"
}

@Article{Casavant88,
  author =       "Casavant, Thomas L.  and Kuhl, Jon G.",
  title =        "A Taxonomy of Scheduling in General-Purpose
                 Distributed Computing Systems",
  journal =      "IEEE Transactions on Software Engineering",
  volume =       "14",
  number =       "2",
  pages =        "141--154",
  month =        feb,
  year =         "1988",
  internalNo =   "Sch2"
}

@unpublished{Evers92,
  author =       "Evers, Xander",
  title =        "A Literature Study on Scheduling in Distributed System",
  note  =        "Research Assignment TU/Delft",
  internalNo =   "Sch3"
}

@Article{Liu73,
  title =        "Scheduling Algorithms for Multiprogramming in a
                 Hard-Real-Time Environment",
  author =       "C. L. Liu and James W. Layland",
  area =         "Operating Systems",
  pages =        "46--61",
  journal =      "Journal of the ACM (JACM)",
  month =        jan,
  year =         "1973",
  volume =       "20",
  number =       "1",
  internalNo =   "Sch4"
}

@techreport{Hesselink94,
    author = "Hesselink, Wim H. and  Tol, Ronald M.",
    title = "Formal feasibility conditions for earliest deadline first scheduling",
    number = "CS-R 9406",
    school = "Department of Computer Science",
    institution = "Rijksuniversiteit Groningen",
    year = "1994",
    internalNo = "Sch5"
}

@InProceedings{Garofalakis96,
  author =       "Garofalakis, Minos N.  and Ioannidis, Yannis E.",
  title =        "Multi-dimensional resource scheduling for parallel
                 queries",
  editor =       "H. V. Jagadish and Inderpal Singh Mumick",
  booktitle =    "Proceedings of the 1996 {ACM} {SIGMOD} International
                 Conference on Management of Data, Montreal, Quebec,
                 Canada",
  publisher =    "ACM Press, New York, USA, 1996",
  pages =        "365--376",
  year =         "1996",
  internalNo =   "Sch6"
}

@article{Nicollin94,
    author = "Nicollin, Xavier and Sifakis, Joseph",
    title =  "The algebra of timed processes {ATP}: theory and application",
    journal = "Information and Computation ({I\&C})",
    volume =  "114",
    number =  "1",
    month =  oct,
    year =   "1994",
    pages =  "131-178",
    internalNo = "TPA4"
}

@article{Corradini99,
 title = "On the Relationships among four Timed Process Algebras",
 author = "Corradini, Flavio  and D'Ortenzio, Domenicantonio and Inverardi, Paola",
 journal = "Fundamenta Informaticae",
 number = "4",
 volume = "38",
 pages = "377-395",
 year = "1999",
 internalNo = "TPA5"
}

@book{Buttazzo00,
    author = "Buttazzo, Giorgio",
    title = "Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications",
    publisher = "Kluwer Academic Publishers",
    address = "Boston, USA",
    year = "2000"
}

@article{Reid02,
    title = "Task/Scheduler Logic: Reasoning about Concurrency in Component-Based Systems Software",
    author = "Reid, Alastair  and Regehr, John",
    month = sep,
    year = "2002"
}

@Article{Berry92,
  author =       "Berry, G\'erard  and Boudol, G\'erard",
  title =        "The Chemical Abstract Machine",
  journal =      "Theoretical Computer Science (TCS)",
  volume =       "96",
  pages =        "217--248",
  year =         "1992"
}

@InProceedings{Wermelinger98,
    author = "Wermelinger, Michel",
    title = "Software Architecture Evolution and the Chemical Abstract Machine",
    booktitle = "Proceedings of the International Workshop on the Principles of Software Evolution",
    pages = "93-97",
    month =  apr,
    year = "1998"
}

@article{Inverardi95,
    author = "Inverardi, Paola  and Wolf, Alexander L.",
    title = "Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model",
    journal = "IEEE Transactions on Software Engineering",
    volume = "21",
    number = "4",
    pages = "373-386",
    year = "1995"
}

@PhdThesis{Wermelinger99,
    author = "Wermelinger, Miguel A.",
    title  = "Specification of Software Architecture Reconfiguration",
    school = "Departmento de Inform{\'a}tica, Universidade Nova de Lisboa",
    month  = sep,
    year   = "1999"
}

@inProceedings{Aubry96,
    author = "Aubry, Pascal and Le Guernic, Paul and Machard, Sylvain",
    title  = "Synchronous Distribution of {SIGNAL} Programs",
    booktitle = "Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS-29)",
    pages = "656--665",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1996"
}

@InProceedings{Girault02,
  author =  "Girault, Alain and M{\'e}nier, Cl{\'e}ment",
  title =   "Automatic Production of Globally Asynchronous Locally
                  Synchronous Systems",
  booktitle = "Second International Conference on Embedded Software (EMSOFT'02)",
  editor =    "Sangiovanni-Vincentelli, Alberto and Sifakis, Joseph",
  volume =   "2491",
  series =   "Lecture Notes in Computer Science",
  publisher =  "Springer-Verlag, Berlin, Germany, 2002",
  pages = "266-281"
}

@article{Berry01,
  author = "Berry, G{\'e}rard and Sentovich, Ellen M.",
  title  = "An Implementation of Constructive Synchronous Programs in {POLIS}",
  journal = "Formal Methods in System Design",
  volume =  "17",
  number =  "2",
  pages  =  "135-161",
  year   =  "2000"
}

@InProceedings{Nunez01,
  author ="N{\'u}{\~n}ez, Manuel and Rodr{\'\i}guez, Ismael",
  title = "{PAMR}: A Process Algebra for the Management
          of Resources in Concurrent Systems",
  booktitle = "Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01)",
  publisher =    "Kluwer Academic Publishers, 2001",
  pages=         "169--185"
}



@InProceedings{Nunez02,
  author ="N{\'u}{\~n}ez, Manuel and Rodr{\'\i}guez, Ismael",
  title = "Encoding {PAMR} into (timed) {EFSMs}",
  booktitle = "Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02)",
  series = "Lecture Notes in Computer Science",
  volume = "2529",
  publisher =    "Springer-Verlag, Berlin, Germany, 2002",
  pages=         "1-16"
}

@InProceedings{Sangiovanni00,
  author =       "Sangiovanni-Vincentelli, Alberto and Sgroi, Marco and Lavagno, Luciano",
  title =        "Formal Models for Communication-Based Design",
  booktitle =    "Proceedings of the 11th International Conference on Concurrency
                 Theory (CONCUR'00)",
  editor    =    "Palamidessi, Catuscia",
  series    =    "Lecture Notes in Computer Science",
  volume    =    "1877",
  pages     =    "29-47",
  publisher =    "Springer-Verlag, Berlin, Germany, 2000"
}



}

@article{LeGuernic03,
  title = "Polychrony for system design",
  author = "Le Guernic, Paul and Talpin, Jean-Pierre and Le Lann, Jean-Christphe",
  journal = "Journal for Circuits, Systems and Computers",
  publisher = "World Scientific",
  month = apr,
  year = "2003"
}

@article{Gastin02,
  author  = "Gastin, Paul and Mislove, Michael",
  title   = "A Truly Concurrent Semantics for a Process Algebra Using Resource Pomsets",
  journal = "Theoretical Computer Science (TCS)",
  volume  = "281",
  number  = "1-2",
  pages   = "369-421",
  year    = "2002"
}

@inProceedings{Fersman02,
  author = "Fersman, Elena  and Pettersson, Paul  and Yi, Wang",
  title  = "Timed Automata with Asynchronous Processes: Schedulability and Decidability",

  editor    = "Katoen, Joost-Pieter  and Stevens,  Perdita",
  booktitle = "Proceedings of the 8th International Conference on
               Tools and Algorithms for the Construction and Analysis of Systems
                (TACAS 2002)",
  volume    = "2280",
  pages  = "67-82",
  publisher = "Springer-Verlag, Berlin, Germany, 2002",
  series    = "Lecture Notes in Computer Science"
}


@inProceedings{Benveniste02,
  author =       "Benveniste, Albert and Caspi, Paul  and Le Guernic, Paul
                 and Marchand, Herv{\'e}  and Talpin, Jean-Pierre  and
                 Tripakis, Stavros",
  title =        "A Protocol for Loosely Time-Triggered Architectures",
  booktitle =    "Proceedings of the 2nd International Conference on Embedded Software (EMSOFT'02)",
  editor    =    "Sangiovanni-Vincentelli, Alberto and Sifakis, Joseph",
  journal =      "Lecture Notes in Computer Science",
  volume =       "2491",
  pages =        "252--266",
  publisher =         "Springer-Verlag, Berlin, Germany, 2002"
}


@inProceedings{Halbwachs02,
  author =       "Nicolas Halbwachs and Siwar Baghdadi",
  title =        "Synchronous Modelling of Asynchronous Systems",
  journal =      "Lecture Notes in Computer Science",
  booktitle =    "Proceedings of the 2nd International Conference on Embedded Software (EMSOFT'02)",
  volume =       "2491",
  editor    =    "Sangiovanni-Vincentelli, Alberto and Sifakis, Joseph",
  pages =        "240--251",
  publisher =    "Springer-Verlag, Berlin, Germany, 2002"
}

@Article{Lee98,
  author =       "Lee, Edward A. and Sangiovanni-Vincentelli, Alberto",
  title =        "A Framework for Comparing Models of Computation",
  journal =      "IEEE Transactions on Computer-Aided Design
                 of Integrated Circuits and Systems",
  volume =       "17",
  number =        "12",
  pages =        "1217--1229",
  month =        dec,
  year =         "1998",
}

@inProceedings{Benveniste99,
  author = "Benveniste, Albert and Caillaud, Beno{\^i}t and Le Guernic, Paul",
  title  = "From synchrony to asynchrony",
  editor = "Baeten, J.C.M. (Jos) and Mauw, Sjouke",
  booktitle = "Proceedings 10th International Conference on Concurrency (CONCUR'99)",
  volume = "1664",
  series = "Lecture Notes in Computer Science",
  pages  = "162--177",
  publisher = "Springer-Verlag, Berlin, Germany, 1999"
}

@article{Benveniste03,
  author = "Benveniste, Albert  and Caspi, Paul and Edwards, Stephen and  Halbwachs, Nicolas and Guernic, Paul Le and de Simone, Robert",
  title  = "The Synchronous Languages Twelve Years Later",
  journal = "Proceedings of the IEEE, Special issue on Embedded Systems",
  volume  = "91",
  number  = "1",
  pages  = "64--83",
  mon    = jan,
  year   = "2003"
}

@InProceedings{Maffeis94,
  author =       "Maffei{\"{\i}}s, Olivier and Le Guernic, Paul",
  title =        "Distributed Implementation of {SIGNAL}:
                 Scheduling \& Graph Clustering",
  booktitle =    "Proceedings of Formal Techniques in Real-Time and Fault-Tolerant
                 Systems (FTRTFT'94)",
  editor =       "Langmaack, Hans  and de Roever, Willem P.  and Vytopil, Jan",
  pages =        "547--566",
  publisher =    "Springer-Verlag, Berlin, Germany, 1994",
  series =       "Lecture Notes in Computer Science",
  volume =       "863"
}

@inProceedings{Wolinski94,
  author = "Wolinski, Krzysztof and Belhadj, Mohammed",
  title  = "High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits",
  booktitle =  "Proceedings of the 3rd IEEE North Atlantic Test Workshop (NATW'94)",
  year = "1994"
}

@misc{Polychrony,
  title = "Polychrony Toolset",
  note  = "Available at: {\tt http://www.irisa.fr/espresso/Polychrony/}"
}


@inProceedings{Gamatie03,
  author = "Gamatié, Abdoulaye and Gautier, Thierry and Besnard, Luic",
  title  = "Modeling of avionics Applications and Performance Evaluation Techniques using the synchronous Language SIGNAL",
  booktitle = "To Appear in Proceedings of Synchronous Languages, Applications, and Programming (SLAP'03)",
  series = "Electrical Notes in Theoretical Computer Science (ENTCS)",
  volume = "88",
 publisher = "Elsevier Science, Dordrecht, The Netherlands, 2003"
}

@inProceedings{Cardelli98,
  author = "Cardelli, Luca and Gordon, Andrew D.",
  title  = "Mobile Ambients",
  booktitle = "Proceedings of the International Conference on
               Foundations of Software Science and Computation Structures (FOSSACS'98)",
  series = "Lecture Notes in Computer Science",
  volume = "1378",
  editor = "Nivat, Maurice",
  publisher =    "Springer-Verlag, Berlin, Germany, 1998",
  pages  = "140-155"
}

@article{Kurshan99,
   author = "Kurshan, Robert P. and Merritt, Michael and Orda, Ariel and Sachs, Sonia R.",
   title  = "Modelling Asynchrony with a Synchronous Model",
   journal = "Formal Methods in System Design",
   issue =  "15",
   number = "3",
   pages =  "175--199",
   year  =  "1999"
}

@inProceedings{Bernstein98,
    author = "Bernstein, Karen L.",
    title  = "A congruence theorem for structured operational semantics of higher-order languages",
    pages  = "153--164",
    booktitle = "IEEE Symposium on Logic In Computer Science (LICS'98)",
    publisher = "IEEE Computer Society, Los Alamitos, CA, USA, 1998"
}

@Article{Bergstra98,
  author =   "Bergstra, Jan A.  and Klint, Paul",
  title =    "The discrete time {T}ool{B}us -- A software coordination
        architecture",
  journal =  "Science of Computer Programming",
  year =     "1998",
  volume =   "31",
  number =   "2-3",
  pages =    "205--229",
  month =    "July"
}

@inCollection{Papadopoulos98,
 author = "Papadopoulos, George A.  and Arbab, Farhad",
 title =  "Coordination models and languages",
 booktitle = "The Engineering of Large Systems",
 series = "Advances in Computers",
 volume = "46",
 pages  = "330-396",
 editor = "Marvin Zelkowitz",
 publisher = "Academic Press, Netherlands, 1998",
 internalNo = "C1"
}

@article{Gelernter92,
 author = "Gelernter, David  and Carriero, Nicholas",
 title = "Coordination languages and their significance",
 journal = "Communications of the ACM",
 volume = "35",
 number = "2",
 year = "1992",
 pages = "97--107",
 publisher = "ACM Press"
 }


@Article{Carriero89,
  author =       "Carriero, Nicholas  and Gelernter, David",
  title =        "{Linda} in Context",
  journal =      "Communications of the ACM",
  volume =       "32",
  number =       "4",
  year =         "1989",
  month =        apr,
  pages =        "444--459",
}

@inProceedings{Arbab02,
   author = "Arbab, Farhad and Rutten,  Jan J.M.M.",
   title = "A coinductive calculus of component connectors",
   booktitle = "Proceedings of the 16th International Workshop on Algebraic Development Techniques (WADT'02)",
   series = "Lecture Notes in Computer Science",
   publisher = "Springer-Verlag, Berlin, Germany, to appear"
}

@inProceedings{Arbab02-2,
  author    = "Arbab, Farhad  and Mavaddat, Farhad",
  title     = "Coordination through Channel Composition",
  editor    = "Farhad Arbab and Carolyn L. Talcott",
  booktitle     = "Proceedings of the 5th International Conference on Coordination Models and Languages (COORDINATION'02)",
  publisher = "Springer-Verlag, Berlin, Germany, 2002",
  series    = "Lecture Notes in Computer Science",
  volume    = "2315",
  pages     = "22--39"
}



@inProceedings{Arbab03,
  author =  "Arbab, Farhad and  Baier, Christel and Rutten, Jan J.M.M. and Sirjani, Marjan",
  title = "Modeling component connectors in {R}eo by constraint automata",
  booktitle = "Proceedings of the 2nd International Workshop on Foundations of Coordination
                Languages and Software Architectures (FLOCASA'03)",
  year = "2003"
}

@article{Baier04,
  author =  "Baier, Christel and Sirjani, Marjan and Arbab, Farhad and Rutten, Jan",
  title = "Modeling component connectors in {R}eo by constraint automata",
  journal = "Science of Computer Programming",
  year = "2004",
  note = "to appear"
}

@inProceedings{DeJong03,
  author = "de Jong, Hayco A.  and Klint, Paul",
  title  = "{ToolBus}: the Next Generation",
  booktitle = "Proceedings of the 2nd Symposium on Formal Methods Components and Objects 2002 {(FMCO'02)}",
  editor = "de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Reover, Willem Paul",
  pages = "220--241",
  series = "Lecture Notes in Computer Science",
  volume = "2852",
  publisher = "Springer-Verlag, Berlin, Germany, 2003"
}

@inproceedings{Arbab96,
    author = "Arbab, Farhad",
    title = "{The {IWIM} Model for Coordination of Concurrent Activities}",
    booktitle = "Proceedings of the 1st International Conference on Coordination Models and Languages (COORDINATION'96)",
    series = "Lecture Notes in Computer Science",
    volume = "1061",
    publisher = "Springer-Verlag, Berlin, Germany, 1996",
    editor = "Ciancarini, Paolo and Hankin, Chris",
    pages = "34--56"
}

@inproceedings{Nielsen98,
    author = "Nielsen, Brian and Ren, Shangping and Agha, Gul",
    title  = "Specification of Real-Time Interaction Constraints",
    booktitle = "Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98)",
    pages  = "206--214",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1998"
}

@inproceedings{Papadopoulos96,
  author = "Papadopoulos, George A. and Arbab, Farhad",
  title =  "Coordination of Systems With Real-Time Properties in {Manifold}",
  booktitle = "Proceedings of the 20th Annual International Computer Software
    and Applications Conference (COMPSAC'96)",
  publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1996",
  pages = "50--55"
}

@inproceedings{Frolund93,
  author = "Fr{\o}lund, Svend and Agha, Gul",
  title  = "A Language Framework for MultiObject Coordination",
  editor =  "Oscar Nierstrasz",
  booktitle = "Proceedings of the European Conference on Object Oriented Programming (ECOOP'93)",
  volume = "707",
  series = "Lecture Notes in Computer Science",
  pages  = "346--360",
  publisher = "Springer-Verlag, Berlin, Germany, 1993"
}

@article{Howe96,
  author = "Howe, Douglas J.",
  title  = "Proving Congruence of Bisimulation in Functional Programming Languages",
  journal = "Information and Computation ({I\&C})",
  volume  = "124",
  pages  = "103--112",
  year   = "1996"
}

@Article{Verhoef95,
  author =       "Chris Verhoef",
  title =        "A congruence theorem for structured operational
                 semantics with predicates and negative premises",
  journal =      "Nordic Journal of Computing",
  volume =       "2",
  number =       "2",
  pages =        "274--302",
  year =         "1995"
}

@article{Middelburg01,
  author  = "Middelburg, Cornelis A. (Kees)",
  title   = "Variable binding operators in transition system specifications",
  journal = "Journal of Logic and Algebraic Programming",
  volume  = "47",
  number  = "1",
  pages   = "15--45",
  year    = "2001"
}

@PhdThesis{Bos02,
  author = "Bos, Victor and Kleijn, Jereon J.T.",
  title  = "Formal specification and analysis of industrial systems",
  school = "Eindhoven University of Technology",
  year = "2002"
}

@inProceedings{Baeten93,
    author    = "Baeten, J.C.M. (Jos)  and Verhoef, Chris",
    title     = "A Congruence Theorem for Structured Operational Semantics with Predicates",
    booktitle = "International Conference on Concurrency Theory (CONCUR'93)",
    editor    = "Best, Eike",
    series    = "Lecture Notes in Computer Science",
    volume    = "715",
    pages     = "477-492",
    publisher = "Springer-Verlag, Berlin, Germany",
    year      = "1993"
}


@inProceedings{vanGlabbeek93,
    author    = "Glabbeek, Robert Jan (Rob)  van ",
    title     = "The Linear Time - Branching Time Spectrum {II}",
    booktitle = "International Conference on Concurrency Theory (CONCUR'93)",
    editor    = "Best, Eike",
    series    = "Lecture Notes in Computer Science",
    volume    = "715",
    pages     = "66--81",
    publisher = "Springer-Verlag, Berlin, Germany, 1993"
}

@article{Snoonian03,
    author    = "Snoonian, Deborah",
    title     = "Smart buildings",
    journal   = "Spectrum",
    volume    = "40",
    number    = "8",
    year      = "2003",
    pages     = "18--23"
}


@Article{Boerger00,
  author =     "B{\"{o}}rger, Egon and Gotzhein, Reinhard",
  title =      "The Light Control Case Study: A Synopsis",
  journal =    "Journal of Universal Computer Science",   year =       "2000",
  volume =     "6",
  number =     "7",
  pages =      "582--586",
}

@misc{Bloom94,
  author = "Bloom, Bard and Vaandrager, Frits W.",
  title  = "{SOS} Rule Formats for Parameterized and State-Bearing Processes (Draft)",
  note   = "Unpublished note, available through: {\texttt{http://www.cs.kun.nl/ita/publications/papers/fvaan/}}"
}

@article{Fokkink96,
    author  = "Fokkink, Willem Jan (Wan) and Glabbeek, Robert Jan (Rob)  van",
    title   = "Ntyft/ntyxt rules reduce to ntree rules",
    journal = "Information and Computation ({I\&C})",
    volume  = "126",
    number  = "1",
    pages   = "1--10",
    year = "1996"
}

@inProceedings{Aceto01,
    author    = "Aceto, Luca and Fokkink, Willem Jan (Wan) and Verhoef, Chris",
    title     = "Structural Operational Semantics",
    booktitle = "Handbook of Process Algebra, {Chapter} 3",
    editor    = "Jan A.  Bergstra and Alban Ponse and Scott A. Smolka",
    publisher = "Elsevier Science, Dordrecht, The Netherlands, 2001",
    pages     = "197--292"
}

@inProceedings{vanGlabbeek01,
    author    = "Glabbeek, Robert Jan (Rob)  van",
    title     = "The Linear Time - Branching Time Spectrum {I}",
    booktitle = "Handbook of Process Algebra, {Chapter} 1",
    editor    = "Jan A.  Bergstra and Alban Ponse and Scott A. Smolka",
    publisher = "Elsevier Science, Dordrecht, The Netherlands, 2001",
    pages     = "3--100"
}


@inproceedings{Alur90,
  author    = "Alur, Rajeev  and Dill, David L.",
  title     = "Automata For Modeling Real-Time Systems",
  pages     = "322--335",
  editor    = "Paterson, Mike",
  booktitle = "Proceedings of the 17th International Colloquium on Automata, Languages and Programming
               (ICALP'90), Warwick, England",
  publisher = "Springer-Verlag, 1990",
  series    = "Lecture Notes in Computer Science",
  volume    = "443"
}


@inproceedings{Brogi98,
    author      = "Brogi, Antonio and Jacquet, Jean-Marie",
    title       = "On the Expressiveness of {Linda}-like Concurrent Languages",
    booktitle   = "Proceedings of the 5th International Workshop on Expressiveness in Concurrency (EXPRESS'98)",
    series      = "Electronic Notes in Theoretical Computer Science (ENTCS)",
    volume      = "16",
    number      = "2",
    publisher   = "Elsevier Science, Dordrecht, The Netherlands, 1998",
    editor      = "Castellani, Ilaria  and Palamidessi, Catuscia "
}

@book{deBakker96,
   author    = "Bakker, Jaco W. de  and de Vink, Erik P.",
   title     = "Control Flow Semantics",
   series    = "Foundations of Computing Series",
   publisher = "The MIT Press",
   year      = "1996"
}

@book{Milner80,
   author    = "Milner, A.J.R.G. (Robin)",
   title     = "A Calculus of Communicating Systems",
   publisher = "Springer-Verlag",
   series    = "Lecture Notes in Computer Science",
   volume    = "92",
   year      = "1980"
}

@article{Groote90,
   author     = "Groote, Jan Friso and Ponse, Alban",
   title      = "Process Algebra with Guards: Combining {Hoare} Logic with Process Algebra",
   journal    = "Formal Aspects of Computing",
   volume     = "6",
   number     = "2",
   pages      = "115--164",
   year       = "1994"
}

@article{Bloom95,
    title     = "Bisimulation Can't Be Traced",
    author    = "Bloom, Bard and Istrail, Sorin and Meyer, Albert R.",
    journal   = "Journal of the ACM (JACM)",
    volume    = "42",
    number    = "1",
    month     = jan,
    year      = "1995",
    pages     = "232--268"
}

@article{deSimone85,
   author    = "de Simone, Robert",
   title     = "Higher-Level Synchronizing Devices in {MEIJE}-{SCCS}",
   journal   = "Theoretical Computer Science (TCS)",
   volume    = "37",
   pages     = "245--267",
   year      = "1985"
}

@article{Groote92,
   author    = "Groote,   Jan Friso and Vaandrager, Frits W.",
   title     = "Structured Operational Semantics and Bisimulation As a Congruence",
   journal   = "Information and Computation ({I\&C})",
   volume    = "100",
   number     = "2",
   pages      = "202--260",
   month     = oct,
   year      = "1992"
}

@article{Bol96,
   author    = "Bol, Roland and Groote,   Jan Friso",
   title     = "The Meaning of Negative Premises in Transition System Specifications",
   journal   = "Journal of the ACM (JACM)",
   volume    = "43",
   number     = "5",
   pages      = "863--914",
   month     = sep,
   year      = "1996"
}

@inProceedings{Park81,
    author      = "Park, David M.R.",
    title       = "Concurrency and Automata on Infinite Sequences",
    booktitle   = "Proceedings of the 5th GI Conference",
    pages       = "167--183",
    series      = "Lecture Notes in Computer Science",
    volume      = "104",
    edtitor     = "Duessen, Peter",
    publisher   = "Springer-Verlag, Berlin, Germany, 1981"
}

@article{Phillips02,
    author      = "Phillips, Iain C.C. and Ulidowski, Irek",
    title       = "Ordered {SOS} Rules and Process Languages for Branching and Eager Bisimulations",
    journal     = "Information and Computation ({I\&C})",
    volume      = "178",
    issue       = "1",
    pages       = "180--213",
    year        = "2002"
}

@inProceedings{Verdejo02,
    author      = "Verdejo, Alberto and Mart{\'i}-Oliet, Narciso",
    title       = "Implementing {CCS} in {Maude} 2",
    editor      = "Gadducci, Fabio and Montanari, Ugo",
    booktitle   = "Proceedings of the 4th International Workshop on Rewriting Logic and its Applications (WRLA'02)",
    series      = "Electronic Notes on Theoretical Computer Science (ENTCS)",
    volume      = "71",
    pages       = "239--257",
    publisher   = "Elsevier Science, Dordrecht, The Netherlands, 2002"
}

@inProceedings{Verdejo02-2,
    author      = "Verdejo, Alberto",
    title       = "Building tools for {LOTOS} Symbolic Semantics in {Maude}",
    editor      = "Peled, Doron and Vardi, Moshe",
    booktitle   = "Proceedings of the 22nd IFIP International Conference on Formal Techniques for
                  Networked and Distributed Systenms (FORTE'02)",
    series      = "Lecture Notes in Computer Science",
    volume      = "2529",
    pages       = "292--307",
    publisher   = "Springer-Verlag, Berlin, Germany,  2002"
}

@inproceedings{Clavel03,
  author    =   "Clavel, Manuel  and Dur\'{a}n, Francisco  and
                 Eker, Steven  and Lincoln, Patrick  and
                  Mart\'{\i}-Oliet, Narciso  and Meseguer, Jos\'{e}  and Talcott, Carolyn",
  title     =   "The {Maude} 2.0 System",
  booktitle =   "Preceedings of Rewriting Techniques and Applications (RTA 2003)",
  series    =   "Lecture Notes in Computer Science",
  editor    =   "Robert Nieuwenhuis",
  number    =   "2706",
  pages     =   "76-87",
  publisher =   "Springer-Verlag, Berlin, Germany, 2003"
}

@misc{Maude,
  title    =  "The {Maude} System",
  note     =  "Available from {\url{http://maude.cs.uiuc.edu/}}"
}

@inProceedings{Sipma03,
    author      = "Sipma, Henny",
    title       = "A Formal Model for Cross-Cutting Modular Transition Systems",
    booktitle   = "Workshop on Foundations of Aspect-Oriented Languages (FOAL'03), Boston, March 2003"
}

@inProceedings{Jackson90,
    author = "Jackson, Michael",
    title  = "Some complexities in computer-based systems and their implications for system development",
    booktitle = "Proceedings of the International Conference on Computer Systems and Software Engineering {(COMPEURO'90)}",
    pages = "344-351",
    year  = "1990"
}


@InCollection{Ossher00,
  author =       "Ossher, Harold and Tarr, Peri",
  title =        "Multi-Dimensional Separation of Concerns and the {Hyperspace} Approach",
  booktitle =    "Proceedings of the Symposiom on Software Architectures and Component Technology: The State of the Art in
                    Software Development",
  publisher =    "Kluwer Academic Publishers",
  year =         "2000",
  note =         "to appear, available through: {\tt http://www.research.ibm.com/hyperspace/}"
}

@InProceedings{Szyperski03,
  author =       "Szyperski, Clemens",
  title =        "Component technology: what, where, and how?",
  pages =        "684--693",
  booktitle =    "Proceedings of the 25th International Conference on
                 Software Engineering ({ICSE}'03)",
  publisher =    "IEEE Computer Society, 2003"
}

@Article{vanOmmering00,
  author =       "Ommering, Rob van  and Linden, Frank van der  and Jeff, Kramer
                 and Magee, Jeff",
  title =        "The {Koala} Component Model for Consumer Electronics Software",
  journal =      "Computer",
  volume =       "33",
  number =       "3",
  pages =        "78--85",
  month =        mar,
  year =         "2000"
}

@inProceedings{Rutten03,
    author = "Rutten, Jan",
    title  = "A case study in coinductive stream calculus",
    booktitle = "Proceedings of Second International Symposium on Formal Methods for Components and Objects (FMCO'03)",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer-Verlag, Berlin, Germany, 2004, to appear"
}

@techreport{Mousavi04-LICTechRep,
    author = "Mousavi, MohammadReza and Reniers, M.A. and Groote, J.F.",
    title = "Congruence for {SOS} with Data",
    number = "04-05",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    year = "2004"
}

@article{Groote93,
    author = "Groote, Jan Friso",
    title  = "Transition system specifications with negative premises",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "118",
    number   = "2",
    pages = "263--299",
    year = "1993"
    }
@article{Bos03,
  author  = "Bos, Victor and Kleijn, Jeroen J.T.",
  title   = "Redesign of a Systems Engineering Language --- Formalisation of $\chi$",
  journal = "Formal Aspects of Computing",
  volume  = "15",
  number  = "4",
  page    = "370--389",
  month   = dec,
  year    = "2003"
}

@article{Milner83,
  author    = "Milner, A.J.R.G (Robin)",
  title     = "Calculi for Synchrony and Synchrony",
  journal   = "Theoretical Computer Science (TCS)",
  volume    = "25",
  pages     = "267--310",
  year      = "1983"
}

@inProceedings{Mehta03,
  author    = "Mehta, Nikunj R. and Medvidovic, Nenad",
  title     = "Composing Architectural Styles From Architectural Primitives",
  booktitle = "Proceedings of the 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE’03)",
  pages     = "347--350",
  publisher = "ACM SIGSOFT Press September 2003"
}

@UNPUBLISHED{Meseguer03,
  author    = "Meseguer, Jos{\'e}  and Braga, Christiano O.",
  title     = "Modular Rewriting Semantics of Programming Languages",
  year      = "2003",
  note      = "Unpulished note, available from {\tt{http://maude.cs.uiuc.edu/papers/}}"
}

@inProceedings{Russello04-EuroPar,
  author     = "Russello, Giovanni and Chaudron, Michel and van Steen, Maarten",
  title      = "Exploiting Differentiated Tuple Distribution in Shared Data Spaces",
  booktitle  = "Proceedings of the 10th International Conference on Parallel and Distributed Computing (Euro-Par'4)",
  editor      = "Danelutto, Marco and Vanneschi, Marco and Laforenza, Domenico",
  publisher   = "Springer-Verlag, Berlin, Germany, 2004",
  series      = "Lecture Notes in Computer Science",
  volume      = "3149"
}




@inProceedings{Russello03-PDPTA,
  author     = "Russello, Giovanni and Chaudron, Michel and van Steen, Maarten",
  title     = "Customizable Data Distribution for Shared Data Spaces",
  booktitle = "Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03)",
  pages       = "122--131",
  publisher = "CSREA Press, 2003"
}


@inProceedings{Russello04-DAO,
  editor      = "Meersman, Robert  and Tari, Zahir",
  publisher   = "Springer-Verlag, Berlin, Germany, 2004",
  series      = "Lecture Notes in Computer Science",
  volume      = "3291",
  author      = "Russello, Giovanni and Chaudron, Michel and van Steen, Maarten",
  title       = "Dynamic Adaptation of Data Distribution Policies in a Shared Data Space System",
  booktitle   = "Proceedings of the 6th International Symposium on Distributed Objects and Applications (DAO'04)",
  pages       = "1225--1242"
}

@inproceedings{Arbab01,
    author = "Farhad Arbab",
    title = "Coordination of Mobile Components",
    booktitle = "Electronic Notes in Theoretical Computer Science (ENTCS)",
    volume = "54",
    publisher = "Elsevier Science Publishers",
    editor = "Ugo Montanari and Vladimiro Sassone",
    year = "2001"
}

@Article{Arbab04,
  author    = "Arbab, Farhad",
  title     = "Reo: A Channel-based Coordination Model for Component Composition",
  journal   = "Mathematical Structures in Computer Science",
  publisher = "Cambridge University Press",
  volume    = "14",
  number    = "3",
  pages     = "1--38",
  year      = "2004"
}

@techreport{Mousavi04-ReoTechRep,
    author = "Mousavi, MohammadReza and Sirjani, Marjan and Arbab, Farhad",
    title = "Specification and Verification of Component Connectors",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    number      = "CSR-04-15",
    year = "2004"
}

@inProceedings{Bosnacki00,
    author      = "Bo{\v{s}}na{\v{c}}ki, Dragan and Dams, Denis and Holenderski, Leszek",
    title       = "Symmetric Spin",
    booktitle   = "Proceedings of the 7th International {SPIN} Workshop on Model Checking of Software",
    series      = "Lecture Notes in Computer Science",
    volume      = "1855",
    pages       = "1--19",
    publisher   = "Springer-Verlag, Berlin, Germany, 2000"
}

@inProceedings{Bosnacki01,
    author      = "Bo{\v{s}}na{\v{c}}ki, Dragan and Dams, Denis and Holenderski, Leszek",
    title       = "A Heuristic for Symmetry Reduction",
    booktitle   = "Proceedings of Formal Methods Europe (FME'01)",
    series      = "Lecture Notes in Computer Science",
    volume      = "2021",
    pages       = "1--19",
    publisher   = "Springer-Verlag, Berlin, Germany, 2001"
}

@InProceedings{deVink02,
  author      = "Baeten, Jos C.M. and de Vink, Erik P.",
  title       = "Axiomatizing {GSOS} with Termination",
  pages       = "583--595",
  editor      = "Alt, Helmut and Ferreira, Afonso",
  booktitle   = "Proceedings of the 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02)",
  series      = "Lecture Notes in Computer Science",
  volume      = "2295",
  publisher   = "Springer-Verlag, Berlin, Germany, 2002"
}


@article{Aceto94,
  author      = "Aceto, Luca and Bloom, Bard and Vaandrager, Frits W.",
  title       = "Turning {SOS} rules into equations",
  journal     = "Information and Computation ({I\&C})",
  volume      = "111",
  pages       = "1-–52",
  year        = "1994"
}

@inProceedings{Fokkink94,
    author      = "Fokkink, Willem Jan (Wan)",
    title       = "The tyft/tyxt format reduces to tree rules",
    editor      = "Hagiya, Masami and Mitchell, John C.",
    booktitle   = "Proceedings of the Symposium on Theoretical Aspects of Computer Software (STACS'94)",
    pages       = "440-453",
    series      = "Lecture Notes in Computer Science",
    volume      = "789",
    publisher   = "Springer-Verlag, Berlin, Germany, 1994"
}

@InProceedings{Turi97,
  author        = "Turi, Daniele and Plotkin, Gordon D.",
  Title         = "Towards a mathematical operational semantics",
  Publisher     = "IEEE Computer Society Press, 1997",
  Booktitle     = "Proceedings of the 12th Annual IEEE Symposium on Logic in computer Science (LICS'97)",
  Pages         = "280-291"
}

@article{vanGlabbeek04,
    author  = "Glabbeek, Robert Jan (Rob)  van",
    journal = "Journal of Logic and Algebraic Programming (JLAP)",
    title   = "The Meaning of Negative Premises in Transition System Specifications {II}",
    volume  = "60-61",
    year    = "2004",
    pages   = "229--258"
}

@inProceedings{Rutten93,
  author    = "Rutten, Jan J. M. M.  and Turi, Daniele",
  title     = "Initial Algebra and Final Coalgebra Semantics for Concurrency",
  editor    = "de Bakker, Jaco W. and de Roever, Willem P.  and Rozenberg, Grzegorz",
  booktitle = "Proceedings of the REX School/Symposium on A Decade of Concurrency, Reflections and Perspectives",
  publisher = "Springer-Verlag, Berlin, Germany, 1994",
  series    = "Lecture Notes in Computer Science",
  volume    = "803",
  pages     = "530-582",
  note      = "An extended version appeared as {\em Technical Report CS-R9409}, CWI, Amsterdam, The Netherlands, 1994"
}

@article{Milner92a,
 author    = "Milner, A.J.R.G. (Robin)",
 title     = "Functions as Processes",
 journal   = "Mathematical Structures in Computer Science",
 volume    = "2",
 pages     = "119--141",
 year      = "1992",
 note      = "An earlier version of this paper appeared as Technical Report N.1154 of INRIA, Sophia-Antipolis, 1990."
}

@article{Milner79a,
 author    = "Milne George and Milner, A.J.R.G. (Robin)",
 title     = "Concurrent Processes and Their Syntax",
 journal   = "Journal of the ACM (JACM)",
 volume    = "26",
 number    = "2",
 pages     = "302-321",
 year      = "1993"
}

@article{Milner79b,
 author    = "Milner, A.J.R.G. (Robin)",
 title     = "Flowgraphs and Flow Algebras",
 journal   = "Journal of the ACM (JACM)",
 volume    = "26",
 number    = "2",
 pages     = "794-818",
 year      = "1979"
}

@article{Englefriet99,
  author    = "Engelfriet, Joost and Tjalling Galsema",
  title     = "Multisets and Structutal Congruence of Pi-Calculus with Replication",
  journal   = "Theoretical Computer Science (TCS)",
  volume    = "211",
  number    = "2",
  pages     = "311--337",
  year      = "1999"
}

@article{Engelfriet04,
  author    = "Engelfriet, Joost and Tjalling Galsema",
  title     = "Multisets and Structutal Congruence of Pi-Calculus with Replication",
  journal   = "Acta Informatica",
  volume    = "211",
  number    = "2",
  pages     = "311--337",
  year      = "2004"
}

@article{Plotkin04a,
  author  =       "Plotkin, Gordon D.",
  title   =       "A structural approach to operational semantics",
  journal =       "Journal of Logic and Algebraic Progamming (JLAP)",
  volume  =       "60",
  pages   =       "17-139",
  year    =       "2004",
  note    =       "This article first appeared as {\cite{Plotkin81}}"
}

@book{Baeten90,
  author =  "Baeten, J.C.M. (Jos) and Weijland, W. Peter",
  title  =  "Process Algebra",
  series = "Cambridge Tracts in Theoretical Computer Science",
  volume = "18",
  publisher = "Cambrdige University Press",
  year  = "1990"
}

@article{Cardelli00,
    author  = "Cardelli, Luca and Gordon, Andrew D.",
    title   = "Mobile Ambients",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "240",
    number  = "1",
    pages   = "177--213",
    year    = "2000"
}


@article{Bloom95b,
    author  = "Bloom, Bard",
    title   = "Structural Operational Semantics for Weak Bisimulations",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "146",
    pages   = "25--68",
    year    = "1995"
}


@inProceedings{Sassone03,
    author  = "Sassone, Vladimiro and {Soboci\'{n}ski}, {Pawe\l}",
    title   = "Deriving Bisimulation Congruences: 2-categories vs precategories",
    booktitle = "Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FOSSACS '03)",
    editor    = "Gordon, Andrew",
    series    = "Lecture Notes in Computer Science",
    volume    = "2620",
    pages     = "409--424",
    publisher = "Springer-Verlag, Berlin, Germany, 2003"
}

@inProceedings{Leifer00,
     author     = "Leifer, James J. and Milner, A.J.R.G. (Robin)",
     title      = "Deriving bisimulation congruences for reactive systems",
     booktitle  = "Proceedings of 11th International Conference on Concurrency Theory (CONCUR'00)",
     series     = "Lecture Notes in Computer Science",
     volume     = "1877",
     pages      = "259--274",
     editor     = "Palamidessi, Catuscia",
     publisher  = "Springer-Verlag, Berlin, Germany, 2000"
}

@inProceedings{Milner92b,
     author     = "Milner, A.J.R.G. (Robin) and Sangiorgi, Davide",
     title      = "Barbed Bisimulation",
     booktitle  = "Proceedings of 19th International Colloquium on Automata, Languages and Programming (ICALP'92)",
     series     = "Lecture Notes in Computer Science",
     volume     = "623",
     pages      = "85--695",
     editor     = "Kuich, Werner",
     publisher  = "Springer-Verlag, Berlin, Germany, 1992"
}

@article{Sewell02,
     author     = "Sewell, Peter",
     title      = "From rewrite rules to bisimulation congruences",
     journal    = "Theoretical Computer Science (TCS)",
     volume     = "274",
     number     = "1-2",
     pages      = "183--230",
     year       = "2002"
}


@InCollection{Milner93a,
  author =       "Milner, A.J.R.G. (Robin)",
  editor =       "Bauer, Friedrich L.  and Brauer, Wilfried and Schwichtenberg, Helmut",
  title =        "The polyadic {$\pi$}-calculus: a tutorial",
  booktitle =    "Logic and Algebra of Specification",
  pages =        "203--246",
  publisher =    "Springer-Verlag",
  year =         "1993",
  note = "An earlier version of this paper appeared as Technical Report ECS-LFCS-91-180 of University of Edinburgh, 1991"
}



@Book{Milner89a,
    author = "Milner, A.J.R.G. (Robin)",
    title  = "Communication and Concurrency",
    publisher = "Prentice Hall",
    year   = "1989"
}

@article{Milner92c,
    author = "Milner, A.J.R.G. (Robin) and Parrow, Joachim and  Walker, David",
    title = "A Calculus of Mobile Processes, Part {II}",
    journal    = "Information and Computation ({I\&C})",
    volume     = "100",
    number     = "1",
    pages      = "41--77",
    year       = "1992",
    note = "An earlier version of this paper appeared as Technical Report ECS-LFCS-89-86 of University of Edinburgh, 1989"
}

@article{Milner92d,
    author = "Milner, A.J.R.G. (Robin) and Parrow, Joachim and  Walker, David",
    title = "A Calculus of Mobile Processes, Part {I}",
    journal    = "Information and Computation ({I\&C})",
    volume     = "100",
    number     = "1",
    pages      = "1--40",
    year       = "1992",
    note = "An earlier version of this paper appeared as Technical Report ECS-LFCS-89-85 of University of Edinburgh, 1989"
}


@PhDThesis{Leifer01,
    author = "Leifer, James J.",
    title  = "Operational Congruences for Reactive Systems",
    school =  "Computer Laboratory, University of Cambridge",
    address =      "Cambridge, UK",
    year =         "2001"
}

@TechReport{Hartel97,
    author      = "Hartel, Pieter H.",
    title       = "A Lightweight Animation Tool for Operational Semantics",
    number      = "DSSE-TR-97-1",
    institution = "Declarative Systems and Software Engineering Group, University of Southampton, Hinghfield, UK",
    year = "1997"
}

@article{Hartel99,
  author    = "Hartel, Pieter H.",
  title     = "{LETOS} - a lightweight execution tool for operational semantics",
  pages     = "1379-1416",
  journal   = "Software, Practice and Experience",
  volume    = "29",
  number    = "15",
  year      = "1999"
}


@TechReport{Verdejo03,
  author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
  title =        {Executable Structural Operational Semantics in {Maude}},
  institution =  {Dpto.\ Sistemas Inform\'aticos y Programaci\'on,
                  Universidad Complutense de Madrid},
  year =         2003,
  number =       {134-03},
  month =        sep,
  note =         {\url{http://www.ucm.es/info/dsip/alberto/papers/JLAP-TR.html}}
}

@inproceedings{Turner85,
 author     = "Turner, David A.",
 title      = "Miranda: a non-strict functional language with polymorphic types",
 booktitle  = "Proceeding of the ACM Conference on Functional Programming Languages and Computer Architecture",
 pages      = "1--16",
 series     = "Lecture Notes in Computer Science",
 volume     = "201",
 editor     = "Jouannaud, Jean-Pierre",
 publisher  = "Springer-Verlag, Berlin, Germany, 1985"
 }

@InProceedings{Mousavi04-LICS,
    author      = "Mousavi, MohammadReza and Reniers, Michel  and Groote, Jan Friso",
    title       = "Congruence for {SOS} with Data",
    booktitle   = "Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)",
    pages       = "302--313",
    publisher  = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2004",
}

@article{Honda95,
    title   = "On Reduction-Based Process Semantics",
    author  = "Honda, Kohei  and Yoshida, Nobuko",
    journal = "Theoretical Computer Science (TCS)",
    volumne = "152",
    number  = "2",
    pages   = "437--486",
    year    = "1995"
}

}

@inProceedings{Larsen90,
    author    = "Larsen, Kim G.",
    title     = "Modal Specifications",
    pages     = "232--246",
    editor    = "Sifakis, Joseph",
    title     = "Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems",
    publisher = "Springer-Verlag, Berlin, Germany, 1990",
    series    = "Lecture Notes in Computer Science",
    volume    = "407"
}

@article{Rensink00,
    author  = "Rensink, Arend",
    journal = "Information and Computation ({I\&C})",
    title   = "Bisimilarity of Open Terms",
    volume  = "156",
    pages   = "345--385",
    year    = "2000"
}


@article{Verhoef99,
   title      = "Conservative Extension in Structural Operational Semantics",
   author     = "Aceto, Luca  and Fokkink, Willem Jan (Wan) and Verhoef, Chris",
   journal    = "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
   volume     = "69",
   pages      = "110--132",
   year       = "1999"
}

@Article{Fokkink98,
  title =        "A Conservative Look at Operational Semantics with Variable Binding",
  author =       "Fokkink, Willem Jan (Wan) and Verhoef, Chris",
  pages =        "24--54",
  journal =      "Information and Computation (I\&C)",
  year =         "1998",
  volume =       "146",
  number =       "1"
}

@inProceedings{Verhoef94,
    author = "Verhoef, Chris",
    title = "A General Conservative Extension Theorem in Process Algebra",
    booktitle = "Proceedings of third IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94)",
    series  = "IFIP Transactions",
    publisher = "Elsevier Science Publishers, 1994",
    pages   = "274--302",
    volume  = "A-56",
    editor  = "Olderog, Ernst-R{\"{u}}diger"
}


@article{Plotkin04b,
    author  = "Plotkin, Gordon D.",
    title   = "The origins of structural operational semantics",
    journal = "Journal of Logic and Algebraic Programming (JLAP)",
    Pages   = "3--15",
    volume  = "60",
    year    = "2004"
}

@inProceedings{Kahn74,
    author    = "Kahn, Gilles",
    title     = "The semantics of a simple language for parallel programming",
    editor    = "Rosenfeld, Jack L.",
    booktitle = "Information Processing 74: Proceedings of the IFIP Congress",
    pages     = "471--475",
    publisher = "North-Holland Publishers, 1974"
}

@article{Ashcroft77,
    author  = "Ashcroft, Edward A. and Wadge, Willam W.",
    title   = "Lucid, a nonprocedural language with iteration",
    journal = "Communications of the ACM",
    volume  = "20",
    number  = "7",
    pages   = "519--526",
    year    = "1977"
}

@inProceedings{Caspi95,
  author    = "Caspi, Paul  and Pouzet, Marc",
  title     = "A Functional Extension to {L}ustre",
  booktitle = "Proceedings of International Symposium on Languages for Intentional Programming (ISLIP'96)",
  editor    = "Orgun, Mehmet A. and Ashcroft, Edward A.",
  publisher = "World Scientific, Singapore, 1995"
}


@inProceedings{Caspi96,
  author    = "Caspi, Paul and Pouzet, Marc ",
  title     = "Synchronous {Kahn} Networks",
  booktitle = "Proceedigns of ACM SIGPLAN International Conference on Functional Programming (ICFP'96)",
  pages     = "226--238",
  series    = "SIGPLAN Notices",
  volume    = "31",
  publisher = "ACM Press, 1996"
}

@inProceedings{Banatre04a,
    author      = "Banâtre, Jean-Pierre and Fradet, Pascal and Radenac, Yann",
    title       = "Principles of Chemical Programming",
    booktitle   = "Proceedings of the 5th International Workshop on Rule-Based Programming (RULE'04)",
    pages       = "98--108",
    publisher   = "Technical Report AIB-2004-04, Department of Computer Science, RWTH Aachen, Germany",
    year        = "2004"
}

@InProceedings{LeMetayer94,
  author       = "Le M{\'e}tayer, Daniel",
  editor       = "Blelloch, Guy E. and Chandy, K. Mani and Jagannathan, Suresh",
  booktitle    = "Proceedings of the DIMACS Workshop on Specifications of Parallel Algorithms",
  title        = "Higher-order multiset programming",
  volume       = "18",
  pages        = "179--200",
  publisher    = "American Mathematical Society, 1994"
}

@article{Benveniste90,
  author =       "Benveniste, Albert and Le Guernic, Paul",
  title =        "Hybrid dynamical systems theory and the {Signal} language",
  journal =      "IEEE Transactions on Automatic Control",
  year =         "1990",
  volume =       "35",
  number =       "5",
  pages =        "535--546"
}



@book{Freeman99,
    author = "Freeman, Eric and Hupfer, Susanne and Arnold, Ken",
    title  = "{JavaSpaces}(TM) Principles, Patterns, and Practice",
    publisher = "Addison-Wesley",
    year   = "1999"
}

@inProceedings{Panangaden95,
  author    = "Panangaden, Prakash",
  title     = "The Expressive Power of Indeterminate Primitives in Asynchronous Computation",
  pages     = "124--150",
  editor    = "Thiagarajan, P. S.",
  booktitle = "Proceedings of 15th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'95)",
  publisher = "Springer-Verlag, Berlin, Germany, 1995",
  series    = "Lecture Notes in Computer Science"
}

@inProceedings{Panangaden95,
  author    = "Panangaden, Prakash",
  title     = "The Expressive Power of Indeterminate Primitives in Asynchronous Computation",
  pages     = "124--150",
  editor    = "Thiagarajan, P. S.",
  booktitle = "Proceedings of 15th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'95)",
  publisher = "Springer-Verlag, Berlin, Germany, 1995",
  series    = "Lecture Notes in Computer Science"
}

@inProceedings{Felleisen90,
  author    = "Felleisen, Matthias",
  title     = "On the expressive power of programming languages",
  booktitle = "Proceedings of the third European symposium on programming (ESOP'90)",
  pages     = "134--151",
  publisher = "Springer-Verlag, Berlin, Germany, 1990",
  series    = "Lecture Notes in Computer Science",
  volume    = "432",
  editor    = "Neil D. Jones"
}


@article{Harel04,
  author    = "Harel, David  and Rumpe, Bernhard",
  pages     = "64--72",
  journal   = "IEEE Computer",
  volume    = "37",
  number    = "10",
  year      = "2004",
  title     = "Meaningful Modeling: What's the Semantics of {``}Semantics{''}?"
}

@article{Wegner03,
    author  = "Wegner, Peter and Goldin, Dina",
    journal = "Communications of the ACM",
    title   = "Computation Beyond {Turing} Machines",
    volume  = "46" ,
    number  = "4",
    page    = "100-102",
    month   = apr,
    year    = "2003"
}

@article{Goldin04,
    author  = "Goldin, Dina and Smolka, Scott and Attie, Paul and Sonderegger, Elaine",
    title   = "{Turing} Machines, Transition Systems, and Interaction",
    journal = "Information and Computation ({I\&C})",
    volume  = "194",
    number  = "2",
    month   = nov,
    year    = "2004",
    pages   = "101--128"
}


@article{Wegner97,
    title   = "Why interaction is more powerful than algorithms",
    journal = "Communications of the ACM (CACM)",
    volume  = "40",
    issue   = "5",
    month   = may,
    year    = "1997",
    pages   = "80--91",
    author  = "Wegner, Peter"
}

@article{Prasse98,
    author  = "Prasse, Michael and Rittgen, Peter",
    title   = "Why {Church's} Thesis Still Holds. Some Notes on {Peter} {Wegner's} Tracts on Interaction and Computability.",
    journal = "The Computer Journal",
    pages   = "357--362",
    volume  = "41",
    number  = "6",
    year    = "1998"
}

@inCollection{ChurchThesis,
    author    = "B. Jack Copeland",
    title     = "The {Church}-{Turing} Thesis",
    booktitle = "The Stanford Encyclopedia of Philosophy",
    editor    = "Edward N. Zalta",
    year      = "Fall 2002",
    note   = "Available online at: {\url{http://plato.stanford.edu/entries/church-turing/}}"
}

@book{Papadimitriou94,
    author    = "Christos H. Papadimitriou",
    title     = "Computational Complexity",
    publisher = "Addison Wesley",
    year      = "1994"
}

@inProceedings{Lynch96,
    author    = "Lynch, Nancy",
    title     = "Modelling {II}: General Asynchronous System Model",
    booktitle = "Distributed Algorithms, {Chapter} 8",
    publisher = "Morgan Kaufmann Publishers, San Mateo, CA, 1996.",
    pages     = "187--222"
}


@TechReport{Mousavi04-CommTechRep,
    author      = "Mousavi, MohammadReza and Reniers, Michel  and Groote, Jan Friso",
    title       = "A Syntactic Commutativity Format for {SOS}",
    number      = "CSR-04-25",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address     = "Eindhoven, The Netherlands",
    year        = "2004"
}

@article{Ulidowski00,
    author  = "Ulidowski, Irek",
    title   = "Finite axiom systems for testing preorder and {D}e {S}imone process languages",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "239",
    number  = "1",
    pages   = "97--139",
    year    = "2000"
}


@inProceedings{Aceto94b,
  author    = "Aceto, Luca",
  title     = "Deriving Complete Inference Systems for a Class of {GSOS} Languages Generating Regular Behaviours",
  booktitle = "Proceedings of the fifth International Conference on Concurrency Theory (CONCUR'94)",
  pages     = "449--464",
  series    = "Lecture Notes in Computer Science",
  volume    = "836",
  editor    = "Jonsson, Bengt and Parrow, Joachim",
  publisher = "Springer-Verlag, Berlin, Germany, 1994"
}


@book{Hopcroft00,
    author    = "Hopcroft, John E. and Motwani, Rajeev and Ullman, Jeffrey D.",
    title     = "Introduction to Automata Theory, Languages, and Computation, Second Edition",
    publisher = "Addison-Wesley",
    year      = "2001"
}

@INPROCEEDINGS{Moreno94,
    author    = "Moreno Navarro, Juan Jos{\'{e}}",
    title     = "Expressivity of Functional-logic Languages and their Implementation",
    booktitle = "Proceedings of the Joint Conference on Declarative Programming (GULP-PRODE'94)",
    editor    = "Alpuente, Mar\'{i}a and Barbuti, Roberto",
    publisher = " Servicio de publicaciones Universidad Politécnica de Valencia, 1994"
}

@article{Piterman03,
    author  = "Piterman, Nir and Vardi, Moshe Y.",
    title   = "From Bidirectionality to Alternation",
    journal = "Theoretical Computer Science (TCS)",
    volume  = "295",
    pages   = "295--321",
    year    = "2003"
}


@article{Baeten96,
    author = "Baeten, J.C.M. (Jos) and Bergstra, Jan A.",
    title  = "Discrete time process algebra",
    journal = "Formal Aspects of Computing",
    volume  = "8",
    number  = "2",
    year    = "1996",
    pages   = "188--208"
}

@inProceedings{Gelfond88,
    author    = "Gelfond, Michael and Lifschitz, Vladimir",
    title     = "The stable model semantics for logic programming",
    booktitle = "Proceedings of the 5th International Conference on Logic Programming (ICLP'88)",
    editor    = "Kowalski, Robert A. and Bowen, Kenneth A.",
    publisher = "MIT Press, Cambridge, MA, USA, 1988",
    pages     = "1070--1080"
}

@article{Baeten03,
    author   = "Baeten, Jos C. M.",
    title    = "Embedding untimed into timed process algebra: the case for explicit termination",
    journal  = "Mathematical Structures in Computer Science (MSCS)",
    volume   = "13",
    number   = "4",
    pages    = "589--618",
    year     = "2003"
}

@inProceedings{Leduc93,
   author    = "Leduc, Guy and Leonard, Luc",
   title     = "A Timed {LOTOS} supporting a dense time domain and including new timed operators",
   editor    = "Diaz, Michael  and Groz, Roland",
   booktitle = "Proceedings of the Fifth International Conference on Formal Description Techniques
               for Distributed Systems and Communication Protocols (FORTE'92)",
  publisher = "North-Holland, 1993",
  series    = "IFIP Transactions",
  volume    = "C-10",
  pages     = "87--102"
}

@inCollection{Baeten95,
  author =       "Baeten, J.C.M. (Jos) and Verhoef, Chris",
  title =        "{C}oncrete {P}rocess {A}lgebra",
  booktitle =    "Handbook of Logic in Computer Science",
  volume =       "4, {\em Semantic Modelling}",
  publisher =    "Oxford University Press, 1995",
  pages =        "149--268",
  editor =       "Abramsky, Samson  and Gabbay, Dov M. and
                 Maibaum, Thomas S. E.",
}

@inProceedings{deBoer01,
 author     = "Boer, Frank S. de and Gabbrielli, Maurizio  and Meo, Maria Chiara",
 title      = "A denotational semantics for {Timed Linda}",
 booktitle  = "Proceedings of the 3rd ACM SIGPLAN international conference on Principles and Practice of Declarative Programming (PPDP'01)",
 pages      = "28--36",
 publisher  = "ACM Press, New York, USA, 2001"
}

@article{deBoer00,
 author     = "Boer, Frank S. de and Gabbrielli, Maurizio  and Meo, Maria Chiara",
 title      = "A Timed Concurrent Constraint Language",
 journal    = "Information and  Computation ({I\&C})",
 volume     = "161",
 number     = "1",
 pages      = "45--83",
 year       = "2000"
}

@inproceedings{Busi00,
 author     = "Busi, Nadia  and Gorrieri, Roberto  and Zavattaro, Gianluigi",
 title      = "Process Calculi for Coordination: From {Linda} to {JavaSpaces}",
 booktitle  = "Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST'00)",
 pages      = "198--212",
 series     = "Lecture Notes in Computer Science",
 volume     = "1816",
 editor     = "Rus, Teodor",
 publisher  = "Springer-Verlag, Berlin, Germany, 2000"
}

@article{Wyckoff98,
    author  = "Wyckoff, Peter and McLaughry, Stephen and Lehman, Stephen and Ford, Stephen",
    title   = "{TSpaces}",
    journal = "IBM Systems Journal",
    volume  = "37",
    number  = "3",
    pages   = "454-474",
    year    = "1998"
}

@inproceedings{Bonsangue98,
 author     = "Bonsangue, Marcello M.  and Kok, Joost N.  and Boasson, Maarten  and de Jong, Edwin",
 title      = "A software architecture for distributed control systems and its transition system semantics",
 booktitle  = "Proceedings of the ACM symposium on Applied Computing (SAC'98)",
 pages      = "159--168",
 publisher  = "ACM Press, New York, USA, 1998",
}

@article{Boasson93,
 author     = "Boasson, Maarten",
 title      = "Control Systems Software",
 journal    = "IEEE Transactions on Autmatic Control",
 volume     = "38",
 number     = "7",
 pages      = "1094--1107",
 year       = "1993"
}


@techreport{Mousavi05-ConsTechRep,
 author     = "Mousavi, MohammadReza and Reniers, Michel A.",
 title      = "Conservativity Meta-Theorems: Revisited",
 number     = "05-?",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    year = "2005"
}

@inProceedings{vanDePol03,
 author     = "Pol, Jaco van de and Espada, Miguel Valero",
 title      = "Verification of {JavaSpaces} (TM) Parallel Programs",
 editors    = "Lilius, Johan  and Balarin, Felice  and Machado, Ricardo J.",
 booktitle  = "Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03)",
 pages      = "196--205",
 publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2003"
}


@article{DeNicola98,
  title     = "Klaim: a Kernel Language for Agents Interaction and Mobility",
  author    = "Nicola, Rocco De and Ferrari, GianLuigi and Pugliese, Rosario",
  journal   = "IEEE Transactions on Software Engineering (TSE)",
  volume    = "24",
  number    = "5",
  pages     = "315--330",
  year      = "1998"
}

@inProceedings{Bettini01,
  title     = "{X-Klaim} and {Klava}: Programming Mobile Code",
  author    = "Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario",
  booktitle = "Proceedings of Theory of Concurrency, Higher Order and Types (TOSCA'01) ",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "62",
  publisher = "Elsevier Science B.V., Dordrecht, The Netherlands, 2001"
}

@inProceedings{Mousavi04-DATE,
    title       = "Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks",
    author      = "Mousavi, MohammadReza and Le Guernic, Paul and Talpin, Jean-Pierre and Shukla, Sandeep Kumar and Basten, Twan",
    booktitle   = "Proceedings of the Conference on Design Automation and Test in Europe (DATE'04)",
    publisher   = "IEEE Computer Society Press",
    pages       = "384--389",
    year        = "2004",
}

@inProceedings{Mousavi01-AVOCS,
    author      = "Sirjani, Marjan and Movaghar, Ali and  and Mousavi, MohammadReza",
    title       = "Compositional Verification of an Object-Based Model for Reactive Systems",
    booktitle   = "Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'01), Oxford, UK",
    pages       = "114--118",
    year        = "2001"
}

@article{Mousavi05-IC,
    author      = "Mousavi, MohammadReza and Reniers, Michel A. and Groote, Jan Friso",
    title       = "Notions of Bisimulation and Congruence Formats for {SOS} with Data",
    journal     = "Information and Computation Journal ({I\&C})",
    year        = "2005",
    note        = "To appear."
}

@article{Mousavi05-IPL,
    author      = "Mousavi, MohammadReza and Reniers, Michel and Groote, Jan Friso",
    title       = "A Syntactic Commutativity Format for {SOS}",
    journal     = "Information Processing Letters (IPL)",
    volume      = "93",
    issue       = "5",
    pages       = "217--223",
    month       = mar,
    year        = "2005"
}

@TechReport{Mousavi04-SCTechRep,
    author      = "Mousavi, MohammadReza and Reniers, Michel",
    title       = "Structural Congruences and Structural Operational Semantics",
    number      = "CSR-04-28",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address     = "Eindhoven, The Netherlands",
    month       = oct,
    year        = "2004"
}

@inProceedings{Owre92,
    author      = "Owre, Sam  and Shankar, Natarajan and Rushby, John",
    title       = "PVS: A Prototype Verification System",
    booktitle   = "Proceedings of the 11th International Conference on Automated Deduction (CADE-11)",
    series     = "Lecture Notes in Computer Science",
    volume     = "607",
    editor     = "Kapur, Deepak",
    pages      = "748--752",
    publisher  = "Springer-Verlag, Berlin, Germany, 1992"
}

@article{Middelburg03,
    author     = "Middelburg, Cornelis A. (Kees)",
    title      = "An alternative formulation of operational conservativity with binding terms",
    journal    = "Journal of Logic and Algebraic Programming (JLAP)",
    volume     = "55",
    number     = "1-2",
    pages      = "1--19",
    year       = "2003"
}

@inProceedings{Mousavi05-FOSSACS,
    author      = "Mousavi, MohammadReza and Reniers, Michel",
    title       = "Congruence for Structural Congruences",
    booktitle   = "Proceedings of the Eighth International Conference
                   on Foundations of Software Science and Computation Structures (FOSSACS'05)",
    series      = "Lecture Notes in Computer Science",
    publisher   = "Springer-Verlag, Berlin, Germany, 2005",
    note        = "To appear"
}

@article{Bergstra05,
    author = "Bergstra, Jan A.  and Middelburg, Cornelis A. (Kees)",
    title  = "Process algebra for hybrid systems",
    journal = "Theoretical Computer Science",
    year    = "2005",
    volume  = "335",
    number  = "2-3",
    pages   = "215--280"
}

@article{Thomsen93,
    author  = "Thomsen, Bent",
    title   = "Plain {CHOCS} A second generation calculus for higher order processes",
    journal = "Acta Informatica",
    volume  = "30",
    number  = "1",
    pages   = "1--59",
    year    = "1993"
}

@Article{Ferreira99,
  author =       "Ferreira, William  and Hennessy, Matthew",
  title =        "A behavioural theory of first-order {CML}",
  journal =      "Theoretical Computer Science (TCS)",
  volume =       "216",
  number =       "1--2",
  pages =        "55--107",
  year =         "1999"
}

@article{Groote94,
  author    = "Groote, Jan Friso  and Ponse, Alban",
  title     = "Process Algebra with Guards: Combining {Hoare} Logic with Process Algebra",
  journal   = "Formal Aspects of Computing (FAC)",
  volume    = "6",
  number    = "2",
  year      = "1994",
  pages     = "115--164"
}

@article{Pitts03,
  author    = "Pitts, Andrew M.",
  title     = "Nominal logic, a first order theory of names and binding",
  journal   = "Information and Computation ({I\&C})",
  Volume    = "186",
  number    = "2",
  pages     = "165--193",
  year      = "2003"
}

@InProceedings{Gabbay99,
  author    = "Gabbay, Murdoch J. and Pitts, Andrew M.",
  title     = "A New Approach to Abstract Syntax Involving Binders",
  booktitle = "Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99)",
  publisher = "IEEE Computer Society Press, 1999",
  pages     = "214--224"
}


@Article{Gabbay02,
  author    = "Gabbay, Murdoch J. and Pitts, Andrew M.",
  title     = "A New Approach to Abstract Syntax with Variable Binding",
  journal   = "Formal Aspects of Computing (FAC)",
  year      = "2002",
  volume    = "13",
  number    = "3--5",
  year      = "2002",
  pages     = "341--363"
}

@Article{Baeten04,
  author =   "Baeten, Jos C.M. and de Vink, Erik P.",
  title =    "Axiomatizing {GSOS} with Termination",
  journal =  "Journal of Logic and Algebraic Programming (JLAP)",
  volume =   "60-61",
  year =     "2004",
  pages =    "323--351"
}

@inProceedings{Kick02,
    author      = "Marco Kick",
    title       = "Rule Formats for Timed Processes",
    series      = "Electronic Notes in Theoretical Computer Science (ENTCS)",
    editor      = "Kurtz, Alexander",
    booktitle   = "Proceedings of the Workshop on Categorical Methods for Concurrency, Interaction, and Mobility (CMCIM'02)",
    pages       = "1--20",
    volume      = "68",
    issue       = "1",
    publisher   = "Elsevier Science, Dordrecht, The Netherlands, 2002"
}
@PhdThesis{Turi96,
  author        = "Daniele Turi",
  title         = "Functorial Operational Semantics and its Denotational Dual",
  school        = "Free University, Amsterdam",
  year          = "1996",
  month         = "June"
}

@inproceedings{Fiore01,
  author    = "Fiore, Marcelo P.  and Turi, Daniele",
  title     = "Semantics of Name and Value Passing",
  booktitle = "Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01)",
  publisher = "IEEE Computer Society, Los Alamiots, CA, USA, 2001",
  pages     = "93--104"
}

@inproceedings{Fiore99,
  author    = "Fiore, Marcelo P.  and Plotkin, Gordon D.  and Turi, Daniele",
  title     = "Abstract Syntax and Variable Binding",
  booktitle = "Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS'99)",
  publisher = "IEEE Computer Society, Los Alamiots, CA, USA, 1999",
  pages     = "193--202"
}


@inproceedings{Power99,
  author    = "Power, John  and Turi, Daniele",
  title     = "A Coalgebraic Foundation for Linear Time Semantics",
  series    = "Electronic Notes in Theoretical Computer Science (ENTCS)",
  booktitle = "Proceedings of the Conference on Category Theory and Computer Science (CTCS'99)",
  editor    = "Hofmann, Martin and Rosolini, Giuseppe and Pavlovic, Dusko",
  volume    = "29",
  publisher = "Elsevier Science, , Dordrecht, The Netherlands, 1999"
}


@article{Galpin03,
  author    = "Galpin, Vashti",
  title     = "A format for semantic equivalence comparison",
  journal   = "Theoretical Computer Science (TCS)",
  volume    = "309",
  number    = "1-3",
  year      = "2003",
  pages     = "65-109"
}


@article{Mosses04a,
  author    = "Peter D. Mosses",
  title     = "Modular structural operational semantics",
  journal = "Journal of Logic and Algebraic Programming (JLAP)",
  volume  = "60-61",
  year    = "2004",
  pages   = "195-228"
}

@article{Mosses04b,
  author    = "Peter D. Mosses",
  title     = "Exploiting labels in structural operational semantics",
  journal = "Fundamenta Informaticae",
  volume  = "60",
  year    = "2004",
  pages   = "17--31"
}

@article{Fokkink03a,
    author  =  "Fokkink, Willem Jan (Wan) and Vu, Thuy Duong",
    title   =  "Structural operational semantics and bounded nondeterminism",
    journal =  "Acta Informatica",
    volume  =  "39",
    number  =  "6--7",
    pages   =  "501--516",
    year    =  "2003"
}

@inProceedings{Fokkink03b,
    author      =  "Fokkink, Willem Jan (Wan) and van Glabbeek, Robert Jan (Rob)   and de Wind, Paulien",
    title       =  "Compositionality of {Hennessy-Milner} logic through structural operational semantics",
    editor      =  "Lingas, Andrzej  and Nilsson, Bengt J.",
    booktitle   = "Proceedings of the 14th Symposium on Fundamentals of Computation Theory (FCT'03)",
    series      = "Lecture Notes in Computer Science",
    volume      = "2751",
    pages       = "412--422",
    publisher   = "Springer-Verlag, Berlin, Germany, 2003"
}

@article{Rutten00,
    author  = "Rutten,  Jan J.M.M.",
    title   = "Universal Coalgebra: a theory of systems",
    journal = "Theoretical Computer Science (TCS)",
    pages   = "3--80",
    volume  = "249",
    number  = "1",
    year    = "2000"
}

@article{Jacobs97,
    author  = "Jacobs, Bart  and Rutten, Jan J.M.M.",
    title   = "A Tutorial on (Co)Algebras and (Co)Induction",
    journal = "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
    volume  = "62",
    year    = "1997",
    pages   = "222--259"
}

@misc{Aczel97,
    author = "Peter Aczel",
    title = "Lectures on Semantics : The initial algebra and final coalgebra perspectives",
    note  = "Lectures given at the NATO Advanced Study Institute International Summer School on Proof and Computation, Marktoberdorf, Germany, 1995. Unpublished, available from {\texttt {http://www.cs.man.ac.uk/$\sim$petera/papers.html}}"
}

@book{Aczel88,
    author  = "Aczel, Peter",
    title   = "Non-well founded sets",
    volume  = "14",
    series  = "CSLI Lecture Notes",
    publisher = "Center for the Study of Language and Information (CSLI), Stanford, CA, USA",
    year      = "1988"

}

@article{Tini04,
  author  =       "Tini, Simone",
  title   =       "Rule Formats for Compositional Non-interference Properties",
  journal =       "Journal of Logic and Algebraic Progamming (JLAP)",
  volume  =       "60",
  pages   =       "353--400",
  year    =       "2004"
}

@inProceedings{Urban03,
    author      = "Urban, Christian and Pitts, Andrew M. and Gabbay, Murdoch J.",
    title       = "Nominal Unification",
    editor      = "Baaz, Matthias",
    booktitle   = "Proceedings of the 12th Annual Computer Science Logic Conference and 8th Kurt Godel Colloquium {(CSL'03 \& KGC)}",
    series      = "Lecture Notes in Computer Science",
    volume      = "2803",
    pages       = "513--527",
    publisher   = "Springer-Verlag, Berlin, Germany, 2003"
}

@inproceedings{Fernandez04,
  author        = "Fern{\'{a}}ndez, Maribel and Gabbay, Murdoch J. and Mackie, Ian",
  title         = "Nominal rewriting systems",
  booktitle     = "Proceedings of the 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming {(PPDP'04)}",
  publisher     = "ACM Press, New York, USA, 2004",
  pages         = "108-119"
}

@article{Abramsky93,
    author      = "Abramsky, Samson and Luke Ong, Chih-Hao",
    title       = "Full Abstraction in the Lazy Lambda Calculus",
    journal     = "Information and Computation (I\&C)",
    volume      = "105",
    issue       = "2",
    pages       = "159--267",
    year        = "1993"
}

@article{Sangiorgi96,
  author    = "Sangiorgi, Davide",
  title     = "Bisimulation for Higher-Order Process Calculi",
  journal   = "Information and Computation ({I\&C})",
  volume    = "131",
  number    = "2",
  year      = "1996",
  pages     = "141--178"
}


@inproceedings{Aczel89,
  author    = "Aczel, Peter and  Mendler, Nax Paul",
  title     = "A Final Coalgebra Theorem",
  booktitle = "Proceedings of the Third Internation Conference on Category Theory and Computer Science (CTCS'89)",
  pages     = "357-365",
  editor    = "Pitt, David H.  and Rydeheard, David E.  and Dybjer, Peter  and  Pitts, Andrew M. and  Poign{\'e}, Axel",
  publisher = "Springer-Verlag, Berlin, Germany, 1989",
  series    = "Lecture Notes in Computer Science",
  volume    = "389"
}

@book{Stoy77,
    author    = "Stoy, Joseph E.",
    title     = "Denotational semantics : the Scott-Strachey approach to programming language theory",
    publisher = "MIT Press",
    year      = "1977"
}

@article{Zhang04,
  author    = "Zhang, Yingzhou and Xu, Baowen",
  title     = "A survey of semantic description frameworks for programming  languages",
  journal   = "SIGPLAN Notices",
  volume    = "39",
  number    = "3",
  year      = "2004",
  pages     = "14--30"
}

 @inProceedings{Rutten90,
    author  = "Rutten, Jan J. J. M. M.",
    title   = "Deriving Denotational Models for Bisimulation from Structured Operational Semantics",
    editors = "Broy, Manfred and Jones, Cliff B.",
    booktitle = "Proceedings of the IFIP Working Group 2.2/2.3 Working Conference",
    pages     = "155-177",
    publisher = "North-Holland, The Netherlands, 1990"
 }

 @article{Rutten92,
  author    = "Rutten, Jan J. M. M.",
  title     = "Processes as Terms: Non-Well-Founded Models for Bisimulation",
  journal   = "Mathematical Structures in Computer Science (MSCS)",
  volume    = "2",
  number    = "3",
  year      = "1992",
  pages     = "257--275"
}


@inproceedings{Jacobs02,
    author  = "Jacobs, Bart",
    title   = "Exercises in Coalgebraic Specification",
    editors = "Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons",
    booktitle = "Proceedings of the International Summer School and Workshop Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
    series    = "Lecture Notes in Computer Science",
    publisher = "Springer-Verlag, Berlin, Germany, 2002",
    volume    = "2297",
    pages     = "237--280"
}

@inproceedings{Tini03,
  author    = "Tini, Simone",
  title     = "Rule Formats for Non Interference",
  booktitle = "Proceedings of the 12th European Symposium on Programming, Programming Languages and Systems (ESOP'03)",
  pages     = "129--143",
  editor    = "Degano, Pierpaolo",
  publisher = "Springer-Verlag, Berlin, Germany, 2003",
  series    = "Lecture Notes in Computer Science",
  volume    = "2618"
}

@article{Thomsen95,
    author  = "Thomsen, Bent",
    title   = "A Theory of Higher Order Communicating Systems",
    journal = "Information and Computation {(I\& C)}",
    volume  = "116",
    issue   = "1",
    year    = "1995",
    pages   = "38--57"
}

@inproceedings{vanGlabbeek87,
  author    = "Glabbeek, Robert Jan (Rob) van",
  title     = "Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra",
  booktitle = "Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS'87)",
  pages     = "336-347",
  editor    = "Brandenburg, Franz-Josef  and Vidal-Naquet, Guy  and Wirsing, Martin",
  publisher = "Springer-Verlag, Berlin, Germany, 1987",
  series    = "Lecture Notes in Computer Science",
  volume    = "247"
}



@inProceedings{Cardelli82,
  author    = "Cardelli, Luca",
  editor    = "Nielsen, Mogens and Schmidt, Erik Meineche",
  booktitle = "Proceedings of the 9th Colloquium on Automata, Languages and Programming (ICALP'82)",
  series    = "Lecture Notes in Computer Science",
  volume    = "140",
  title     = "Real Time Agents",
  pages     = "94--106",
  publisher = "Springer-Verlag, Berlin, Germany, 1982"
}

@book{Breal97,
    author  = "Michel Br\'{e}al",
    title   = "Semantics: Studies in the science of meaning",
    translator = "Henry Cust",
    publisher  = "Dover Publications Inc., New York, USA",
    year       = "1964"
}

@article{vanGlabbeek96,
 author     = "Glabbeek, Robert Jan (Rob)  van  and Weijland, W. Peter",
 title      = "Branching time and abstraction in bisimulation semantics",
 journal    = "Journal of the ACM (JACM)",
 volume     = "43",
 number     = "3",
 year       = "1996",
 pages      = "555--600"
}

@book{Bell77,
    author      = "Bell, John and Machover, Mosh\'{e}",
    title       = "A Course in Mathematical Logic",
    publisher   = "North-Holland",
    year        = "1977"
}


@inproceedings{Sands97,
  author    = "Sands, David",
  title     = "From {SOS} Rules to Proof Principles: An Operational Metatheory
               for Functional Languages",
  booktitle = "Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97)",
  pages     = "428-441",
  publisher = "ACM Press, New York, 1997"
}

@article{Sangiorgi94,
    author = "Sangiorgi, Davide",
    title  = "The Lazy Lambda Calculus in a Concurrency Scenario",
    journal = "Information and Computation {(I\& C)}",
    volume  = "111",
    issue   = "1",
    year    = "1994",
    pages   = "120--153"
}

@inproceedings{Braga02,
  author    = "Braga, Christiano de O.  and
               Haeusler, Edward Hermann  and
               Meseguer, Jos{\'e}  and
               Mosses, Peter D.",
  title     = "Mapping Modular {SOS} to Rewriting Logic",
  booktitle = "Proceedings of the 12th International
               Workshop on Logic Based Program Synthesis and Tranformation (LOPSTR'02)",
  editor    = "Leuschel, Michael",
  publisher = "Springer-Verlag, Berlin, Germany, 2002",
  series    = "Lecture Notes in Computer Science",
  volume    = "2664",
  pages     = "262--277"
}

@inproceedings{Braga00,
  author    = "Braga, Christiano de O.  and
               Haeusler, Edward Hermann  and
               Meseguer, Jos{\'e}  and
               Mosses, Peter D.",
  title     = "Maude Action Tool: Using Reflection to Map Action Semantics
               to Rewriting Logic",
  pages     = "407--421",
  editor    = "Rus, Teodor",
  booktitle = "Proceedings of the  8th International Conference on Algebraic Methodology and Software Technology (AMAST'00)",
  publisher = "Springer-Verlag, Berlin, Germany, 2000",
  series    = "Lecture Notes in Computer Science",
  volume    = "1816"
}

@PhDThesis{Braga01,
  author =       "Braga, Christiano de O.",
  title =        "Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics",
  school =       "Departamento de Inform{\'{a}}tica, Pontif{\'{i}}cia Universidade Cat{\'{o}}lica de Rio de Janeiro",
  address =      "Brasil",
  year =         "2001",
  note = "\url{http://www.ic.uff.br/~cbraga}"
}


@inproceedings{Meseguer04a,
  author    = "Meseguer, Jos{\'e}  and Braga, Christiano",
  title     = "Modular Rewriting Semantics of Programming Languages",
  pages     = "364-378",
  editor    = "Rattray, Charles  and  Maharaj, Savi and Shankland, Carron",
  booktitle = "Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04)",
  publisher = "Springer-Verlag, Berlin, Germany, 2004",
  series    = "Lecture Notes in Computer Science",
  volume    = "3116"
}

@article{Meseguer92,
  author    = "Meseguer, Jos{\'e}",
  title     = "Conditioned Rewriting Logic as a United Model of Concurrency",
  journal   = "Theoretical Computer Science (TCS)",
  volume    = "96",
  number    = "1",
  year      = "1992",
  pages     = "73--155"
}

@inCollection{Meseguer02,
  editor    = "Gabbay, Dov M. and Guenthner, Franz",
  title     = "Rewriting Logic as a Logical and Semantic Framework",
  author    = "Mart{\'i}-Oliet, Narciso and Meseguer, Jos{\'e}",
  booktitle = "Handbook of Philosophical Logic",
  volume    = "9",
  pages     = "1--87",
  publisher = "Kluwer Academic Publishers, 2002"
}



@article{Sabelfeld03,
    title   = "Language-Based Information-Flow Security",
    author  = "Sabelfeld, Andrei and Myers, Andrew C.",
    journal = "IEEE Journal on Selected Areas in Communications",
    volume  = "21",
    number  = "1",
    pages   = "5--19",
    year    = "2003"
}

@article{Bloom04,
  author    = "Bloom, Bard  and Fokkink, Willem Jan (Wan) and Glabbeek, Robert Jan (Rob)  van",
  title     = "Precongruence formats for decorated trace semantics",
  journal   = "ACM Transactions on Computational Logic",
  volume    = "5",
  number    = "1",
  year      = "2004",
  pages     = "26-78"
}


@inProceedings{Vaandrager91,
   title    = "On the relationship between process algebra and input/output automata",
   author   = "Vaandrager, Frits W.",
   booktitle = "Proceedings of the Sixth Annual IEEE Symposium onLogic in Computer Science (LICS'91)",
   pages     = "387--398",
   publisher = "IEEE Computer Society",
   year      = "1991"
}

@inProceedings{vanGlabbeek94,
  author    = "Glabbeek, Robert Jan (Rob)  van",
  title     = "Full Abstraction in Structural Operational Semantics (Extended Abstract)",
  pages     = "75-82",
  editor    = "Nivat, Maurice  and Rattray, Charles  and Rus, Teodor  and Scollo, Giuseppe",
  booktitle = "Proceedings of the Third International Conference on Algebraic Methodology and Software Technology (AMAST '93)",
  publisher = "Springer-Verlag, Berlin, Germany, 1994"
}


@inproceedings{Lanotte05,
  author    = "Lanotte, Ruggero and Tini, Simone",
  title     = "Probabilistic Congruence for Semistochastic Generative Processes",
  year      = "2005",
  pages     = "63--78",
  editor    = "Sassone, Vladimiro",
  booktitle     = "Proceedings of the 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'05)",
  publisher = "Springer-Verlag",
  series    = "Lecture Notes in Computer Science",
  volume    = "3441"
}

@inProceedings{Bartels02,
  author    = "Bartels, Falk",
  title     = "{GSOS} for Probabilistic Transition Systems",
  booktitle = "Proceedings of the 5th International Workshop on Coalgebraic Methods in Computer Science (CMCS'02)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "65",
  number    = "1",
  pages     = "1--25",
  year      = "2002"
}


@techreport{Bergstra82,
  author =       "Bergstra, Jan and Klop, Jan Willem",
  number =      "IW 206/82",
  title =        "Fixedpoint semantics in process algebra",
  institution =       "Center for Mathematics",
  address =      "Amsterdam, The Netherlands",
  year =         "1982",
}

@techreport{Koymans85,
    title           = "Extending process algebra with the empty process",
    author          = "Koymans, Christiaan P. J.  and Vrancken, Joseph L. M.",
    number          = "1, Logic Group Preprint Series",
    institution     = "Department of Philosophy, Utrecht University",
    address         = "Utrecht, The Netherlands",
    year            = "1985",
    note            = "Extended and enhanced version appeared as \cite{Vrancken97}"
}

@article{Vrancken97,
  author    = "Vrancken, Joseph L. M.",
  title     = "The Algebra of Communicating Processes With Empty Process",
  journal   = "Theoretical Computer Science",
  volume    = "177",
  number    = "2",
  year      = "1997",
  pages     = "287--328"
}

@inproceedings{Baeten87,
  author    = "Baeten, J.C.M. (Jos)  and  Glabbeek, Robert Jan (Rob)  van",
  title     = "Merge and Termination in Process Algebra",
  year      = "1987",
  pages     = "153-172",
  editor    = "Nori, Kesav V.",
  booktitle     = "Proceeding of the Seventh Conference on Foundations of Software Technology and Theoretical Computer
               Science {(FST\&TCS'05)}",
  publisher = "Springer-Verlag, Berlin, Germany, 1987",
  series    = "Lecture Notes in Computer Science",
  volume    = "287"
}

@article{Bergstra84,
  author    = "Bergstra, Jan and Klop, Jan Willem",
  title     = "Process algebra for synchronous communication",
  journal   = "Information and Control",
  volume    = "60",
  number    = "1-3",
  pages     = "109-137",
  year      = "1984"
}

@inProceedings{Bergstra86,
  author    = "Bergstra, Jan and Klop, Jan Willem",
  title     = "Algebra of Communicating Processes",
  booktitle = "Proceedings of the CWI Symposium Mathematics and Computer Science",
  editor    = "de Bakker, Jaco W. and Hazewinkel, Michiel and Lenstra, Jan Karel",
  pages     = "89-138",
  publisher = "North-Holland, Amsterdam, The Netherlands, 1986"
}

@book{Baeten05,
    author = "Baeten, J.C.M. (Jos)  and  Basten, Twan and Reniers, Michel A.",
    title   = "Process Algebra",
    series = "Cambridge Tracts in Theoretical Computer Science",
  publisher = "Cambrdige University Press",
  year  = "2005",
  note = "To appear."
}


@inproceedings{Baeten04b,
  author    = "Baeten, J.C.M. (Jos)  and Reniers, Michel A.",
  title     = "Timed Process Algebra (With a Focus on Explicit Termination
               and Relative-Timing)",
  year      = "2004",
  pages     = "59--97",
  editor    = "Bernardo, Michel A.  and Corradini, Flavio",
  title     = "Proceedings of the International School on Formal Methods for the Design of Real-Time Systems (SFM-RT'04)",
  publisher = "Springer-Verlag, Berlin, Germany, 2004",
  series    = "Lecture Notes in Computer Science",
  volume    = "3185",
  year      = "2004"
}

@article{Degano02,
  author    = "Degano, Pierpaolo  and  Gadducci, Fabio and Priami, Corrado",
  title     = "A causal semantics for {CCS} via rewriting logic",
  journal   = "Theoretical Computer Science",
  volume    = "275",
  number    = "1-2",
  year      = "2002",
  pages     = "259--282"
}

@InProceedings{Mousavi05-CONCUR,
    author      = "Mousavi, MohammadReza and Gabbay, Murdoch J. and Reniers, Michel A.",
    title       = "{SOS} for Higher Order Processes",
    booktitle   = "Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05)",
    series      = "Lecture Notes in Computer Science",
    publisher  = "Springer-Verlag, Berlin, Germany, 2005",
    note        = "To appear"
}

@inproceedings{Hennessy79,
  author    = "Hennessy, Matthew  and Plotkin, Gordon D.",
  title     = "Full Abstraction for a Simple Parallel Programming Language",
  pages     = "108-120",
  editor    = "Becv{\'a}r, Jir\'{\i}",
  booktitle     = "Proceedings of the  8th Symposium on Mathematical Foundations of Computer Science (MFCS'79)",
  publisher = "Springer-Verlag, Berlin, Germany, 1979",
  series    = "Lecture Notes in Computer Science",
  volume    = "74"
}

@inproceedings{Plotkin83,
  author    = "Plotkin, Gordon D.",
  title     = "An Operational Semantics for {CSO}",
  editor    = "Salwicki, Andrzej",
  booktitle     = "Proceedings of the Conference on Logic of Programs and Their Applications (1980)",
  pages     = "250--252",
  series    = "Lecture Notes in Computer Science",
  volume    = "148",
  publisher = "Springer-Verlag, Berlin, Germany, 1983"
}

@unpublished{Mousavi05-SOSInMaude,
  author    = "Mousavi, MohammdReza and Reniers, Michel A.",
  title     = "Prototyping {SOS} Meta-Theory in {Maude}",
  note      = "Submitted, draft available from \url{http://www.win.tue.nl/~mousavi/sos05-meta-thoery.pdf}",
   year   = "2005"
}

@inProceedings{vanGlabbeek05,
    author      = "Glabbeek, Robert Jan (Rob) van",
    title       = "On Cool Congruence Formats for Weak Bisimulations (extended abstract)",
    booktitle   = "Proceedings of the 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC'05)",
    series      = "Lecture Notes in Computer Science",
    publisher   = "Springer-Verlag, Berlin, Germany, 2005",
    note        = "To appear"
}

@article{Paige87,
  author    = "Paige, Robert  and Tarjan, Robert Endre",
  title     = "Three Partition Refinement Algorithms",
  journal   = "SIAM Journal on Computing",
  volume    = "16",
  number    = "6",
  year      = "1987",
  pages     = "973-989"
}

@article{Kanellakis90,
    author = "Kanellakis, Paris C. and Smolka, Scott A.",
    title  = "{CCS} expressions, finite state processes, and three problems of equivalence",
    journal = "Information and Computation {(I\& C)}",
    volume  = "86",
    number  = "1",
    pages   = "43-68",
    year    = "1990"

}

@inproceedings{Ulidowski97,
  author    = "Ulidowski, Irek and Phillips, Iain",
  title     = "Formats of Ordered {SOS} Rules with Silent Actions",
  pages     = "297-308",
  editor    = "Bidoit, Michel  and Dauchet, Max",
  booktitle     = "Proceedings of 7th International Joint Conference on
                Theory and Practice of Software Development (TAPSOFT'97)",
  series    = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag, Berlin, Germany, 1997",
  volume    = "1214"
}



@inCollection{Phillips96,
   author       = "Phillips, Iain and Ulidowski, Irek",
   editor       = "Edalat, Abbas and Jourdan, Sofia and McCusker, Guy",
   booktitle    = "Advances in Theory and Formal Methods of Computing",
   publisher    = "Imperial College Press, London, UK, 1996",
   title        = "Ordered {SOS} Rules and Weak Bisimulation",
   pages        = "300--311"
}


@inproceedings{Astesiano88,
  author    = "Astesiano, Egidio A and Giovini, Alessandro  and  Reggio, Gianna",
  title     = "Generalized Bisimulation in Relational Specifications",
  pages     = "207--226",
  editor    = "Cori, Robert  and Wirsing, Martin",
  booktitle     = "Proceedings of the 5th Annual Symposium on Theoretical Aspects of
               Computer Science (STACS'88)",
  publisher = "Springer-Verlag, Berlin, Germany, 1988",
  series    = "Lecture Notes in Computer Science",
  volume    = "294"
}

@inproceedings{Boudol89,
  author    = "Boudol, G{\'e}rard",
  title     = "Towards a Lambda-Calculus for Concurrent and Communicating Systems",
  pages     = "149--161",
  editor    = "D{\'{\i}}az, Josep  and Orejas, Fernando",
  booktitle     = "Proceedings of the International Joint Conference  on Theory and Practice of Software Development (TAPSOFT'89)",
  publisher = "Springer-Verlag, Berlin, Germany, 1989",
  series    = "Lecture Notes in Computer Science",
  volume    = "351"
}


@inproceedings{Goguen82,
  author    = "Goguen, Joseph A.  and Meseguer, Jos{\'e}",
  title     = "Security Policies and Security Models",
  booktitle = "IEEE Symposium on Security and Privacy",
  publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 1982",
  pages     = "11--20"
}

@inCollection{Focardi01,
  title   = "Classification of Security Properties (Part {I}: Information Flow)",
  author  = "Focardi, Riccardo and Gorrieri, Roberto",
  bootitle = "Tutorial Lectures on Foundations of Security Analysis and Design",
  publisher = "Springer-Verlag, Berlin, Germany, 2001",
  series    = "Lecture Notes in Computer Science",
  volume    = "2171",
  pages     = "331--396"
}

@inProceedings{Zheng05,
    author      = "Zheng, Lantian and Myers, Andrew C.",
    title       = "End-to-End Availability Policies and Noninterference",
    booktitle   = "Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05)",
    note        = "To appear, 2005. Available from \url{http://www.cs.cornell.edu/andru/pubs.html}."
}

@inproceedings{Sabelfeld03b,
  author    = "Sabelfeld, Andrei",
  title     = "Confidentiality for Multithreaded Programs via Bisimulation",
  year      = "2003",
  pages     = "260-274",
  editor    = "Broy, Manfred  and Zamulin, Alexandre V.",
  title     = "Proceedings of 5th International Andrei Ershov Memorial Conference Perspectives of Systems Informatics (PSI'03)",
  publisher = "Springer-Verlag, Berlin, Germany, 2003",
  series    = "Lecture Notes in Computer Science",
  volume    = "2890"
}

@book{Hoare85,
    title   = "Communicating Sequential Processes",
    author  = "Hoare, C.A.R. (Tony)",
    publisher   = "Prentice Hall",
    year        = "1985"
}


@PhDThesis{Luttik02,
    author = "Luttik, Sebastian P.",
    title  = "Choice quantification in process algebra",
    school =  "Department of Computer Science, University of Amsterdam",
    address =      "Amsterdam, The Netherlands",
    year =         "2002"
}

@article{Hennessy85,
    author  = "Hennessy, Matthew C. B. and Milner, A.J.R.G. (Robin)",
    title   = "Algebraic Laws for Non-determinism and Concurrency",
    journal = "Journal of the ACM",
    volume  = "32",
    number  = "1",
    pages   = "137--161",
    year    = "1985"
}

@PhDThesis{Larsen86,
    author = "Larsen, Kim G.",
    title  = "Context-Dependent Bisimulation between Processes",
    school =  "University of Edinburgh",
    address =      "Edinburgh, Scotland, UK",
    year =         "1986"
}

@article{Larsen91,
    author  = "Larsen, Kim G. and Xinxin, Liu",
    title   = "Compositionality through an Operational Semantics of Contexts",
    journal = "Journal of Logic and Computation",
    volume  = "1",
    number  = "6",
    pages   = "761--795",
    year    = "1991"
}

@inProceedings{Vaandrager93,
    author      = "Vaandrager, Frits W.",
    title       = "Expressiveness Results for Process Algebras",
    booktitle   = "Proceedings of the {REX} Workshop on Semantics",
    editor      =  "de Bakker, Jaco W.  and de Roever, Willem P.  and Rozenberg, Grzegorz",
    series      =  "Lecture Notes in Computer Science",
    volume      =  "666",
    publisher   = "Springer-Verlag, Berlin, Germany, 1993",
    pages       = "609--638"
}

@inProceedings{Gabbay04,
    author      = "Gabbay, Murdoch J.  and Cheney, James",
    title       = "A Sequent Calculus for Nominal Logic",
    booktitle   = "Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)",
    pages       = "139--148",
    publisher   = "IEEE Computer Science, Los Alamitos, CA, USA, 2004"
}

@inProceedings{Verdejo00,
    author      = "Verdejo, Alberto and Mart{\'i}-Oliet, Narciso",
    booktitle   = "Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal
               Description Techniques for Distributed Systems and Communication
               Protocols {(FORTE XIII)} and Protocol Specification, Testing
               and Verification {(PSTV XX)}",
    title       = "Implementing {CCS} in {Maude}",
    pages       = "351--366",
    editor      = "Bolognesi, Tommaso and Latella, Diego",
    publisher   = "Kluwer Academic Publishers, 2000",
    series      = "IFIP Conference Proceedings",
    volume      = "183"
}

@InProceedings{Mousavi05-ICALP,
    author      = "Mousavi, MohammadReza and Reniers, Michel A.",
    title       = "Orthogonal Extensions in Structural Operational",
    booktitle   = "Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05)",
    series      = "Lecture Notes in Computer Science",
    volume      = "3580",
    pages       = "1214--1225",
    publisher  = "Springer-Verlag, Berlin, Germany",
    year        = "2005"
}

@article{Ulidowski02,
  author    = "Ulidowski, Irek and Phillips, Iain",
  title     = "Ordered {SOS} Process Languages for Branching and Eager Bisimulations",
  journal   = "Information and Computation (I\&C)",
  volume    = "178",
  number    = "1",
  year      = "2002",
  pages     = "180--213"
}

@inproceedings{Clement89,
  author    = "Cl{\'e}ment, Dominique and
               Incerpi, Janet  and
               Kahn, Gilles",
  title     = "{CENTAUR}: Towards a {``}Software Tool Box{''} for Programming Environments",
  pages     = "287--304",
  editor    = "Long, Fred",
  booktitle     = "Proceedings of the International Workshop
               on Software Engineering Environments (SEE'89)",
  publisher = "Springer-Verlag, Berlin, Germany, 1990",
  series    = "Lecture Notes in Computer Science",
  volume    = "467"
}


@article{Borras88,
  author    = "Borras, Patrick  and
               Cl\'{e}ment, Dominique and
               Despeyroux, Thierry  and
               Incerpi, Janet  and
               Kahn, Gilles  and
               Lang, Bernard  and
               Pascual, Val\'{e}rie",
  title     = "{CENTAUR}: The System",
  year      = "1988",
  pages     = "14--24",
  journal   = "SIGPLAN Notices",
  volume    = "24",
  number    = "2"
}

@inCollection{Aceto01b,
  author    = "Aceto, Luca and Fokkink, Willem Jan (Wan) and Verhoef, Chris",
  editor    = "Paun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto",
  title     = "Conservative Extension in Structural Operational Semantics",
  booktitle = "Current Trends in Theoretical Computer Science  - Entering the 21st Century",
  pages     = "504--524",
  publisher = "World Scientific, Singapore, 2001"
}

@phdthesis{Mousavi05-thesis,
  author =       "Mousavi, MohammadReza",
  title =        "Structuring Structural Operational Semantics",
  school =       "Department of Computer Science, Eindhoven University of Technology",
  address =      "Eindhoven, The Netherlands",
  year =         "2005"
}

@InProceedings{Groote05-SOS,
    author      = "Groote, Jan Friso and Mousavi, MohammadReza and Reniers, Michel A.",
    title       = "A Hierarchy of SOS Rule Formats",
    booktitle   = "Proceedings of the 2nd Workshop on Structural Operational Semantics   (SOS'05)",
    series      = "Electronic Notes in Theoretical Computer Science",
    address     = "Lisbon, Portugal",
    publisher  = "Elsevier Science B.V.",
    year        = "2005"
}

@InProceedings{Mousavi05-SOS,
    author      = "Mousavi, MohammadReza and Reniers, Michel A.",
    title       = "Prototyping {SOS} Meta-theory in {Maude}",
    booktitle   = "Proceedings of the 2nd Workshop on Structural Operational Semantics   (SOS'05)",
    series      = "Electronic Notes in Theoretical Computer Science",
    address     = "Lisbon, Portugal",
    publisher  = "Elsevier Science B.V.",
    year        = "2005"
}

@InProceedings{Ziegler05,
    author      = "Ziegler, Axelle and Miller, Dale  and Palamidessi, Dale",
    title       = "A Congruence Format for Name-passing Calculi",
    booktitle   = "Proceedings of the 2nd Workshop on Structural Operational Semantics   (SOS'05)",
    series      = "Electronic Notes in Theoretical Computer Science",
    address     = "Lisbon, Portugal",
    publisher  = "Elsevier Science B.V.",
    year        = "2005"
}

@article{Miller99,
 author         = "Miller, Dale and Palmidessi, Catuscia",
 title          = "Foundational aspects of syntax",
 journal        = "ACM Computing Surveys",
 volume         = "31",
 year           = 1999"
}

@techreport{Baeten05-TechRep,
    title       = "Timing the Untimed: Terminating Successfully while Being Conservative",
    author      = "Baeten, J.C.M. (Jos)  and Mousavi, MohammadReza  and Reniers, Michel A.",
    number      = "05-21",
    institution = "Department of Computer Science, Eindhoven University of Technology",
    address     = "Eindhoven, The Netherlands",
    year        = "2005"
}


@InProceedings{MousaviBertinoro05,
    author      = "Mousavi, MohammadReza",
    title       = "Towards SOS Meta-Theory for Language-Based Security (Position Paper)",
    booktitle   = "Proceedings of the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond",
    series      = "BRICS Notes",
    volume      = "{NS}-05-3 ",
    pages       = "188--191",
    publisher  = "Basic Research in Computer Science (BRICS), Aarhus, Denmark",
    year        = "2005"
}

@article{Bruni05,
  author    = "Bruni, Roberto  and Montanari, Ugo  and Sassone, Vladimiro",
  title     = "Observational congruences for dynamically reconfigurable
               tile systems",
  journal   = "Theoretical Computer Science (TCS)",
  volume    = "335",
  number    = "2-3",
  year      = "2005",
  pages     = "331--372"
}

@inCollection{Gadducci00,
    author      = "Gadducci, Fabio and Montanari, Ugo",
    title       = "The Tile Model",
    editor      = "Plotkin, Gordon D. and Stirling, Colin and Tofte, Mads",
    booktitle   = "Proof, Language and Interaction: Essays in Honour of {Robin} {Milner}",
    pages       = "133--166",
    publisher   = "MIT Press, Boston, MA, USA, 2000"
}

@inproceedings{Moller90,
  author    = "Moller, Faron and Tofts, Chris M. N.",
  title     = "A Temporal Calculus of Communicating Systems",
  title     = "Proceedings of the 1st Conference on Theories of Concurrency: Unification and Extension (CONCUR'90)",
  pages     = "401--415",
  editor    = "Baeten, Jos C. M. and Klop, Jan Willem",
  series    = "Lecture Notes in Computer Science",
  volume    = "458",
  publihser = "Springer-Verlag, Berlin, Germany, 1990"
}