From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

F.S. Boer, de; J.N. Kok; C. Palamidessi; J.J.M.M. Rutten

From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

F.S. Boer, de, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

Original language	English
Title of host publication	Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)
Editors	M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
Place of Publication	Berlin
Publisher	Springer
Pages	38-60
ISBN (Print)	3-540-19625-0
Publication status	Published - 1990

Cite this

@inproceedings{c2a713d786034355a076eebf5fa82469,

title = "From failure to success : comparing a denotational and a declarative semantics for Horn clause logic",

abstract = "The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.",

author = "\{Boer, de\}, F.S. and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten",

year = "1990",

language = "English",

isbn = "3-540-19625-0",

pages = "38--60",

editor = "M.Z. Kwiatkowska and M.W. Shields and R.M. Thomas",

booktitle = "Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)",

publisher = "Springer",

address = "Germany",

}

From failure to success : comparing a denotational and a declarative semantics for Horn clause logic. / Boer, de, F.S.; Kok, J.N.; Palamidessi, C. et al.
Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990). ed. / M.Z. Kwiatkowska; M.W. Shields; R.M. Thomas. Berlin: Springer, 1990. p. 38-60.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

AU - Boer, de, F.S.

AU - Kok, J.N.

AU - Palamidessi, C.

AU - Rutten, J.J.M.M.

PY - 1990

Y1 - 1990

N2 - The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

AB - The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

M3 - Conference contribution

SN - 3-540-19625-0

SP - 38

EP - 60

BT - Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)

A2 - Kwiatkowska, M.Z.

A2 - Shields, M.W.

A2 - Thomas, R.M.

PB - Springer

CY - Berlin

ER -

From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

Abstract

Fingerprint

Cite this