An Application of Temporal Projection to Interleaving Concurrency
type: Item
instance of: scholarly article
title: An Application of Temporal Projection to Interleaving Concurrency
zbMATH Open document ID: 1369.68263
DOI: 10.1007/978-3-319-25942-0_10
author: Ben Moszkowski
author: Dimitar P. Guelev
published in: Dependable Software Engineering: Theories, Tools, and Applications
publication date: 2017-08-31T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6767252
zbMATH Keywords: interleaving concurrency
zbMATH Keywords: interval temporal logic
zbMATH Keywords: temporal projection
zbMATH Keywords: time granularities
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2294215551
description: scientific article; zbMATH DE number 6767252