An Application of Temporal Projection to Interleaving Concurrency

DOI10.1007/978-3-319-25942-0_10zbMATH Open1369.68263OpenAlexW2294215551MaRDI QIDQ5351876FDOQ5351876

Dimitar P. Guelev, Ben Moszkowski

Publication date: 31 August 2017

Published in: Dependable Software Engineering: Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.720.744

zbMATH Keywords

interval temporal logictime granularitiestemporal projectioninterleaving concurrency

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• An application of temporal projection to interleaving concurrency

This page was built for publication: An Application of Temporal Projection to Interleaving Concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5351876)