@incollection{Courcoubetis/94,
AUTHOR = {Courcoubetis, Costas},
TITLE = {From timed graphs to hybrid automata},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {160},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dill/94,
AUTHOR = {Dill, D.},
TITLE = {Hierarchical models of synchronous circuits},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {161},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fernandez-Sifakis-Simone/94,
AUTHOR = {Fernandez, J.C. and Sifakis, J. and Simone, R. de},
TITLE = {Model-based verification methods and tools},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {64},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girard/94,
AUTHOR = {Girard, Jean-Yves},
TITLE = {Geometry of interaction},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {1},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Panangaden/94,
AUTHOR = {Panangaden, Prakash},
TITLE = {The logical structure of concurrent constraint programming languages},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {129},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Uselton-Smolka/94,
AUTHOR = {Uselton, Andrew C. and Smolka, Scott A.},
TITLE = {A compositional semantics for statecharts using labeled transition systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {2-17},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kiehn-Hennessy/94,
AUTHOR = {Kiehn, Astrid and Hennessy, Matthew},
TITLE = {On the decidability of non-interleaving process equivalences},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {18-33},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mauw-Mulder/94,
AUTHOR = {Mauw, Sjouke and Mulder, Hans},
TITLE = {Regularity of BPA-systems is decidable},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {34-47},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hirshfeld-Moller/94,
AUTHOR = {Hirshfeld, Yoram and Moller, Faron},
TITLE = {A fast algorithm for deciding bisimilarity of normed context-free processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {48-63},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girkar-Moll/94,
AUTHOR = {Girkar, Mahesh and Moll, Robert},
TITLE = {New results on the analysis of concurrent systems with an indefinite number of processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {65-80},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouajjani-Echahed-Robbana/94,
AUTHOR = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh},
TITLE = {Verification of nonregular temporal properties for context-free processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {81-97},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Burkart-Steffen/94,
AUTHOR = {Burkart, Olaf and Steffen, Bernhard},
TITLE = {Pushdown processes: Parallel composition and model checking},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {98-113},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar/94,
AUTHOR = {Hungar, Hardi},
TITLE = {Local model checking for parallel compositions of context-free processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {114-128},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{di_Gianantonio-Honsell-Liani-Plotkin/94,
AUTHOR = {di Gianantonio, Pietro and Honsell, Furio and Liani, Silvia and Plotkin, Gordon D.},
TITLE = {Countable non-determinism and uncountable limits},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {130-145},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cockett-Spooner/94,
AUTHOR = {Cockett, J.R.B. and Spooner, D.A.},
TITLE = {SProc categorically},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {146-159},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alur-Courcoubetis-Henzinger/94,
AUTHOR = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A.},
TITLE = {The observational power of clocks},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {162-177},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gunawardena/94,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {A dynamic approach to timed behaviour},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {178-193},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Winkowski/94,
AUTHOR = {Winkowski, J{\'{o}}zef},
TITLE = {Algebras of processes of timed Petri nets},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {194-209},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Koutny-Esparza-Best/94,
AUTHOR = {Koutny, Maciej and Esparza, Javier and Best, Eike},
TITLE = {Operational semantics for the Petri box calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {210-225},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rensink-Wehrheim/94,
AUTHOR = {Rensink, Arend and Wehrheim, Heike},
TITLE = {Weak sequential composition in process algebras},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {226-241},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kanellakis-Michailidis-Shvartsman/94,
AUTHOR = {Kanellakis, Paris C. and Michailidis, Dimitrios and Shvartsman, Alex A.},
TITLE = {Efficient parallelism vs reliable distribution: A trade-off for concurrent computations},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {242-266},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Xu-Cau-Collette/94,
AUTHOR = {Xu, Qiwen and Cau, Antonio and Collette, Pierre},
TITLE = {On unifying assumption-commitment style proof rules for concurrency},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {267-282},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Skakkebaek/94,
AUTHOR = {Skakkebaek, Jens Ulrich},
TITLE = {Liveness and fairness in duration calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {283-298},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boreale-Nicola/94,
AUTHOR = {Boreale, Michele and Nicola, Rocco De},
TITLE = {A symbolic semantics for the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {299-314},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=836&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Walker/94,
AUTHOR = {Walker, David},
TITLE = {On bisimulation in the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {315-330},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Liu/94b,
AUTHOR = {Liu, Xinxin},
TITLE = {Characterizing bisimulation congruence in the $\pi$-calculus},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {331-350},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klarlund/94,
AUTHOR = {Klarlund, Nils},
TITLE = {The limit view of infinite computations},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {351-366},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Back-Wright/94,
AUTHOR = {Back, R.J.R. and Wright, J. von},
TITLE = {Trace refinement of action systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {367-384},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nielsen-Clausen/94a,
AUTHOR = {Nielsen, Mogens and Clausen, Christian},
TITLE = {Bisimulation for models in concurrency},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {385-400},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bezem-Groote/94,
AUTHOR = {Bezem, M. and Groote, Jan Friso},
TITLE = {Invariants in process algebra with data},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {401-416},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cleaveland-Riely/94,
AUTHOR = {Cleaveland, Rance and Riely, James},
TITLE = {Testing-based abstractions for value-passing systems},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {417-432},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Verhoef/94,
AUTHOR = {Verhoef, C.},
TITLE = {A congruence theorem for structured operational semantics with predicates and negative premises},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {433-448},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aceto/94b,
AUTHOR = {Aceto, Luca},
TITLE = {Deriving complete inference systems for a class of GSOS languages generating regular behaviours},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {449-464},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeten-Bergstra/94,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A.},
TITLE = {Process algebra with partial choice},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {465-480},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Segala-Lynch/94,
AUTHOR = {Segala, Roberta and Lynch, Nancy},
TITLE = {Probabilistic simulations for probabilistic processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {481-496},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yuen-Cleaveland-Dayar-Smolka/94,
AUTHOR = {Yuen, Shoji and Cleaveland, Rance and Dayar, Zeynep and Smolka, Scott A.},
TITLE = {Fully abstract characterizations of testing preorders for probabilistic processes},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {497-512},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wu-Smolka-Stark/94,
AUTHOR = {Wu, Sue-Hwey and Smolka, Scott A. and Stark, Eugene W.},
TITLE = {Composition and behaviors of probabilistic I/O automata},
BOOKTITLE = {Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94 (Uppsala, Sweden, August 22-25, 1994)},
SERIES = {LNCS},
VOLUME = {836},
PAGES = {513-528},
YEAR = {1994},
EDITOR = {Jonsson, Bengt and Parrow, Joachim},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}