Specification of Synchronizing Processes

DOI10.1109/TSE.1983.235435MaRDI QIDQ3668841zbMATHFDO

Authors 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)