Using branching time temporal logic to synthesize synchronization skeletons
type: Item
instance of: scholarly article
title: Using branching time temporal logic to synthesize synchronization skeletons
zbMATH Open document ID: 0514.68032
DOI: 10.1016/0167-6423(83)90017-5
author: E. Allen Emerson
author: Edmund Clarke
published in: Science of Computer Programming
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3812940
zbMATH Keywords: decision procedure
zbMATH Keywords: finite model property
zbMATH Keywords: specification formula
zbMATH Keywords: temporal logic specification
MaRDI profile type: Publication
full work available at URL: 0167-6423(83)90017-5
OpenAlex ID: W2048355938
description: scientific article; zbMATH DE number 3812940