BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. Technical Report of Namur University. Namur: Namur University, 1995, roč. 1995, č. 8, s. 1-15. |
Další formáty:
BibTeX
LaTeX
RIS
@article{232992, author = {Brim, Lubos and Gilbert, David and Jacquet, JeanandMarie and Křetínský, Mojmír}, article_location = {Namur}, article_number = {8}, language = {eng}, journal = {Technical Report of Namur University}, note = {(A full version of a conference paper)}, title = {A process algebra for Synchronous Concurrent Constraint Programming}, volume = {1995}, year = {1995} }
TY - JOUR ID - 232992 AU - Brim, Lubos - Gilbert, David - Jacquet, Jean-Marie - Křetínský, Mojmír PY - 1995 TI - A process algebra for Synchronous Concurrent Constraint Programming JF - Technical Report of Namur University VL - 1995 IS - 8 SP - 1 EP - 1 PB - Namur University N1 - (A full version of a conference paper) ER -
BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. \textit{Technical Report of Namur University}. Namur: Namur University, 1995, roč.~1995, č.~8, s.~1-15.
|