Partial order and sos semantics for linear constraint programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1282, Issue , 1997, Pages 256-273

  Best, Eike ^a   De Boer, Frank S ^b   Palamidessi, Catuscia ^c  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b UTRECHT UNIVERSITY   (Netherlands)

^c UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

CAUSAL RELATIONS; CONCURRENT CONSTRAINT PROGRAMMING; DEGREE OF PARALLELISM; LINEAR CONSTRAINT PROGRAMMING; LINEAR CONSTRAINTS; OPERATIONAL SEMANTICS; PARTIAL ORDER SEMANTICS; PHYSICAL RESOURCES;

SEMANTICS;

EID: 84957049370     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_85     Document Type: Conference Paper

References (23)

1. E. Best and C. Palamidessi: Linear constraint systems as high-level nets. Proc. CONCUR'96. Springer LNCS 1119 (1996) 498–513
2. A. Brogi and P. Ciancarini: The concurrent language Shared Prolog. ACM TOPLAS 13 (1991) 99–123
3. F.S. de Boer and C. Palamidessi. Embedding as a Tool for Language Comparison. Information and Computation 108 (1994) 128–157
4. F.S. de Boer, C. Palamidessi and E. Best: Concurrent Constraint Programming with Information Removal. Proc. First Int. Workshop on Concurrent Constraint Programming, Venice (1995) 1–13
5. N. Carriero and D. Gelernter: Linda in context. Comm. ACM 32 (1989) 445–458
6. R. Janicki and M. Koutny: Structure of Concurrency. Theoretical Computer Science 112 (1993) 5–52
7. R. Janicki and M. Koutny: Semantics of Inhibitor Nets. Information and Computation 123 (1995) 1–16
8. N. Kobayashi and A. Yonezawa: ACL-A Concurrent Linear Logic Programming Paradigm. Proc. of the International Logic Programming Symposium (1993) 279-294
9. D. Gelernter: Generative Communication in Linda. ACM TOPLAS 7 (1985) 80–112
10. A. Mazurkiewicz: Trace Theory. Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II. Springer-Verlag, LNCS 255 (1987) 279–324
11. U. Montanari and F. Rossi: True concurrency in concurrent constraint programming. Proc. of the International Logic Programming Symposium (1991) 694–716
12. U. Montanari and F. Rossi: Graph rewriting for a partial order semantics of concurrent constraint programming. Theoretical Computer Science 109 (1993)
13. U. Montanari and F. Rossi: Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets. V.J. Saraswat and P. Van Hentenryck (eds.) Constraint Programming (1995)
14. U. Montanari and F. Rossi: Contextual nets. Acta Informatica 32 (1995)
15. W. Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science 3 (1985)
16. G.A. Ringwood: Parlog 86 and the dining logicians. Comm. ACM 31 (1988) 10–25
17. F. Rossi: Constraints and Concurrency. PhD thesis, University of Pisa (1993)
18. V.A. Saraswat: Concurrent Constraint Programming.PhD thesis, Carnegie-Mellon University (1989) Published by The MIT Press (1993)
19. V.A. Saraswat and P. Lincoln: Higher-order, linear concurrent constraint programming. Technical report, Xerox PARC (1992)
20. V.A. Saraswat and M. Rinard: Concurrent constraint programming. Proc. of the seventeenth ACM Symposium on Principles of Programming Languages (1990) 232–245
21. V.A. Saraswat, M. Rinard, and P. Panangaden: Semantics foundations of concurrent constraint programming. In Proc. of the eighteenth ACM Symposium on Principles of Programming Languages(1991) 333–353
22. E. Shapiro: Embedding Linda and other joys of concurrent logic programming. Technical Report, The Weizmann Institute of Science (1989)
23. P.H. Starke: Processes in Petri Nets. Elektronische Informationsverarbeitung und Kybernetik 17 (1981) 389–416