A Logic For Distributed Processes

DOI10.1002/MALQ.19890350404MaRDI QIDQ3809776zbMATH OpenOpenAlexFDO

Authors William Richard Stark

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350404

zbMATH Keywords

decision procedurecomputabilityalgorithm for constructing arbitrary distributed programs from given input/output semanticslogic for distributed processesprogramming theoremsynchronous bit-processing architecture

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4119639
• scientific article; zbMATH DE number 3878341
• P-A logic - a compositional proof system for distributed programs
• Distributed Logic Programming
• Distributed concurrent linear logic programming

Cited in

(10)

• Distributed first order logics
• A Distributed Logic for Networked Cyber-Physical Systems
• scientific article; zbMATH DE number 4070296 (Why is no real title available?)
• scientific article; zbMATH DE number 2134134 (Why is no real title available?)
• Distributed programming with logic tuple spaces
• scientific article; zbMATH DE number 3900138 (Why is no real title available?)
• scientific article; zbMATH DE number 3878341 (Why is no real title available?)
• Verification of distributed programs of the SPMD-type on the basis of the L-programs formalism
• scientific article; zbMATH DE number 94709 (Why is no real title available?)
• scientific article; zbMATH DE number 5506106 (Why is no real title available?)

This page was built for publication: A Logic For Distributed Processes

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