BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. In ALP96: Fifth Int. Conference on Algebraic and Logic Programm. Aachen, Germany: Springer-Verlag, 1996, s. 165-178. LNCS 1139. ISBN 3-540-61735-3. |
Další formáty:
BibTeX
LaTeX
RIS
@inbook{190115, author = {Brim, Lubos and Gilbert, David and Jacquet, JeanandMarie and Křetínský, Mojmír}, address = {Aachen, Germany}, booktitle = {ALP96: Fifth Int. Conference on Algebraic and Logic Programm}, language = {eng}, location = {Aachen, Germany}, isbn = {3-540-61735-3}, pages = {165-178}, publisher = {Springer-Verlag}, title = {A process algebra for Synchronous Concurrent Constraint Programming}, year = {1996} }
TY - CHAP ID - 190115 AU - Brim, Lubos - Gilbert, David - Jacquet, Jean-Marie - Křetínský, Mojmír PY - 1996 TI - A process algebra for Synchronous Concurrent Constraint Programming VL - LNCS 1139 PB - Springer-Verlag CY - Aachen, Germany SN - 3540617353 ER -
BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. In \textit{ALP96: Fifth Int. Conference on Algebraic and Logic Programm}. Aachen, Germany: Springer-Verlag, 1996, s.~165-178. LNCS 1139. ISBN~3-540-61735-3.
|