CONTINUATIONS FOR REMOTE OBJECTS CONTROL

TODORAN, E; BOIAN, F; MELENTI, C; PAPASPYROU, N

dc.contributor.author	TODORAN, E	en
dc.contributor.author	BOIAN, F	en
dc.contributor.author	MELENTI, C	en
dc.contributor.author	PAPASPYROU, N	en
dc.date.accessioned	2014-03-01T01:54:11Z
dc.date.available	2014-03-01T01:54:11Z
dc.date.issued	2005	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/27229
dc.relation.uri	http://www.cs.ubbcluj.ro/~studia-i/2005-1/03-Boian.pdf	en
dc.relation.uri	http://www.softlab.ntua.gr/~nickie/Papers/todoran-2005-croc.pdf	en
dc.subject	Concurrency Control	en
dc.subject	Concurrent Systems	en
dc.subject	denotational semantic	en
dc.subject	General Techniques	en
dc.title	CONTINUATIONS FOR REMOTE OBJECTS CONTROL	en
heal.type	journalArticle	en
heal.publicationDate	2005	en
heal.abstract	We have recently introduced the "continuation semantics for con- currency" (CSC) technique in an attempt to exploit the beneflts of using con- tinuations in concurrent systems development. CSC is a general technique for denotational semantics which provides excellent ∞exibility in the compo- sitional modeling of concurrent control concepts. In this paper, we present a denotational semantics designed with CSC for	en