A temporal programming model with atomic blocks based on projection temporal logic

Atomic blocks, a high-level language construct that allows programmers to explicitly specify the atomicity of operations without worrying about the implementations, are a promising approach that simplifies concurrent programming. On the other hand, temporal logic is a successful model in logic progr...

Full description

Saved in:

Bibliographic Details
Published in:	Frontiers of Computer Science Vol. 8; no. 6; pp. 958 - 976
Main Authors:	YANG, Xiaoxiao, ZHANG, Yu, FU, Ming, FENG, Xinyu
Format:	Journal Article
Language:	English
Published:	Heidelberg Higher Education Press 01.12.2014 Springer Nature B.V
Subjects:	atomic blocks Computer Science Concurrency Concurrent processing framing High level languages Logic programming PTL Research Article Semantics Temporal logic temporal logic programming verification 子块并行编程投影时序逻辑时间编程模型语言结构 atomic blocks semantics temporal logic programming framing verification
ISSN:	2095-2228, 2095-2236
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!