Temporal Concurrent Constraint Programming: Applications and Behavior

Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

Standard

Temporal Concurrent Constraint Programming : Applications and Behavior. / Nielsen, Mogens; Valencia Posso, Frank Dan.

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. ed. / Wilfried Brauer; Hartmut Ehrig; Juhani Karhumäki; Arto Salomaa. Berlin / Heidelberg : Springer, 2002. p. 298-324 (Lecture Notes in Computer Science, Vol. 2300).

Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

Harvard

Nielsen, M & Valencia Posso, FD 2002, Temporal Concurrent Constraint Programming: Applications and Behavior. in W Brauer, H Ehrig, J Karhumäki & A Salomaa (eds), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Springer, Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 2300, pp. 298-324. https://doi.org/10.1007/3-540-45711-9_17

APA

Nielsen, M., & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 298-324). Berlin / Heidelberg: Springer. Lecture Notes in Computer Science, Vol.. 2300 https://doi.org/10.1007/3-540-45711-9_17

CBE

Nielsen M, Valencia Posso FD. 2002. Temporal Concurrent Constraint Programming: Applications and Behavior. Brauer W, Ehrig H, Karhumäki J, Salomaa A, editors. In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin / Heidelberg: Springer. pp. 298-324. (Lecture Notes in Computer Science, Vol. 2300). https://doi.org/10.1007/3-540-45711-9_17

MLA

Nielsen, Mogens and Frank Dan Valencia Posso "Temporal Concurrent Constraint Programming: Applications and Behavior"., Brauer, Wilfried and Ehrig, Hartmut Karhumäki, Juhani Salomaa, Arto (editors). Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin / Heidelberg: Springer. (Lecture Notes in Computer Science, Vol. 2300). 2002, 298-324. https://doi.org/10.1007/3-540-45711-9_17

Vancouver

Nielsen M, Valencia Posso FD. Temporal Concurrent Constraint Programming: Applications and Behavior. In Brauer W, Ehrig H, Karhumäki J, Salomaa A, editors, Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Berlin / Heidelberg: Springer. 2002. p. 298-324. (Lecture Notes in Computer Science, Vol. 2300). https://doi.org/10.1007/3-540-45711-9_17

Author

Nielsen, Mogens ; Valencia Posso, Frank Dan. / Temporal Concurrent Constraint Programming : Applications and Behavior. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. editor / Wilfried Brauer ; Hartmut Ehrig ; Juhani Karhumäki ; Arto Salomaa. Berlin / Heidelberg : Springer, 2002. pp. 298-324 (Lecture Notes in Computer Science, Vol. 2300).

Bibtex

@inbook{ecc46fc0983b11dabee902004c4f4f50,
title = "Temporal Concurrent Constraint Programming: Applications and Behavior",
abstract = "The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus. Furthermore, the expressive power of this fragment is illustrated by examples.Basic Research in Computer Science, Centre of the Danish National Research Foundation.",
author = "Mogens Nielsen and {Valencia Posso}, {Frank Dan}",
year = "2002",
doi = "10.1007/3-540-45711-9_17",
language = "English",
isbn = "978-3-540-43190-9",
pages = "298--324",
editor = "Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"a}ki and Arto Salomaa",
booktitle = "Formal and Natural Computing",
publisher = "Springer",

}

RIS

TY - CHAP

T1 - Temporal Concurrent Constraint Programming

T2 - Applications and Behavior

AU - Nielsen, Mogens

AU - Valencia Posso, Frank Dan

PY - 2002

Y1 - 2002

N2 - The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus. Furthermore, the expressive power of this fragment is illustrated by examples.Basic Research in Computer Science, Centre of the Danish National Research Foundation.

AB - The ntcc calculus is a model of non-deterministic temporal concurrent constraint programming. In this paper we study behavioral notions for this calculus. In the underlying computational model, concurrent constraint processes are executed in discrete time intervals. The behavioral notions studied reflect the reactive interactions between concurrent constraint processes and their environment, as well as internal interactions between individual processes. Relationships between the suggested notions are studied, and they are all proved to be decidable for a substantial fragment of the calculus. Furthermore, the expressive power of this fragment is illustrated by examples.Basic Research in Computer Science, Centre of the Danish National Research Foundation.

U2 - 10.1007/3-540-45711-9_17

DO - 10.1007/3-540-45711-9_17

M3 - Book chapter

SN - 978-3-540-43190-9

SP - 298

EP - 324

BT - Formal and Natural Computing

A2 - Brauer, Wilfried

A2 - Ehrig, Hartmut

A2 - Karhumäki, Juhani

A2 - Salomaa, Arto

PB - Springer

CY - Berlin / Heidelberg

ER -