Raja, N. ; Shyamasundar, R. K. (2006) A closer look at constraints as processes Information Processing Letters, 98 (5). pp. 206-210. ISSN 0020-0190
![[img]](https://repository.ias.ac.in/style/images/fileicons/application_pdf.png)
|
PDF
- Author Version
150kB |
Official URL: http://www.sciencedirect.com/science/article/pii/S...
Related URL: http://dx.doi.org/10.1016/j.ipl.2006.01.010
Abstract
This article does not have an abstract.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Elsevier Science. |
| Keywords: | Programming Calculi; Formal Semantics; Program Correctness; Concurrency; Compositional Encoding |
| ID Code: | 56592 |
| Deposited On: | 24 Aug 2011 11:04 |
| Last Modified: | 18 May 2016 08:21 |
Repository Staff Only: item control page
