Publication details
A process algebra for Synchronous Concurrent Constraint Programming
| Basic information | |
|---|---|
| Original title: | A process algebra for Synchronous Concurrent Constraint Programming |
| Authors: | Lubos Brim, David Gilbert, Jean -Marie Jacquet, Mojmír Křetínský |
| Further information | |
|---|---|
| Citation: | BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír
KŘETÍNSKÝ. A process algebra for Synchronous Concurrent
Constraint Programming (A process algebra for Synchronous
Concurrent Constraint Programming). In ALP96: Fifth Int.
Conference on Algebraic and Logic Programm. Aachen, Germany:
Springer-Verlag, 1996. p. 165-178. LNCS 1139. ISBN
3-540-61735-3.Export BibTeX @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} } |
| Original language: | English |
| Field: | Computer hardware and software |
| Type: | Chapter of a book |
Related projects:
- Analysis of Concurrent Infinite State Systems
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
