Specification of Synchronizing Processes

DOI10.1109/TSE.1983.235435zbMATH Open0519.68029MaRDI QIDQ3668841FDOQ3668841

Krithivasan Ramamritham, Robert M. Keller

Publication date: 1983

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

synchronizationtemporal logicconcurrent processingabstract model

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Specification of Synchronizing Processes

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