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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Samenvatting

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.

Originele taal-2	Engels
Titel	Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)
Redacteuren	M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	38-60
ISBN van geprinte versie	3-540-19625-0
Status	Gepubliceerd - 1990

Citeer dit

@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). uitgave / M.Z. Kwiatkowska; M.W. Shields; R.M. Thomas. Berlin: Springer, 1990. blz. 38-60.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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

Samenvatting

Vingerafdruk

Citeer dit