@incollection{Stirling/95,
AUTHOR = {Stirling, Colin},
TITLE = {Local model checking games},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {1-11},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dam/95,
AUTHOR = {Dam, Mads},
TITLE = {Compositional proof systems for model checking infinite state processes},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {12-26},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laroussinie-Larsen/95,
AUTHOR = {Laroussinie, Fran{\c{c}}ois and Larsen, Kim G.},
TITLE = {Compositional model checking of real time systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {27-41},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Montanari-Pistore/95,
AUTHOR = {Montanari, Ugo and Pistore, Marco},
TITLE = {Checking bisimilarity for finitary $\pi$-calculus},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {42-56},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferrari-Montanari-Quaglia/95,
AUTHOR = {Ferrari, Gian-Luigi and Montanari, Ugo and Quaglia, Paola},
TITLE = {The weak late $\pi$-calculus semantics as observation equivalence},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {57-71},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Steffen-Classen-Klein-Knoop-Margaria/95,
AUTHOR = {Steffen, Bernhard and Cla{\"ss}en, Andreas and Klein, Marion and Knoop, Jens and Margaria, Tiziana},
TITLE = {The fixpoint-analysis machine},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {72-87},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lin/95,
AUTHOR = {Lin, H.},
TITLE = {Unique fixpoint induction for mobile processes},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {88-102},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Liu-Walker/95,
AUTHOR = {Liu, Xinxin and Walker, David},
TITLE = {A polymorphic type system for the polyadic $\pi$-calculus},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {103-116},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hermida-Power/95,
AUTHOR = {Hermida, Claudio and Power, John},
TITLE = {Fibrational control structures},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {117-129},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Corradini-De_Nicola-Labella/95,
AUTHOR = {Corradini, Flavio and De Nicola, Rocco and Labella, Anna},
TITLE = {Fully abstract models for nondeterministic regular expressions},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {130-144},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Busi-Gorrieri/95,
AUTHOR = {Busi, Nadia and Gorrieri, Roberto},
TITLE = {A Petri net semantics for $\pi$-calculus},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {145-159},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rensink/95,
AUTHOR = {Rensink, Arend},
TITLE = {A complete theory of deterministic event structures},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {160-174},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nielsen-Priese-Sassone/95,
AUTHOR = {Nielsen, Mogens and Priese, Lutz and Sassone, Vladimiro},
TITLE = {Characterising behavioural congruences for Petri nets},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {175-189},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vaandrager/95,
AUTHOR = {Vaandrager, Frits},
TITLE = {Verification of a distributed summation algorithm},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {190-203},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Groote-Sellink/95,
AUTHOR = {Groote, J.F. and Sellink, M.P.A.},
TITLE = {Confluence for process verification},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {204-218},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ulidowski/95,
AUTHOR = {Ulidowski, Irek},
TITLE = {Axiomatisations of weak equivalences for {De Simone} languages},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {219-233},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Segala/95,
AUTHOR = {Segala, Roberto},
TITLE = {A compositional trace-based semantics for probabilistic automata},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {234-248},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nunez-Frutos-Llana/95,
AUTHOR = {N{\'{u}}{\~n}ez, Manuel and Frutos, David de and Llana, Luis},
TITLE = {Acceptance trees for probabilistic processes},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {249-263},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Harel/95a,
AUTHOR = {Harel, David},
TITLE = {Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {264-268},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bryans-Davies-Schneider/95,
AUTHOR = {Bryans, Jeremy and Davies, Jim and Schneider, Steve},
TITLE = {Towards a denotational semantics for ET-LOTOS},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {269-283},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wang/95f,
AUTHOR = {Wang, Farn},
TITLE = {Reachability analysis at procedure level through timing coincidence},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {284-298},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vogler/95d,
AUTHOR = {Vogler, Walter},
TITLE = {Faster asynchronous systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {299-312},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brinksma-Rensink-Vogler/95,
AUTHOR = {Brinksma, Ed and Rensink, Arend and Vogler, Walter},
TITLE = {Fair testing},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {313-327},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Craigen/95a,
AUTHOR = {Craigen, Dan},
TITLE = {Formal methods technology transfer: Impediments and innovation},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {328-332},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Abdulla-Kindahl/95,
AUTHOR = {Abdulla, Parosh Aziz and Kindahl, Mats},
TITLE = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {333-347},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jancar-Moller/95,
AUTHOR = {Jan{\v{c}}ar, Petr and Moller, Faron},
TITLE = {Checking regular properties of Petri nets},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {348-362},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bonsangue-Kok-Vink/95,
AUTHOR = {Bonsangue, Marcello M. and Kok, Joost N. and Vink, Erik de},
TITLE = {Metric predicate transformers: Towards a notion of refinement for concurrency},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {363-377},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Siegel/95c,
AUTHOR = {Siegel, M.},
TITLE = {A refinement theory that supports both "Decrease of Nondeterminism" and "Increase of Parallelism"},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {378-392},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Emerson/95,
AUTHOR = {Emerson, E. Allen},
TITLE = {Model checking and efficient automation of temporal reasoning},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {393-394},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Grumberg-Jha/95,
AUTHOR = {Clarke, E.M. and Grumberg, O. and Jha, S.},
TITLE = {Verifying parameterized networks using abstraction and regular languages},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {395-407},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kupferman-Vardi/95,
AUTHOR = {Kupferman, Orna and Vardi, M.Y.},
TITLE = {On the complexity of branching modular model checking},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {408-422},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kaivola/95a,
AUTHOR = {Kaivola, Roope},
TITLE = {Axiomatising linear time Mu-calculus},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {423-437},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Thiagarajan/95,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {A trace consistent subset of PTL},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {438-452},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Holzmann/95,
AUTHOR = {Holzmann, G.J.},
TITLE = {Proving properties of concurrent systems with SPIN},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {453-455},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Philippou-Walker/95,
AUTHOR = {Philippou, Anna and Walker, David},
TITLE = {On sharing and determinacy in concurrent systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {456-470},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brock-Ostheimer/95,
AUTHOR = {Brock, Simon and Ostheimer, Gerald},
TITLE = {Process semantics of graph reduction},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {471-485},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hennessy-Rathke/95,
AUTHOR = {Hennessy, M. and Rathke, J.},
TITLE = {Bisimulations for a calculus of broadcasting systems},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {486-500},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{DArgenio-Mauw/95,
AUTHOR = {D'Argenio, P.R. and Mauw, S.},
TITLE = {Delayed choice for process algebra with abstraction},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {501-515},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cerans/95,
AUTHOR = {{\v{C}}er{\=a}ns, K{\=a}rlis},
TITLE = {CTR: A calculus of timed refinement},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {516-530},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouajjani-Lakhnech/95,
AUTHOR = {Bouajjani, Ahmed and Lakhnech, Yassine},
TITLE = {Temporal logic + timed automata: Expressiveness and decidability},
BOOKTITLE = {Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)},
SERIES = {LNCS},
VOLUME = {962},
PAGES = {531-545},
YEAR = {1995},
EDITOR = {Lee, Insup and Smolka, Scott A.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}