Denotational linear time semantics and sequential composition

Baier, Christel; Majster-Cederbaum, Mila

doi:10.1016/0020-0190(96)00101-9

Information Processing Letters

1996

DOI: 10.1016/0020-0190(96)00101-9

|View full text |Cite

Denotational linear time semantics and sequential composition

Christel Baier

Mila Majster-Cederbaum

Abstract: This paper focuses on the issue of modelling sequential composition in denotational linear time semantics for (nondeterministieJ 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 pro gram can be described by its maximal computations in the metric approach whereas the partial… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2000

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 11 publications

(15 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

On Topological Hierarchies of Temporal Properties

Baier

Kwiatkowska

2000

Fundamenta Informaticae

View full text Add to dashboard Cite

The classification of properties of concurrent programs into safety and liveness was first proposed by Lamport [22]. Since then several characterizations of hierarchies of properties have been given, see e.g. [3, 20, 9, 21]; this includes syntactic characterizations (in terms classes of formulas of logics such as the linear temporal logic) as well as extensional (as sets of computations in some abstract domain). The latter often admits a topological characterization with respect to the natural topologies of the domain of computations. We introduce a general notion of a linear time model of computation which consists of partial and completed computations satisfying certain axioms. The model is endowed with a natural topology. We show that the usual topologies on strings, Mazurkiewicz traces and pomsets arise as special cases. We then introduce a hierarchy of properties including safety, liveness, guarantee, response and persistence properties, and show that our definition subsumes the hierarchies of: Alpern & Schneider [3]; Chang, Manna & Pnueli [9]; and Kwiatkowska, Peled & Penczek [21]. Syntactic characterizations of the properties in the hierarchy in terms of temporal logic are also studied.

show abstract

On Topological Hierarchies of Temporal Properties

Baier

Kwiatkowska

2000

Fundamenta Informaticae

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Denotational linear time semantics and sequential composition

Cited by 1 publication

References 11 publications

On Topological Hierarchies of Temporal Properties

On Topological Hierarchies of Temporal Properties

Contact Info

Product

Resources

About