Add to ORKGThis paper focuses on the issue of modelling sequential composition in denotational linear time semantics for (nondeterministic) languages which admit infinite computations. This operator deserves special attention as it causes problems to meet the requirements of a standard denotational semantics based on metric or cpo. We present a general framework for the treatment of sequential composition. It turns out that a program can be described by its maximal computations in the metric approach whereas the partial order approach is suitable to describe a program by all its partial computations
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and re...
In this paper we develop a new method for describing in temporal logic in a compositional manner seq...
AbstractWe introduce a technique - that we name continuation semantics for concurrency (CSC) - which...
This paper focuses on the issue of modelling sequential composition in denotational linear time sema...
AbstractOur focus is on the semantics of programming and specification languages. Over the years, di...
We consider two ways of assigning semantics to a class of statements built from a set of atomic acti...
AbstractWe consider two ways of assigning semantics to a class of statements built from a set of ato...
AbstractWe provide a sequential denotational semantics for sequential programming languages, based o...
AbstractWe investigate the implications of choosing a cpo-framework resp. a complete metric space fr...
AbstractOperational and denotational semantic models are designed for languages with process creatio...
AbstractThis paper investigates full abstraction of denotational model w.r.t. operational ones for t...
Abstract. In this paper we study a special operator for sequential compo-sition, which is dened rela...
We present a variety of denotational linear time semantics for a language with recursion and true co...
In this paper we develop a new method for describing in temporal logic in a compositional manner seq...
textabstractWe study the semantics of a simple language with concurrency and recursion. Our semantic...
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and re...
In this paper we develop a new method for describing in temporal logic in a compositional manner seq...
AbstractWe introduce a technique - that we name continuation semantics for concurrency (CSC) - which...
This paper focuses on the issue of modelling sequential composition in denotational linear time sema...
AbstractOur focus is on the semantics of programming and specification languages. Over the years, di...
We consider two ways of assigning semantics to a class of statements built from a set of atomic acti...
AbstractWe consider two ways of assigning semantics to a class of statements built from a set of ato...
AbstractWe provide a sequential denotational semantics for sequential programming languages, based o...
AbstractWe investigate the implications of choosing a cpo-framework resp. a complete metric space fr...
AbstractOperational and denotational semantic models are designed for languages with process creatio...
AbstractThis paper investigates full abstraction of denotational model w.r.t. operational ones for t...
Abstract. In this paper we study a special operator for sequential compo-sition, which is dened rela...
We present a variety of denotational linear time semantics for a language with recursion and true co...
In this paper we develop a new method for describing in temporal logic in a compositional manner seq...
textabstractWe study the semantics of a simple language with concurrency and recursion. Our semantic...
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and re...
In this paper we develop a new method for describing in temporal logic in a compositional manner seq...
AbstractWe introduce a technique - that we name continuation semantics for concurrency (CSC) - which...