A temporal programming model with atomic blocks based on projection temporal logic
type: Item
instance of: scholarly article
title: A temporal programming model with atomic blocks based on projection temporal logic
zbMATH Open document ID: 1403.68042
author: Yu Zhang
author: Ming Fu
author: Xinyu Feng
author: Xiao-Xiao Yang
published in: Frontiers of Computer Science
publication date: 2018-12-19T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6995606
zbMATH Keywords: atomic blocks
zbMATH Keywords: semantics
zbMATH Keywords: temporal logic programming
zbMATH Keywords: verification
zbMATH Keywords: framing
describes a project that uses: CACTUS
MaRDI profile type: Publication
full work available at URL: s11704-014-3342-0
OpenAlex ID: W1968197232
cites work: A Marriage of Rely/Guarantee and Separation Logic
cites work: Temporal logic programming
cites work: Branching-time logic programming: the language Cactus and its applications
cites work: Q3806791
cites work: Logic Programming
cites work: Operational semantics of Framed Tempura
cites work: A cylinder computation model for many-core parallel computing
cites work: Complexity of propositional projection temporal logic with star
cites work: Negation in rule-based database languages: A survey
cites work: A decision procedure for propositional projection temporal logic with infinite models
cites work: A complete proof system for propositional projection temporal logic
cites work: The semantics of the combination of atomized statements and parallel choice
cites work: A formal model of atomicity in asynchronous systems
cites work: Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors
DOI: 10.1007/S11704-014-3342-0
description: scientific article; zbMATH DE number 6995606